< 1200271371 0 :SimonRC!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200272219 0 :cherez!n=cherez@r02snw275.desktop.umr.edu JOIN :#esoteric < 1200273540 0 :SimonRC!n=sc@fof.durge.org JOIN :#esoteric < 1200274106 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1200274290 0 :cherez!unknown@unknown.invalid QUIT :"Leaving." < 1200275154 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1200275154 0 :tesseracter!n=tesserac@pool-72-79-196-191.spfdma.east.verizon.net JOIN :#esoteric < 1200275210 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1200276043 0 :cherez!n=cherez@r02snw275.desktop.umr.edu JOIN :#esoteric < 1200278345 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I feel like drawing something. Does anyone have any requests? < 1200279207 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat, do you have more plans for handgrenade? < 1200279229 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :just curious < 1200279497 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :i tend to scribble technical stuff < 1200279788 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I dunno < 1200279848 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :is this you asking if you can take it over, or suggesting that I continue? < 1200280238 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :a bit of both actually :\ < 1200280244 0 :GlassBot!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200280247 0 :ehirdsleep!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200280263 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :do you reckon you'll do more work on it? < 1200280293 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :meh < 1200280299 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :maybe i'm just talking crap < 1200280554 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I dunno < 1200280565 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :really, I have a lot on my plate already < 1200280915 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :ok. i'm probably just going to do an implementation based on what's there < 1200281546 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Hm. Should I put the Love Machine 9000 on the esowiki? < 1200281973 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :go ahead < 1200284044 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :is the Love Machine 9000 like the opposite of the DeathStation 9000? < 1200284065 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :or something new and hideous altogether? < 1200284222 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It is the name of one of mah language, which is pretty much a Turing machine. < 1200284269 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :only sexier? < 1200284280 0 :slereah_!unknown@unknown.invalid NICK :Slereah < 1200284321 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You decide. http://membres.lycos.fr/bewulf/Russell/turingprog16.py < 1200284352 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :If you use the penguins, you might want to use : http://membres.lycos.fr/bewulf/Russell/turingprog16-Lin.py < 1200284383 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :It's interesting, but I still don't think I get the name < 1200284416 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The story behind that name is that I had no idea for a name. < 1200284432 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The "serious" name is NTCM < 1200284442 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :For n-tape choice machine. < 1200284486 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :on a somewhat unrelated note, does anyone find this amusing? http://rodger.nonlogic.org/images/Comic024.png < 1200284558 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's okay I guess. < 1200284571 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, not my best work < 1200284588 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I think it seemed funnier when I was waiting in an airport for 4 hours. < 1200284645 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Here's a BF interpreter for the Love Machine if you want to see what it looks like : http://membres.lycos.fr/bewulf/Russell/BF%20ASCII.txt < 1200284693 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I should make a penguin version. This one doesn't work on the penguin love machine. < 1200284712 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :woah, funky extended ASCII < 1200284821 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. A Turing Machine is a poor choice to make a BF interpreter. < 1200284833 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The Bitchanger interpreter is much shorter! < 1200284854 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1200285104 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And here's the 99 bottles of beer : http://membres.lycos.fr/bewulf/Russell/99%208.txt < 1200285148 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :that must really be a bitch to type < 1200285176 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :but I do applaud your success in making 99b readable < 1200285238 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The comments are actually states of the machine, but that are never called. < 1200285252 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, quite clever < 1200285268 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :not entirely unlike the [ comments go here ] BF trick < 1200285362 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although I still specify an accepting char and exit state, otherwise I fear there might be a parsing error. < 1200285388 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. How do I create a new page on the esowiki? < 1200285944 0 :Pyotr!n=pyman@ip206-97.oregonfast.net JOIN :#esoteric < 1200285972 0 :Pyotr!unknown@unknown.invalid QUIT :Client Quit < 1200286003 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :good night everyone < 1200286018 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1200287459 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1200289667 0 :CakeProphet!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1200291212 0 :CakeProphet!unknown@unknown.invalid QUIT :"haaaaaaaaaa" < 1200293379 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://www.esolangs.org/wiki/NTCM < 1200293385 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thar. < 1200293607 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :go to the page and click "create this page" or "edit" < 1200293743 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it is a little late now. < 1200293816 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1200296451 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :[a[0:P1RI:b;1:P1LE:c]|b[0:P1RI:c;1:P1RI:b]|c[0:P1RI:d;1:P0LE:e]|d[0:P1LE:a;1:P1LE:d]|e[0:P1RIHA:e;1:P0LE:a]][0=0;ims=a;d15;vh;etTecF;t1] < 1200296454 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Aaaaaargh! < 1200296462 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Busy beaver with millions of steps! < 1200297599 0 :clog!unknown@unknown.invalid QUIT :ended < 1200297600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1200297897 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1200298087 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Still running. < 1200298114 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I wonder in how much time the Love Machine 9000 can process 14.000.000 steps < 1200298203 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. It's actually 47,176,870 steps. < 1200298759 0 :bsmntbot!n=bsmntbot@125-236-169-77.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1200298798 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders why IrcCoffeeBot is calling itself bsmntbot, and why it came to this channel instead of #coffee < 1200298803 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :!j #coffee < 1200298805 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1200298821 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :oops, #coffee's already in use....????? < 1200298830 0 :bsmntbot!unknown@unknown.invalid NICK :CoffeeBot < 1200298841 0 :CoffeeBot!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is making a coffee in an office mug with cold milk help for immibis < 1200298841 0 :CoffeeBot!unknown@unknown.invalid PRIVMSG #esoteric :ACTION gives immibis a coffee in an office mug with cold milk help < 1200298848 0 :CoffeeBot!unknown@unknown.invalid PRIVMSG #esoteric :#coffee: ... < 1200298874 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :stupid bot < 1200298876 0 :immibis!unknown@unknown.invalid PRIVMSG #esoteric :!p #esoteric < 1200298878 0 :CoffeeBot!unknown@unknown.invalid PART #esoteric :? < 1200298879 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1200298981 0 :immibis!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. IceChat - Its what Cool People use" < 1200299047 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :A good quit message virus would also ask the user to manually delete all his files! < 1200299092 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1200300552 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. Man who run behind car get exhauste < 1200305783 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1200309949 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1200312585 0 :slereah_!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200312758 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200315511 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200315553 0 :slereah_!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200315732 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200315752 0 :slereah_!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200318661 0 :ehirdsleep!n=ehird`@user-514dc61d.l4.c2.dsl.pol.co.uk JOIN :#esoteric < 1200318665 0 :ehirdsleep!unknown@unknown.invalid NICK :ehird < 1200318668 0 :ehird!unknown@unknown.invalid NICK :ehird` < 1200318936 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200319935 0 :slereah_!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200320013 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hello all < 1200320383 0 :Corun!unknown@unknown.invalid QUIT :calvino.freenode.net irc.freenode.net < 1200320386 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200320447 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1200320773 0 :RodgerTheGreat!n=Rodger@wads-5-233-27.resnet.mtu.edu JOIN :#esoteric < 1200320785 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :howdy < 1200320795 0 :jix!n=jix@dyndsl-085-016-176-245.ewe-ip-backbone.de JOIN :#esoteric < 1200321318 0 :slereah_!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200321395 0 :Jontte!n=joonas@dsl-hkibras1-ff0ac300-216.dhcp.inet.fi JOIN :#esoteric < 1200321693 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: i think the comic was funny < 1200321712 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :well, that's good to hear < 1200321723 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i love the last square < 1200321732 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the guy's posture is awesome :) < 1200321754 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1200321784 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :does his shirt say "you are likely to be eaten by a give"? :D < 1200321801 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :grue < 1200321802 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :! < 1200321805 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :Huh? < 1200321845 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :grue < 1200321896 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for some reason i first thought the logical continuum to "you are likely to be eaten by" would be "bear". < 1200321920 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so i interpreted the last word at random < 1200321993 0 :slereah__!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200322016 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200322044 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I dunno, in my twisted imagination grues seem a lot more likely to eat people than bears < 1200322067 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :then again, I've seen "grizzly man", which was pretty much the comedy of the year < 1200322092 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what's a grue, i thought you can only be eaten by "grue", not "a grue" < 1200322153 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"It is pitch black. You are likely to be eaten by a grue." < 1200322159 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"> what is a grue? < 1200322159 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :The grue is a sinister, lurking presence in the dark places of the earth. Its favorite diet is adventurers, but its insatiable appetite is tempered by its fear of light. No grue has ever been seen by the light of day, and few have survived its fearsome jaws to tell the tale." < 1200322617 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, it's "a grue" < 1200322634 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i haven't actually played a game that had this saying, just heard a few people use the phrase < 1200322717 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Zork 1, 2 and 3 are freeware now- you ought a find a Z-machine interpreter and at least play the first one for a while < 1200323304 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... text adventure games? < 1200323314 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :the best < 1200323390 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :being the best text adventure game < being the best game < interesting enough to try for me, though :) < 1200323402 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :don't like games really < 1200323428 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :except ones where the controls are interesting < 1200323503 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :text adventures are fun and interesting to code, and unlike graphical games there's no overhead for asset creation. If you want a room that looks like something, you describe it rather than slaving over a graphics editor for hours < 1200323565 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :indeed, except i don't care what it looks like, i care about what it does. < 1200323587 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :which is why text adventure games are perfect < 1200323592 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so... i don't care about graphics or plot, making me fairly uninterested in both all new games, and the awesome old adventure games. < 1200323607 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :plus, they can be played in a number of unusual vectors, such as over IRC < 1200323622 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, that's ofc a plus, i agree that < 1200323631 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :there exist a number of Zork-bots, and I believe you're aware of my IRC-based MUD experiments < 1200323666 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but most text adventure games don't let me "build stuff" like i want to, as a programmer < 1200323680 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm aware of them, if they contain the game where you hunted... something :) < 1200323696 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wombat? < 1200323767 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :wumpus < 1200323771 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :much more fearsome < 1200323799 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh, man- my next wumpus-hunting game needs to include a torch, dark areas and grues < 1200323879 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :http://thcnet.net/zork/index.php < 1200323976 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :too slow a connection for that < 1200324137 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1200324644 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :I think I'll modify some of the Love Machine to make a language based on that 2,3 machine. < 1200324669 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1200324674 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sounds useful < 1200324694 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Although I so far have no clue of how to make even the most trivial program with it! < 1200324694 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Isn't it? < 1200324706 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :But since I already have the Love Machine 9000, it won't be too hard. < 1200324730 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It's just defining a Turing program with two states, three symbols and some initial input. < 1200324791 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It wil prolly be 5 symbols for the language itself. < 1200324818 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, actually, you need a laze preprocessor for the input tape < 1200324826 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so you can allow for the infinite patterns < 1200324835 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*lazy < 1200324847 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :First char is the default char, the rest is the input, and there's a ^ or v next to one of those symbols to show where's the head to start with and what's the first state. < 1200324850 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Wut? < 1200324902 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i would love to explain, but i have to go now < 1200324906 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, i guess it's short < 1200324907 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :kthxbai < 1200324911 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1200324924 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the 2,3 machine was proven tc using an infinite initial pattern < 1200324931 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so... you need to have that. < 1200324955 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Does the pattern have any... pattern? < 1200324966 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Or can it be anything? < 1200324970 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you need to add a facility for adding non-tc programs that always process the tape before the actual tape of the turing machine enters them < 1200325036 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :actually, i think ais's thingie on the tape was some sort of a nested structure, even, so it's not even all that trivial a preprocessing. < 1200325086 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Let's see that proof. < 1200325103 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it cannot be *any* pattern, i think bounded to a pda or something < 1200325105 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ais can tell you better, or you can read the proof < 1200325106 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i couldn't. < 1200325121 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :too complex for me, lazied out after a few pages < 1200325189 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :If it's that horrible, it will probably have to wait the end of the week < 1200325193 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It's exam week right now. < 1200325727 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1200325737 0 :jix!n=jix@dyndsl-080-228-189-066.ewe-ip-backbone.de JOIN :#esoteric < 1200325977 0 :Hiato!n=Hiato@dsl-245-16-15.telkomadsl.co.za JOIN :#esoteric < 1200326544 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :('system 0') can emulate any two-colour cyclic tag system for an arbitrary number of steps, using a finite- < 1200326544 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :length initial condition in which the leftmost cell is a 0 and starts active in state A and in which the first < 1200326553 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Finite-length? < 1200327776 0 :Hiato!unknown@unknown.invalid PART #esoteric :? < 1200328054 0 :sebbu!n=sebbu@ADijon-152-1-44-63.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1200329657 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :From what I can make out, the actual 2,3 machine takes on a finite input. The transformation of input seems to be for the next systems. < 1200329670 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :But then again, I can't understand that much. < 1200330256 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I wonder... Glass is one example of 'ridiculous object orientation'... < 1200330258 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :What could another be.. < 1200330527 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :2,3 is so simple that I seem to be throwing out most of the Love Machine 9000. < 1200333807 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Well, I have the basic machine so far. < 1200333815 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Now, to make something ridiculous with it. < 1200334042 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :>query Love Machine 9001 release date < 1200334116 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It is not the Love Machine 9001. < 1200334129 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It will be called "23 skidoo", I fear. < 1200334179 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :The idea will be that, instead of colors, there will be 0, 1 and X. < 1200334192 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :And the tape will be divided into packs of eight. < 1200334219 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :So that, maybe, by pure chance (I have no idea how to do programming with that thing), it will spell out some stuff. < 1200334229 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :In ASCII, that is < 1200334242 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Making some sort of readable output. < 1200334264 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :The Rt. Hon. Lord God Bless Its Soul Love Machine 9000 Sr. < 1200334292 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Well, it could be that too. < 1200334301 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It's not like I care that much about the name, obviously. < 1200334509 0 :RedDak!n=dak@host108-82-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1200334667 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :someone give me an algorithm for determining the 'random keyboard bashing'-ness of a string! < 1200334780 0 :Corun!unknown@unknown.invalid QUIT :"Leaving" < 1200334780 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1200334780 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Define "random keyboard bashing". < 1200334781 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Most keyboard bashing isn't random, because people tend to strike the same areas. < 1200334802 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Hence the expression, sdfgsdf < 1200334862 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :slereah__: based on subjective human opinion < 1200334958 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Place a midget in your CPU. < 1200334962 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Input the string. < 1200334964 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :??? < 1200334968 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Problem solved! < 1200335983 0 :slereah_!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200335989 0 :dak!n=dak@host108-82-dynamic.18-79-r.retail.telecomitalia.it JOIN :#esoteric < 1200335999 0 :dak!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200336014 0 :slereah__!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200336127 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :who wants an esolang implemented < 1200336128 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1200336972 0 :slereah__!n=slereah@ANantes-252-1-8-117.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1200337074 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200337175 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :>:| < 1200338408 0 :Jontte!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200338455 0 :Jontte!n=joonas@88.195.10.216 JOIN :#esoteric < 1200339790 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sheesh. the lambda calculus is dynamically scoped, kinda < 1200339887 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Well, the empty string is definately not a quine in 23 skidoo. < 1200339958 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Although so far, no letters. < 1200340593 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: no, staticly < 1200340612 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: depends on how you view it < 1200340618 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :umm < 1200340632 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :There is only one kind of variable and it is lexically scoped < 1200340643 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes. < 1200340659 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :so how can it be dynamically scoped? < 1200341291 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if your evaluation strategy is fucked. < 1200341292 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1200341345 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well then it isn't the lambda calculus < 1200341639 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :naw < 1200341641 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it worked the same < 1200341645 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :just... :P < 1200341876 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :for some weird meaning of kinda, perhaps it is dynamically scoped < 1200342651 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :is there an esolang with nice network support? < 1200342658 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :1337 < 1200342683 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't know if i'm leet enough, but let's see < 1200342686 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, right < 1200342691 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :brainfuck derivative? < 1200342694 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1200342699 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i know it < 1200342807 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :umm... that's not a brainfuck derivative < 1200342885 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :wtf?!?! < 1200342895 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :the 1337 wiki page got replaced with something else < 1200342924 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1200342929 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :it's spelled l33t < 1200342948 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1200343029 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.100webads.com/ any other suggestions? < 1200343047 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i would prefer getting it running today, though, so an esolang might not suit that well :) < 1200343079 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what is it? < 1200343085 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :a 1 million pixels clone? < 1200343102 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1200343102 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1200343112 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :some asshole < 1200343127 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :sold 1 million pixels of ad space on his website for $1 each < 1200343154 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :xD < 1200343157 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's awesome < 1200343173 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :we gotta put that on vjn.fi < 1200343199 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what's that? < 1200343207 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :www.vjn.fi < 1200343212 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :... < 1200343214 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :a cat walking on the keyboard < 1200343217 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a page me and a few friends bought for fun < 1200343224 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i wish i could come up with a scam as profitable as that :( < 1200343237 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1200343241 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :not a scam < 1200343245 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i know < 1200343246 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you got exactly what you asked for < 1200343249 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :but it feels like one < 1200343258 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :he made a million bucks without ANY content < 1200343276 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :except the idea < 1200343304 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and, I expect, a vast amount of time spent handling 10000 emails from people wanting to buy space < 1200343308 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wants to buy a pixel < 1200343313 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :just the one/ < 1200343342 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i could pretend i was a 500 pound fatso that lost 350 pounds, and i need people to donate money for skin removal surgery < 1200343348 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1200343357 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :everyone loves an uplifting story about how someone lost weight < 1200343368 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you'd need pics < 1200343373 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :easy to find < 1200343381 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1200343388 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :someone might spot if ytou re-used them < 1200343456 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://seanyounai.files.wordpress.com/2007/08/massive-weight-loss.jpg < 1200343457 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :etvc < 1200343459 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :*etc < 1200343504 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://www.t-nation.com/img/photos/05-118-diet/image002.jpg < 1200343536 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :see previous remark < 1200343544 0 :Jontte!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1200343582 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :as long as the image wasn't prolific i think it would be ok < 1200343719 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ugh < 1200343729 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :i knew i should have looked up prolific before using it < 1200343867 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1200343874 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i pwn you at your own language! < 1200344274 0 :pikhq!unknown@unknown.invalid QUIT :Remote closed the connection < 1200344278 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :idea: < 1200344286 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :esolang emacs! < 1200344311 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :take an esolang, add some kind of feature to it to allow 'calling out' to fake-syscalls, make loads of them for editor and ncurses stuff < 1200344312 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :write editor < 1200344313 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :profit < 1200344352 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :It's called TECO < 1200344449 0 :Hiato!n=Hiato@dsl-245-20-157.telkomadsl.co.za JOIN :#esoteric < 1200344460 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: heh < 1200344519 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Wassup :) < 1200344536 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :^ < 1200344545 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh :) < 1200344552 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :unless your monitor is upside-down, in which case it's v < 1200344562 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :lol :D < 1200344599 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1200344602 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: this'll probably annoy you, but I changed the ACRONYM grid size back to 128x128, and for a reason too, here is the spec including reason http://rafb.net/p/LLTaUp22.txt < 1200344647 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that doesn't say *why* < 1200344652 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :does < 1200344656 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes, it does :P < 1200344662 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and also actually using that tc-ness in practice is... infeasable < 1200344670 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :'This language will, by no account, need an infinitely large grid to be Turing complete.' that's not a reason < 1200344694 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :1st statement: agreeed :) 2nd statement: why do you say that... < 1200344699 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well, it is an esolang < 1200344726 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :making implementation easier at the expense of a horribly complex program is fin < 1200344729 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :e < 1200344732 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :your motivation for an infinite grid was: "This will defiantly make it Turing Complete" < 1200344769 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC, it's not horribly complex ;) it just went down from infinity to 128x128x2, which as ~26000 < 1200344777 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so still plenty of space < 1200344785 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: put it there: http://esoteric.voxelperfect.net/wiki/ACRONYM < 1200344787 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: yes < 1200344807 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well ehird`: the actual reason was: how would a mover possibly wrap around the pushed row/column on an infinite grid < 1200344808 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and 128 * 128 * 2 = 32768 < 1200344812 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :not possible < 1200344816 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: is possible < 1200344819 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: first untouched square < 1200344823 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :is a wall. < 1200344855 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :e.g. if you store the grid as a hashtable < 1200344869 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so if I understand then what you're saying is: < 1200344869 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :x x x x x < 1200344869 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :x x x x x < 1200344869 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric : ^ < 1200344902 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :if that column is shifted up, then put the top x at the bottom etc.. because the rest of the grid hasn't been used < 1200344928 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :what is the implementation language? < 1200344932 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrmm... < 1200344938 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i was going to implement it. < 1200344941 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in Scheme, or Haskell < 1200344943 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well, it is (from my side) delphu < 1200344949 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*delphi < 1200344958 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in haskell/scheme this would be trivial < 1200344984 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :actually, if we use that furthest untouched square, then I must say, I like the sound of infinite < 1200344988 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well, Haskell will do fine on it, you just need to map over the keys of the Data.Map < 1200345029 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :just rotating the row/col and always making sure you have some padding will work too < 1200345044 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrmm.... that would mean though, that to wrap around a give point, you would need to visit it first, therefore adding loads more instrucitons < 1200345046 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :make grid size powers of two, for proper asymtotic behaviourt < 1200345056 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ie: the hello world programme would need 15 extra instructions < 1200345068 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :wel..... < 1200345102 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hrm... < 1200345119 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :if the terp could prove that the program would keep going until the row wrapped around, it could "wrap it round infinity" < 1200345122 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric ::-P < 1200345156 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :or you could have an explicit "wrap round infinity" instruction < 1200345217 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes (food, bed, etc) < 1200345308 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes (food, bed, etc) < 1200345329 0 :faxlore!n=more@137.195.250.2 JOIN :#esoteric < 1200345367 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I can't seem to decide now. For ehird`'s sake I want the infinite grid (and it's cool too), but for thesake of functionality, I want the finite grid < 1200345397 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's functional in my way < 1200345398 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1200345400 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :unless you use, say, delphi < 1200345401 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1200345405 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :What does functionality mean? < 1200345464 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :lol :) < 1200345488 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I meant in terms of extra instructions to use the grid when it is infinite < 1200345634 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :meh, ok, fine ehird`, you win < 1200345668 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :as long as it is still possible to use the mover functions < 1200345676 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :\o/ < 1200345803 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i love the idea of wrapping around infinity < 1200345815 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1200345835 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ACTION can think of two bijections from N to NxN... < 1200345864 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :*between < 1200345917 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ACTION can think of an infinite number of them... < 1200346010 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :What are they all? < 1200346094 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if you have N <-> N*N, then you have a function with A!=B -> f(A)!=f(B), right? < 1200346110 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1200346201 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :any function f_X(N) = f(N+X) trivially also satisfies the bijection, since A-X!=B-X -> f_X(A)!=f_X(B) < 1200346256 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have a hard time having conversations right now, my client takes a few minutes of lagtime every 3 words i type < 1200346348 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my notation may be a bit weird there, but i think i'm correct < 1200346435 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, right A!=B -> A-X!=B-X -> f(A-X)!=f(B-X) -> f_X(A)!=f_X(B) < 1200346503 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :do you see? < 1200346512 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :I don't get it, how does f_X still have .e.g 0 in it < 1200346515 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or do you see an error < 1200346529 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, right, N < 1200346535 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in that case, that doesn't apply < 1200346537 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sorry < 1200346543 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, still trivial < 1200346544 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ahh..but this works for Z < 1200346562 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, anmd you have N <-> Z, so... < 1200346563 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :(and R.. and there's probably a name for the sets it works øn?) < 1200346564 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*and < 1200346587 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :there might be. i don't really know much math. < 1200346685 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Num a < 1200346687 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oh wait, math, not haskell < 1200346688 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1200346720 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i doubt Num is the general term in haskell either, though < 1200346782 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"forall A in Num: forall B in Num, A-B in Num" < 1200346926 0 :oklofok!n=ville@194.251.103.33 JOIN :#esoteric < 1200347147 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/zz0kwW41.html < 1200347157 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ok, there *you* go ehird` < 1200347161 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1200347180 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Num is the type class of numerics. < 1200347191 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Int, Float, ... all have an instance (Num a), where a is the type < 1200347197 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I didn't read the stuff above, so, maybe your type is different. < 1200347201 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: :D < 1200347216 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it looks all pretty now < 1200347217 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh :D < 1200347226 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :lol :D < 1200347267 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :damn i'm good at writing obfuscated haskell < 1200347268 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it comes naturally < 1200347281 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1200347307 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: it's "forall A in it: forall B in it: A-B in it" < 1200347323 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's one confusing type < 1200347326 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1200347351 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(Num a) => (Num b) => ... i get lost around this point. < 1200347368 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :A:X -> B:X ->(A-B):X < 1200347423 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :forall A:X, forall B:X, (A-B):X < 1200347427 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's not haskell ;) < 1200347434 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ACTION misused the ->.. < 1200347438 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's not haskell, but it's obvious what it means < 1200347456 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: try being a human, not an interp ;) < 1200347469 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: I am an interpreter :| < 1200347475 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :running IRP < 1200347560 0 :oklopol!unknown@unknown.invalid QUIT :"for the need to encumber" < 1200347724 0 :Hiato!unknown@unknown.invalid PART #esoteric :? < 1200349159 0 :GreaseMonkey!n=saru@219-89-40-70.dialup.xtra.co.nz JOIN :#esoteric < 1200349206 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is rewriting his underload compiler in Haskell < 1200349251 0 :oklokok!n=ville@194.251.103.33 JOIN :#esoteric < 1200349339 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1200349591 0 :tesseracter!unknown@unknown.invalid QUIT :Connection timed out < 1200349791 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is enjoying TMBG < 1200350158 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: got The Else? < 1200350170 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, although that's not what I'm listening to ATM. < 1200350177 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Severe Tire Damage ATM. < 1200350273 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1200350470 0 :Jontte!n=joonas@dsl-hkibras1-ff0ac300-216.dhcp.inet.fi JOIN :#esoteric < 1200350810 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1200350842 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :'lambda unrolling' is a pain, in underload < 1200350845 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :to summarize < 1200350868 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :when given "abc(def(ghi)blah)xyz" to compile, i need to produce something like: (where <...> means 'compiled code of ...') < 1200350889 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :void f1(void) { pushfunc(f2, "def(ghi)blah"); } < 1200350898 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :void f2(void) { pushfunc(f3, "ghi"); } < 1200350902 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :void f3(void) { } < 1200350912 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and in haskell, it's a PAIN to do that without some kind of ugly monad < 1200350955 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Convert it to CPS first? < 1200350972 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :faxlore: that makes no sense in the context of underload < 1200351078 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :apply (compile "abc") (apply (compile "def") (compile "ghi") `then` compile "blah") `then` compile "xyz"? < 1200351123 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ihope: except that would compile xyz somewhere in f3, or maybe even in the bare source code < 1200351129 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's the unrolling that's the problem < 1200351172 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :The problem is trying to implement Underload in Haskell? < 1200351190 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :err, no < 1200351192 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :COMPILING < 1200351197 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :which is a whole different ballgame < 1200351236 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Do you have some internal representation for "abc(def(ghi)blah)xyz", What does that strings AST look like? < 1200351277 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :faxlore: it looks like a String, because I need to have the string contents of (...) at all times. plus all commands are single-char so it isn't much of a pain. I could parse it but it's a lot of effort for little worth < 1200351591 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :This is cool < 1200351625 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :I can't see how you would compile ^ though.. without writing an interpreter? < 1200351676 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I guess that makes Underload a scripting language. :-P < 1200351711 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is assuming there is some way, that they haven't thought of < 1200351745 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :faxlore: trivial < 1200351749 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :whenever you see (...) < 1200351757 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :compile the code inside, and push (str,funcptr) < 1200351763 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^ is just a call to that. < 1200351770 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :this is why you need to unroll < 1200351785 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :abc(def(ghi)) needs to be abc; def; ghi < 1200351803 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Oh, indeed. < 1200351908 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and ofc you do it recursively < 1200351908 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but < 1200351918 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that means the 'top function number' (for fN) might increase more than 1 < 1200351926 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so you need to keep track of that and sdfhakjhdsklgdskjfgjdhgahjsdgeuwyrygiubvhjasbbhdklglyp < 1200351955 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :isn't it possible to generate some code, (like every permutation or something, for example) and call that (with ^) ? < 1200352210 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :faxlore: ????????? < 1200352219 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1200352221 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but < 1200352223 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's why you have < 1200352227 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :"next" and "inner" pointers < 1200352237 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ahh < 1200352240 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(a)(b)* -> {a; next={b; next=NULL}} < 1200352269 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(xy)(zzy)*a -> {inner={xy; next={zzy; next=NULL}}} < 1200352283 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :this is really mad < 1200352292 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :please show me this compile when it's done? :D < 1200352385 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i already have a one that works.. < 1200352396 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's ugly, imperative, slow scheme and the output c code is ugly and non-indented < 1200352553 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also it's buggy. < 1200352614 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :fun < 1200352619 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hm i wonder if any of you recieved that < 1200352620 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :basically: < 1200352626 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*/*/**/****SHITLOAD OF *s < 1200352627 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :segfault. < 1200353440 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1200353562 0 :immibis!n=immibis@125-236-169-77.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1200353656 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1200353660 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i ALMOST had it there < 1200353756 0 :immibis_!n=immibis@125-236-169-77.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1200353762 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ugh < 1200353765 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :dvorak is infuriating < 1200353784 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no, compiling underload is < 1200353798 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :not dvorak specifically, but not being able to type fast < 1200353857 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :\me switches to dvorak < 1200353869 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :ACTION switches to dvorak < 1200354010 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yd.p.! < 1200354068 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I can almost type if I try hard enough. < 1200354124 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Much practice is required. < 1200354124 0 :immibis!unknown@unknown.invalid QUIT :Nick collision from services. < 1200354126 0 :immibis_!unknown@unknown.invalid NICK :immibis < 1200354440 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if only there was an imperative language with the elegance of haskell :P < 1200354443 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :this would be a doddle.