< 1405987427 572772 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1405987930 422691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hap-pi approximation day < 1405989112 950922 :nooodl_!~nooodl@91.176.151.16 QUIT :Ping timeout: 240 seconds < 1405989234 104089 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1405991869 213088 :drdanmaku!uid17782@gateway/web/irccloud.com/x-aplntcwgnfskvjap JOIN :#esoteric < 1405992709 107756 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1405993004 192688 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1405993967 919910 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1405994142 674084 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1405995953 474024 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1405996037 456508 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Client Quit < 1405996068 470287 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Gnite < 1405996246 309296 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 250 seconds < 1405996542 84633 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1405996606 125636 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :hi, i just finished writing an esolang. I'm wondering if anyone thinks it's crazy (i.e. good) or lame (i.e. i wasted my time). http://quaxio.com/ajsone/ < 1405996647 768701 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :this looks way too sensible < 1405996690 452860 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric ::( < 1405996746 899733 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Category:XML-based_programming_languages < 1405996780 697762 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :not sure those are all turing complete < 1405996809 872543 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :oh, here's the one i was thinking of http://www.o-xml.org/spec/langspec.html < 1405996854 642994 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :as you can see, you managed to make something about as good as this thing which somebody made seriously, and to explain it in just a page < 1405996893 334159 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/POSXML < 1405996910 591348 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :that one looks similar to my idea. Except json gives me less freedom than xml. < 1405996916 682304 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :«» mein gott. < 1405996930 156975 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :lol, I can't believe anyone would think that's a good idea! < 1405996938 102245 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :anyway i remember adding homoiconicity as long as you're jsoning < 1405996955 985769 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :recommend, not remember < 1405996966 693879 :Bike!~Glossina@71-222-47-173.ptld.qwest.net PRIVMSG #esoteric :though really isn't all knowledge just rememberance of past lives, eh?? < 1405997089 481106 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net PRIVMSG #esoteric :thanks for pointing out homoiconicity, http://en.wikipedia.org/wiki/Homoiconicity is a great read :) < 1405997716 11002 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1405998579 63292 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1405999026 126093 :fowl!~fowl@unaffiliated/fowlmouth QUIT :Quit: goodbye, cruel server < 1405999314 632875 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406000698 717411 :MDude!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDream < 1406001045 369319 :Lorenzo64!~lorenzo@93-58-3-33.ip156.fastwebnet.it JOIN :#esoteric < 1406003617 301090 :fowl!~fowl@unaffiliated/fowlmouth JOIN :#esoteric < 1406003687 26957 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 264 seconds < 1406003700 58077 :mshock!~mshock@172.56.7.248 JOIN :#esoteric < 1406005475 791586 :mshock!~mshock@172.56.7.248 QUIT :Read error: Connection reset by peer < 1406006437 484430 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1406007080 103743 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1406008861 412284 :MoALTz_!~no@user-31-175-88-61.play-internet.pl QUIT :Read error: Connection reset by peer < 1406008906 495223 :MoALTz_!~no@user-31-175-88-61.play-internet.pl JOIN :#esoteric < 1406008974 559502 :MoALTz_!~no@user-31-175-88-61.play-internet.pl QUIT :Read error: Connection reset by peer < 1406009060 811725 :MoALTz_!~no@user-31-175-88-61.play-internet.pl JOIN :#esoteric < 1406009850 898015 :MoALTz_!~no@user-31-175-88-61.play-internet.pl QUIT :Read error: Connection reset by peer < 1406009939 232876 :MoALTz!~no@user-31-175-88-61.play-internet.pl JOIN :#esoteric < 1406010029 21599 :MoALTz!~no@user-31-175-88-61.play-internet.pl QUIT :Remote host closed the connection < 1406010488 785097 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^8 < 1406015536 363096 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1406016063 602958 :brrr!~brrr@trivialand/emeritus/brrr QUIT :Quit: Cya! < 1406016090 646655 :drdanmaku!uid17782@gateway/web/irccloud.com/x-aplntcwgnfskvjap QUIT :Quit: Connection closed for inactivity < 1406016402 923015 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1406017132 990407 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 240 seconds < 1406017455 524622 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1406018048 437650 :Patashu!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1406018048 656574 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1406018325 995992 :AnotherTest!~turingcom@193.190.253.145 JOIN :#esoteric < 1406019426 727254 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :My house has been connected to the internet :) < 1406019470 58559 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hooraneb < 1406019483 616161 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net QUIT :Ping timeout: 250 seconds < 1406019630 364640 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :great! < 1406020894 879976 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net JOIN :#esoteric < 1406021843 499003 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :IoH, the Internet of Houses; I hear it's a hot topic these days. < 1406022096 992370 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is it bad that I get a real kick out of when I show someone a program I wrote and they reply "wtf is wrong with you"? < 1406022231 816346 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :sounds normal to me < 1406022253 930934 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Then again I'm here on #esoteric, and so are you. < 1406022266 742960 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :https://gist.github.com/Taneb/92c2273815931be07d97 < 1406022442 352521 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :okay, playing with Church encodings on the level of gmp's C interface has not occurred to me before :P < 1406022452 39501 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :err < 1406022455 112867 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Gödel < 1406022460 828827 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :
ACTION is still half asleep
< 1406022596 166893 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :Taneb: I get that kick too, much more satisfying than someone saying it's good code (which, of course, no-one ever says anyway) < 1406022607 866555 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(at least the encoding is based on a sane pairing function, not on prime powers) < 1406022702 327952 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, I'd only use prime powers if I wanted a multiset < 1406022710 948787 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Rather than a bintree < 1406022719 217089 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :internet of houses? is that like geocities? < 1406022721 583788 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: you could use mpz_bin_ui though < 1406022768 862590 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :int-e: it's not just the sane pairing function that matters, but also that you encode a sane expression tree instead of some flat parenthisized list < 1406022769 317815 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :might be nice to rewrite that thing in like haskell (or any language that has actual bignum support) so that it's possible to read it < 1406022790 115598 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :olsner, it's actually a translation from Haskell < 1406022846 511426 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :olsner: even libgmp++ helps < 1406022856 828186 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :int-e, instead of computing the triangle numbers manually? That's a thought < 1406022888 303308 :lifthrasiir!~lifthrasi@115.68.131.49 QUIT :*.net *.split < 1406022889 103140 :barrucadu!~barrucadu@fsf/member/barrucadu QUIT :*.net *.split < 1406022904 31091 :barrucadu!~barrucadu@fsf/member/barrucadu JOIN :#esoteric < 1406023396 911815 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1406023882 625471 :nooodl_!~nooodl@91.176.151.16 JOIN :#esoteric < 1406023927 640339 :nooodl_!~nooodl@91.176.151.16 NICK :nooodl < 1406024086 417811 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric < 1406024453 583540 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :@unlambda `` ``````s``s`ksk``skk``s``s`ksk`s``s`ksk``s``s`ksk``skk.3.5 ri < 1406024453 822606 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3333333333333333333333333333333333333333335 < 1406024871 178204 :lifthrasiir!~lifthrasi@115.68.131.49 JOIN :#esoteric < 1406025070 571338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: how's the category business < 1406025143 215940 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1406025625 486725 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: it's funny how \n f. n (\x. f (z f x)) = S B (S B), where B = \x y z. x (y z). < 1406025703 305098 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :can't stop laugghing < 1406025873 517189 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> iterate (\n -> n*(n+1)) 2 !! 2 < 1406025875 69011 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 42 < 1406026036 359577 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Taneb: sorry, the 'z' in there is supposed to be an 'n'. < 1406027199 565870 :MDream!~fyrc@or-67-238-30-175.dhcp.embarqhsd.net NICK :MDude < 1406027520 581527 :boily!~boily@96.127.201.149 QUIT :Quit: BLUNT CHICKEN < 1406028483 92070 :nooodl!~nooodl@91.176.151.16 QUIT :Ping timeout: 255 seconds < 1406029427 274751 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1406029603 782931 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1406029683 489240 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1406030058 493497 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`olist (958) not that it will help any < 1406030124 136186 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :helps me < 1406030446 948145 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :didn't help me, but I don't mind that < 1406030504 971249 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1406031466 23819 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1406031484 332754 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 240 seconds < 1406031634 929807 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1406031814 410558 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Remote host closed the connection < 1406031823 173977 :Tritonio1!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1406032850 318164 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1406033038 197551 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Quit: Soundcloud (Famitracker Chiptunes): http://www.soundcloud.com/patashu MSN: Patashu@hotmail.com , AIM: Patashu0 , YIM: patashu2 , Skype: patashu0 . < 1406034855 145018 :Lorenzo64!~lorenzo@93-58-3-33.ip156.fastwebnet.it QUIT :Ping timeout: 255 seconds < 1406036200 703815 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves... < 1406036553 165364 :Tritonio1!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 256 seconds < 1406036658 176680 :Tritonio!~Thunderbi@212.251.54.186 JOIN :#esoteric < 1406037383 205514 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1406037798 716781 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1406038293 970476 :sebbu2!~sebbu@ADijon-152-1-20-182.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1406038331 495004 :sebbu2!~sebbu@ADijon-152-1-20-182.w83-194.abo.wanadoo.fr QUIT :Changing host < 1406038331 691045 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1406038491 237308 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1406038984 472595 :drdanmaku!uid17782@gateway/web/irccloud.com/x-vujqdqtzaujfxzse JOIN :#esoteric < 1406039611 738069 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1406040989 354394 :^8!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net NICK :^v < 1406041992 606031 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1406042241 886874 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406042361 666071 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406042950 995683 :zzo38!~zzo38@24-207-51-179.eastlink.ca JOIN :#esoteric < 1406043149 159982 :Tritonio!~Thunderbi@212.251.54.186 QUIT :Ping timeout: 256 seconds < 1406044483 647943 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1406045119 458262 :AnotherTest!~turingcom@193.190.253.145 QUIT :Ping timeout: 250 seconds < 1406045128 558716 :`^_^v!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1406045325 189935 :nycs!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 256 seconds < 1406045556 918294 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406046997 318341 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406047104 526791 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1406047285 222659 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406047308 323605 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de JOIN :#esoteric < 1406047358 482997 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406047765 597128 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Could you help to improve the tetx of my Dungeons&Dragons recording story? < 1406049281 555349 :MoALTz!~no@user-5-173-212-113.play-internet.pl JOIN :#esoteric < 1406049556 369987 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: Lost terminal < 1406049812 522125 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Someone recently thought that the templating language where loops involve SQL SELECT queries was just a dream. Well, it isn't; it is real. < 1406049863 121566 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1406050334 215037 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1406051007 13287 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1406051455 927559 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: what? < 1406051484 677571 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :b_jonas: Yes it is true. < 1406051603 421483 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :what recording story? < 1406051645 353143 :AnotherTest!~turingcom@d51A42986.access.telenet.be JOIN :#esoteric < 1406051659 81375 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :b_jonas: This one http://zzo38computer.org/dnd/recording/level20.tex < 1406051776 129230 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you know this one? < 1406051779 433169 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406051951 763894 :MoALTz_!~no@user-5-173-212-113.play-internet.pl JOIN :#esoteric < 1406052026 12254 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1406052105 686142 :MoALTz!~no@user-5-173-212-113.play-internet.pl QUIT :Ping timeout: 240 seconds < 1406052126 226743 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Now hopefully you do! < 1406052131 649522 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you play any Dungeons&Dragons game? < 1406052142 791739 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :no < 1406052254 504168 :not^v!~notnot^v@2601:4:4500:e15:d119:782b:209e:6b38 JOIN :#esoteric < 1406052409 444781 :not^v!~notnot^v@2601:4:4500:e15:d119:782b:209e:6b38 QUIT :Client Quit < 1406052572 137448 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you know anything about TeX? Do you know something about writing the story? < 1406052645 515282 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1406052665 505341 :^v!~notnot^v@2601:4:4500:e15:88f:1c2c:994e:d306 JOIN :#esoteric < 1406052866 865451 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :I know a little about TeX. not much. < 1406052879 650882 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :enough to know why it's great as an esolang < 1406052945 673815 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :This file is printed using TeX, too, you can see how it works if you look, perhaps. < 1406053124 202716 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you like this story though? < 1406053215 139462 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl PRIVMSG #esoteric :Is there any idea when the server will be up again? < 1406053299 602365 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Someone has once written a BASIC interpreter in TeX. < 1406053383 892559 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 240 seconds < 1406053423 206094 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406053586 750920 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I have also written a program in TeX for chess, and another program which can calculate when is Easter. < 1406053621 338078 :nooodl!~nooodl@91.176.151.16 JOIN :#esoteric < 1406053629 465968 :douglass_!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :I had to have LaTeX add two numbers together once... < 1406053695 861245 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :douglass_: There is the \advance command to add a number in TeX. < 1406053768 812556 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do you know that? < 1406053776 75182 :nooodl!~nooodl@91.176.151.16 PRIVMSG #esoteric :" so tacuit is correct" <- i would say tacebat < 1406054079 162720 :douglass_!~iridium@home-on-the-dome.mit.edu PRIVMSG #esoteric :it did eventually work; I don't recall which command I used. I just remember it being a pain in the ass to add one register to another as opposed to adding a fixed number to a single register. < 1406054494 31919 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It isn't; using \advance you can easily add one register to another. < 1406054665 660066 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :zzo38: sure, but it may get worse if you insist on using the crazy abstractions in LaTeX < 1406054687 950377 :tromp_!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1406054744 121166 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :b_jonas: Ah, OK, although I just use Plain TeX and don't need to worry about abstractions < 1406054774 430182 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :sure < 1406054790 434479 :b_jonas!~x@russell2.math.bme.hu PRIVMSG #esoteric :it's just that douglass_ mentioned LaTeX specifically < 1406054843 193790 :tromp!~tromp@ool-4570a006.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1406054849 554687 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1406054851 636839 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Unless \advance is redefined you can probably still use it on normal \count registers at least < 1406055571 434643 :`^_^v!~nycs@gw.hq.meetup.com QUIT :Ping timeout: 250 seconds < 1406055572 360702 :nycs!~nycs@gw.hq.meetup.com JOIN :#esoteric < 1406055830 915882 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1406056286 547942 :not^v!~notnot^v@2601:4:4500:e15:d119:782b:209e:6b38 JOIN :#esoteric < 1406056311 654113 :not^v!~notnot^v@2601:4:4500:e15:d119:782b:209e:6b38 NICK :^4 < 1406056798 317756 :Bicyclidine!~Glossina@69.166.35.233 JOIN :#esoteric < 1406056862 550662 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406056931 591403 :Zuu!~zuu@unaffiliated/zuu NICK :ZuuBoard < 1406057333 103417 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406057423 674298 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406057552 635381 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :hmm < 1406057562 305875 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover PRIVMSG #esoteric :i wonder if golly has any decent reversible CAs built in < 1406057667 158861 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 256 seconds < 1406057693 43033 :^4!~notnot^v@2601:4:4500:e15:d119:782b:209e:6b38 QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1406058033 746581 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Read error: Connection reset by peer < 1406058056 783020 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl JOIN :#esoteric < 1406058058 283724 :vifino!~vifino@ip-37-24-78-77.unitymediagroup.de QUIT :Quit: Ze Cat now leaves... < 1406058112 511544 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 245 seconds < 1406058289 603793 :TieSoul!~TieSoul@5ED55308.cm-7-6b.dynamic.ziggo.nl QUIT :Remote host closed the connection < 1406058518 293283 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406058618 385782 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406058688 199932 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Do regular expressions define all haltable NFAs? < 1406058866 93668 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :“haltable”? < 1406058889 165141 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I mean ones that are not guaranteed to not halt. < 1406058939 682246 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Don’t NFAs always halt? < 1406058973 909524 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i think so. i mean, finite. < 1406058997 86489 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :no, right, you could have a loop, it's just that you could determine that beforehand. < 1406059019 673548 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :I think it can be possible to make an infinite loop that never want any input, or you can get an error (which doesn't count as halting), or have infinite input, etc < 1406059059 18521 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :You can only have a non-consuming loop if you use ε-NFAs …? < 1406059078 244645 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Melvar: Yes < 1406059112 890035 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :The NFAs in this book allow one line to have a lambda on it to not consume input. < 1406059184 525331 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Then I guess that book has a definition of NFA that I don’t know, so I don’t think I can help. < 1406059231 105417 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :It also describes DFA, which means that are no lambdas and furthermore that each possible input symbol has a unique successor state to each state. < 1406059377 339669 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The lambda is the same as the epsilon. < 1406059398 976991 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :I think you can do the normal NFA-to-DFA conversion even if there are epsilon transitions, basically merging all states reachable via epsilon transitions < 1406059422 442347 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Yes this book describe exactly how you do that, in fact. < 1406059425 707274 :Melvar!~melvar@dslb-088-078-156-068.pools.arcor-ip.net PRIVMSG #esoteric :Indeed. Any ε-NFA is convertible into an NFA is convertible into a DFA. < 1406059430 200084 :olsner!~salparot@c83-252-201-82.bredband.comhem.se PRIVMSG #esoteric :which means they are regexps < 1406059626 807447 :ZuuBoard!~zuu@unaffiliated/zuu NICK :Zuu < 1406059700 864588 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406059846 12305 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406060227 812914 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406061565 966696 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1406061686 619135 :not^v!~notnot^v@198.109.114.66 NICK :^4 < 1406061823 919411 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406063611 773196 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Remote host closed the connection < 1406063701 193963 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net JOIN :#esoteric < 1406064302 777423 :AnotherTest!~turingcom@d51A42986.access.telenet.be QUIT :Quit: ZNC - http://znc.in < 1406065381 450595 :Zuu!~zuu@unaffiliated/zuu NICK :ZuuHattery < 1406065735 364783 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1406066182 963414 :^4!~notnot^v@198.109.114.66 QUIT :Ping timeout: 240 seconds < 1406066189 46761 :not^v!~notnot^v@198.109.114.66 JOIN :#esoteric < 1406066784 347580 :nooodl!~nooodl@91.176.151.16 QUIT :Ping timeout: 250 seconds < 1406066841 916463 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1406066891 971288 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1406067167 192056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`olist (958) < 1406067175 416576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: ☝ < 1406067179 972129 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who else is on olist < 1406067228 194057 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :FireFly Sgeo boily < 1406067247 769514 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: fizzie already did that < 1406067263 498613 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, i guess he didn't list the names < 1406067283 221388 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net JOIN :#esoteric < 1406067339 759083 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1406067466 314364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Is there any idea when the server will be up again? <-- possibly when Gregor stops being idle for > 8 days. of course no one has any idea when that happens. < 1406067561 170121 :amenghra!~amenghra@99-127-231-63.lightspeed.sntcca.sbcglobal.net QUIT :Ping timeout: 256 seconds < 1406067870 890622 :ZuuHattery!~zuu@unaffiliated/zuu NICK :ZuuPancake < 1406068348 263788 :Sgeo!~quassel@ool-44c2aebc.dyn.optonline.net JOIN :#esoteric < 1406070143 113995 :not^v!~notnot^v@198.109.114.66 QUIT :Ping timeout: 264 seconds < 1406071531 454764 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1406071880 633841 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@check \x -> fromRational (toRational x) == (x :: Double) < 1406071882 108738 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : +++ OK, passed 100 tests. < 1406072564 193941 :mshock!~mshock@pool-72-64-105-212.dllstx.fios.verizon.net QUIT :Ping timeout: 260 seconds < 1406072700 617829 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> toRational (1/0::Double) < 1406072703 98247 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : can't find file: L.hs < 1406072705 249652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> toRational (1/0::Double) < 1406072706 781011 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1797693134862315907729305190789024733617976978942306572734300811577326758055... < 1406072714 581199 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> fromRational (toRational (1/0::Double)) < 1406072715 983982 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Infinity < 1406072720 52830 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :cute. nice. great < 1406072751 930379 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so... infinity starts with 1? < 1406072759 863942 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :hell yeah it does < 1406072786 168984 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :benford's law, man, it's just statistics < 1406072911 888425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2^1024 -- hth < 1406072913 249313 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 1797693134862315907729305190789024733617976978942306572734300811577326758055... < 1406072956 245149 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :> from Rational (toRational (2^1024)::Double) < 1406072957 705325 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Rational’ < 1406072961 932146 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :> fromRational (toRational (2^1024)::Double) < 1406072963 277134 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘GHC.Real.Ratio GHC.Integer.Type.Integer’ < 1406072963 457472 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with ‘GHC.Types.Double’ < 1406072963 457625 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: GHC.Types.Double < 1406072963 457713 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Actual type: GHC.Real.RationalCouldn't match type ‘GHC.Types.Double’ < 1406072963 457800 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with ‘GHC.Real.Ratio GHC.Integer.Type.Integer’ < 1406072976 912819 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :bah! < 1406072992 518953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hint: the result of toRational isn't a Double hth < 1406073015 272602 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :> fromRational (toRational ((2^1024)::Double)) < 1406073017 113176 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Infinity < 1406073018 460323 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: I need to fix that script, right? < 1406073022 937556 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :fucking. operators < 1406073043 17519 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well, anyway i'm glad no programming language has figured out how to have numbers that aren't somehow mildly annoying yet. < 1406073050 866061 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: put it's working perfectly hth < 1406073066 649492 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bicyclidine: scheme's numeric tower is okay? probably? < 1406073099 545422 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :well i mean, most of them are okay, since we use numbers all the time < 1406073109 300910 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :but then you look at the spec and it spends half the text on denoting floats < 1406073113 13021 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :woo yeaaaaaah baby < 1406073129 401634 :Bicyclidine!~Glossina@69.166.35.233 PRIVMSG #esoteric :i think the kernel guy complained about scheme's tower specifically but he complained about everything < 1406073449 209947 :brrr!~brrr@trivialand/emeritus/brrr JOIN :#esoteric