< 1114657408 0 :cpressey!unknown@unknown.invalid QUIT :Remote closed the connection < 1114657421 0 :cpressey!nobody@154.20.76.195 JOIN :#esoteric < 1114658375 0 :Taaus!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1114658375 0 :lindi-!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1114658465 0 :lindi-!~lindi@kulho150.adsl.netsonic.fi JOIN :#esoteric < 1114658465 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1114658504 0 :cpressey!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1114658504 0 :fizzie!unknown@unknown.invalid QUIT :niven.freenode.net irc.freenode.net < 1114658513 0 :kipple!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1114658519 0 :cpressey!nobody@154.20.76.195 JOIN :#esoteric < 1114658519 0 :fizzie!fis@sesefras.tky.hut.fi JOIN :#esoteric < 1114662378 0 :heatsink!cirodrig@10-223-3-58.halo.soltec.net JOIN :#esoteric < 1114668891 0 :heatsink!unknown@unknown.invalid QUIT :"Leaving" < 1114675199 0 :clog!unknown@unknown.invalid QUIT :ended < 1114675200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1114691894 0 :kipple!~kipple@163.80-202-100.nextgentel.com JOIN :#esoteric < 1114698434 0 :puzzlet!~puzzlet@61.247.148.38 JOIN :#esoteric < 1114698486 0 :tokigun!tokigun@sparcs.kaist.ac.kr JOIN :#esoteric < 1114700038 0 :tokigun!unknown@unknown.invalid QUIT :"leaving" < 1114708721 0 :Keymaker!~Not@wire74.adsl.netsonic.fi JOIN :#esoteric < 1114708724 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :yo < 1114708877 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :why does nothing cool happen? < 1114709521 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I've been idly writing a befunge compiler thing, but it still generates buggy code and has issues with self-modification. Trying to fix it enough that it'd run my utm.bef. < 1114709538 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1114709538 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1114709551 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :what makes it hard to write a befunge compiler? < 1114709559 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :(writing a compiler would be way too hard for me!) < 1114709571 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :but is there something different with befunge? < 1114709632 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :There's the amount of self-modification in the language, so you basically have to include a compiler with the compiled program to recompile affected parts on the 'put' instruction. < 1114709654 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1114709656 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1114709698 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :This is written in Java, I was going to target Java-bytecode so I could include the same compiler classes with the "executable". Currently I just have (for testing) a _really_ simple C-generating backend, which doesn't handle self-modification at all. < 1114709782 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :And, as said, creates buggey code. Probably one of my optimization passes. I do some stack-content-analysis to avoid writing conditional jumps that never get taken, and to do constant-folding. < 1114709854 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmmmm.. sounds confuseing < 1114709943 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: hmm, can you please try to develop it with gcc so that there's a better chance that the final version will also work with gcc? ;) < 1114710007 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Ergh. It uses Java-1.5 generics, you know. < 1114710111 0 :lindi-!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: rright, and that's not even merged to gcc cvs HEAD yet... < 1114710325 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Hmmmmn. My befunge source is buggy, too. < 1114710485 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :fis@colin:~$ ./out < 1114710485 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :abA!6!0!a!1!A!R!0!b!5!b!R!1!a!1!a!R!1!b!2!b!R!2!a!2!a!R!2!A!3!A!L!2!!!3!!!L!3!a!4!A!L!4!a!4!a!L!4!b!4!b!L!4!A!0!A!R!5!A!7!A!L!5!!!7!!!L!6!aabaa! < 1114710488 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :accept. < 1114710491 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :fis@colin:~$ ./out < 1114710493 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :abA!6!0!a!1!A!R!0!b!5!b!R!1!a!1!a!R!1!b!2!b!R!2!a!2!a!R!2!A!3!A!L!2!!!3!!!L!3!a!4!A!L!4!a!4!a!L!4!b!4!b!L!4!A!0!A!R!5!A!7!A!L!5!!!7!!!L!6!aabaaa! < 1114710496 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :reject. < 1114710499 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yay. :) < 1114710512 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :?? < 1114710567 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :See http://gehennom.org/~fis/utm.html for the program I was running, and http://gehennom.org/~fis/out.c.txt for the generated code. :p < 1114710619 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ah, this -- although i have no idea how it works < 1114710625 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1114710654 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :must go to eat, will be back soon, at least for a while < 1114714785 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :Is that Universal Turing Machine? < 1114714848 0 :puzzlet!unknown@unknown.invalid PRIVMSG #esoteric :And, what a viewer < 1114715341 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :well, couldn't come back earlier < 1114715366 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :could someone point me a link that would describe what is universal turing machine and how does it work? < 1114715527 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, in befunge-93 it has a maximum tape length of ~52, maximum alphabet size of 17 and maximum state limit of 8, so it's not much of an universal turing machine. With an unlimited playfield it would be, though. < 1114715641 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :link..? < 1114715685 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Well, wikipedia's http://en.wikipedia.org/wiki/Turing_machine page has a description. < 1114715723 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Actually I'm not sure that could be called an universal turing machine, since it's not a turing machine, it's a befunge program. It can still simulate any given Turing machine, though. < 1114715917 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1114715924 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i try to understand some bits < 1114715925 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1114717962 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :too confusing.. < 1114717976 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :probably should read something Turing Machines for Dummies < 1114717979 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1114718740 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :rggh. < 1114720185 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Take an 'introduction to computer science' course. :) (I probably wouldn't have chosen a universal turing machine as a befunge test-program if I weren't going to t-79.148 now.) < 1114720219 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :well, can't do that for a year.. < 1114720222 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1114720236 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i'm not at university yet, too bad < 1114720266 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :but thanks for the tip < 1114721797 0 :Keymaker!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1114732170 0 :rollman!~rollman@adsl-80-65-136.sdf.bellsouth.net JOIN :#esoteric