< 1399766595 174645 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The I country I voted for in the Eurovision came last :( < 1399766886 613468 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :interpPrefixes = ["idris-bot: "] < 1399767364 601698 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :Taneb: is that france < 1399767381 253311 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :Taneb: i thought france was decent?? france was catchy < 1399767551 399395 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :They only got 2 points < 1399767720 468582 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1399767752 701696 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1399767952 812003 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's because no one could understand what they were singing hth < 1399768019 713948 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1399768098 489792 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, une moustache! < 1399768100 310241 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :hth < 1399768136 188808 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well who cares about aching mice < 1399768251 810866 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I also found out that one of my friends, who happens to be Italian, cannot hear the difference between "Paul" and "pole" < 1399768256 458814 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1399768530 965458 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :Which sorting algorithms work best when only partial ordering is defined? < 1399768803 335390 :zzo38!~zzo38@24-207-51-179.eastlink.ca PRIVMSG #esoteric :(If there is no ordering for some pair of data, then it means don't care how it is ordered in the final list.) < 1399768805 425636 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 265 seconds < 1399768882 840393 :Bike!~Glossina@67-5-213-213.ptld.qwest.net PRIVMSG #esoteric :i thought it was usual for sorts to treat false both ways as meaning equal, meaning their relative order is unimportant < 1399768966 987739 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1399769001 707021 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1399769025 509304 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1399769028 353769 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1399769039 251022 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1399769749 621623 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :idea: call an esolang C. "maximal confusion" < 1399770626 435620 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Call it Sea < 1399770692 865176 :LadyAethra!~LadyAethr@dynamic-adsl-78-13-183-37.clienti.tiscali.it JOIN :#esoteric < 1399770719 623459 :LadyAethra!~LadyAethr@dynamic-adsl-78-13-183-37.clienti.tiscali.it PRIVMSG #esoteric :Hello , there is somebody here? < 1399770726 363439 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :no < 1399770751 814964 :LadyAethra!~LadyAethr@dynamic-adsl-78-13-183-37.clienti.tiscali.it PRIVMSG #esoteric :well i'm not here too :) < 1399770919 612617 :LadyAethra!~LadyAethr@dynamic-adsl-78-13-183-37.clienti.tiscali.it QUIT :Client Quit < 1399771239 405345 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399771325 397051 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 250 seconds < 1399771686 132771 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399771871 323480 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 258 seconds < 1399772266 941041 :zzo38!~zzo38@24-207-51-179.eastlink.ca QUIT :Remote host closed the connection < 1399773838 249122 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 240 seconds < 1399776124 693284 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1399776623 339599 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Dggh 5* 10New user account < 1399777138 88354 :hk3380!~test@90.202.243.219 JOIN :#esoteric < 1399778131 157584 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net QUIT :Quit: Terminated < 1399778548 906878 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399779777 861299 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1399779779 491215 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​09bestcoin 02akhacoin 06befuncitacoin 13chamcoin 04pointwispcoin 07beturcoin 08rfkcoin 09prnfcoin 02stackcoin 06barelnecoin 13monecoin 04shagecoin 07fmanicoin 08thtecoin 09plungcoin 02seliacoin 06enubicoin 13pathcoin 040.19coin 07footiliorslitaincoin < 1399780270 262281 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the fungot are the virtuous among us < 1399780270 639019 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: help getting to work only if you had to specify a " real" programs, too :) libgauche.so: no such file < 1399780301 471177 :Bike!~Glossina@67-5-213-213.ptld.qwest.net PRIVMSG #esoteric :gauche, eh < 1399780688 511703 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Read error: Connection reset by peer < 1399780736 124869 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399781659 323498 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1399781659 737928 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1399782026 888233 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :anyone here know about quasi-order/preorder theory? < 1399782410 875786 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :preorders are just simple categories hth < 1399782428 91473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`? preorder < 1399782428 721008 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :A preorder is just a small thin category. < 1399782430 409415 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :the Amazon category < 1399782445 942047 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :it's a variant on tropical mathematics < 1399782531 973229 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :preorders are just topologies where any intersection of open sets is open hth < 1399782552 170429 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: did you finish topology in agda yet < 1399782555 413684 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :/ignore -regexp -pattern hth$ #esoteric < 1399782560 609671 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: hah no < 1399782563 927516 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I never finish anything < 1399782569 258946 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait, did you start < 1399782574 491884 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :except at work, I guess < 1399782580 385795 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hrm, I had some code for it somewhere < 1399782584 836573 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :might have been on the dead computer though < 1399786247 114226 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Quit: leaving < 1399786263 712319 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399786473 703165 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399786860 433849 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399786994 719843 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds < 1399787163 136491 :SL61!~fenzil@cpe-74-136-69-65.swo.res.rr.com JOIN :#esoteric < 1399787188 557923 :SL61!~fenzil@cpe-74-136-69-65.swo.res.rr.com PART #esoteric :"Leaving" < 1399787718 281957 :hk3380!~test@90.202.243.219 QUIT :Ping timeout: 258 seconds < 1399788551 459209 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1399789630 354208 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1399790055 153063 :password2!~password@197.78.133.116 JOIN :#esoteric < 1399790925 676193 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39491&oldid=39490 5* 03GermanyBoy 5* (+1071) 10 < 1399791158 343031 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :bug-free hello world? < 1399791241 749153 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Remote host closed the connection < 1399791309 34063 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Use HQ9 for that. < 1399792185 961008 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39492&oldid=39491 5* 03GermanyBoy 5* (+149) 10 < 1399792417 357023 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1399793383 655702 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :http://codepad.org/BKuYBOmq <- so far so good < 1399793397 955078 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :an assembly like language should be easiest to compile and write a compiler in it < 1399793425 344871 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1399793873 735455 :AnotherTest!~turingcom@94-224-17-246.access.telenet.be JOIN :#esoteric < 1399794784 969420 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39493&oldid=39492 5* 03GermanyBoy 5* (+198) 10 < 1399795769 397892 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399796001 429932 :Vorpal!~Vorpal@81-224-29-207-no185.bredband.skanova.com JOIN :#esoteric < 1399796001 577158 :Vorpal!~Vorpal@81-224-29-207-no185.bredband.skanova.com QUIT :Changing host < 1399796001 577213 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1399796054 786892 :Bike!~Glossina@67-5-213-213.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1399796194 416433 :MoALTz!~no@user-188-33-238-232.play-internet.pl JOIN :#esoteric < 1399796289 691935 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1399796905 975375 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39494&oldid=39493 5* 03GermanyBoy 5* (+1016) 10 < 1399796995 643203 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 M10 02http://esolangs.org/w/index.php?diff=39495&oldid=39494 5* 03GermanyBoy 5* (-10) 10 < 1399797157 846508 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39496&oldid=39495 5* 03GermanyBoy 5* (+3) 10 < 1399797240 337443 :MoALTz!~no@user-188-33-238-232.play-internet.pl QUIT :Ping timeout: 258 seconds < 1399797293 137646 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 M10 02http://esolangs.org/w/index.php?diff=39497&oldid=39496 5* 03GermanyBoy 5* (+2) 10/* Brainfuck interpreter */ < 1399797305 661640 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 M10 02http://esolangs.org/w/index.php?diff=39498&oldid=39497 5* 03GermanyBoy 5* (+0) 10/* Brainfuck interpreter */ < 1399797436 931628 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1399797791 760131 :MoALTz!~no@user-164-127-251-116.play-internet.pl JOIN :#esoteric < 1399798339 469178 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :is fprintf(0,"foo") the same as fprintf(stdout,"foo")? < 1399798353 454233 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :since it's argument is a FILE* < 1399798368 144496 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which one could confuse as "ponter to a file" < 1399798379 190526 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :where 0 would be more or less a null pointer < 1399798459 908643 :password2!~password@197.78.133.116 QUIT :Ping timeout: 240 seconds < 1399798623 471547 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Read error: Connection reset by peer < 1399798646 498609 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399798747 293349 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`cc #include \nmain() { fprintf(0, "\\n"); } < 1399798748 212637 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Segmentation fault < 1399798766 982779 :MoALTz!~no@user-164-127-251-116.play-internet.pl QUIT :Read error: Connection reset by peer < 1399798811 943962 :MoALTz!~no@user-164-127-251-116.play-internet.pl JOIN :#esoteric < 1399799471 100550 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1399799680 224547 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :`cc #include \nmain() { fprintf(stdout, "\\n"); } < 1399799681 217553 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1399799700 863218 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :isn't stdout fhandle 0? < 1399799709 52380 :password2!~password@197.78.172.82 JOIN :#esoteric < 1399799994 591188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: after pondering your recent deepOf, i've concluded that you need a Tectonic class so that your plates can move (between types (and i realize Data may not be up to give the information)) and stab properly. < 1399800465 401093 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@let :info test < 1399800465 549662 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: Parse error: : < 1399800483 788348 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just making sure i wasn't lying on stackoverflow < 1399800738 673740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION suddenly wonders if he can say eighth
< 1399800743 727753 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :apparently. < 1399800790 346794 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :eighth of spades vs ace of spades < 1399800803 737366 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1399800816 77312 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :that's fcntl and stuff that takes int 0 as stdout < 1399800817 370235 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :eighth of thpadeth < 1399800909 3961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that gives two google hits, alas not with the eighth and thpadeth together < 1399801018 644845 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39499&oldid=39498 5* 03GermanyBoy 5* (+2) 10/* Classes and objects */ < 1399801208 610647 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`cc #include \n#define A(x) printf(#x" = %d\\n", fileno(x));\nmain(){ A(stdin); A(stdout); A(stderr); } < 1399801209 506308 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :stdin = 0 \ stdout = 1 \ stderr = 2 < 1399801277 445929 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`cc #include \n#define A(x) printf(#x"=%p fileno("#x")=%d\\n", x, fileno(x));\nmain(){ A(stdin); A(stdout); A(stderr); } < 1399801278 241270 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :stdin=0x405a66c0 fileno(stdin)=0 \ stdout=0x405a67a0 fileno(stdout)=1 \ stderr=0x405a6880 fileno(stderr)=2 < 1399803453 590436 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :@tell zzo38 I also made it strip its nick off the front of a line independently of any other interpretation. < 1399803453 738134 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Consider it noted. < 1399803566 306879 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net JOIN :#esoteric < 1399803576 457441 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (0$0 +) < 1399803576 896055 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:7: error: expected: operator < 1399803577 43830 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(0$0 +) < 1399803577 190601 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1399803597 519031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm idris doesn't have sections at all? < 1399803618 144144 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (1 +) 1 < 1399803618 527660 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :042 : 12Integer < 1399803632 940060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (1*1 +) 1 < 1399803633 430150 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:7: error: expected: operator < 1399803633 577369 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(1*1 +) 1 < 1399803633 577431 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1399803659 307972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that's weird. < 1399803676 220067 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( ((1*1) +) 1 < 1399803676 725727 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :042 : 12Integer < 1399803710 653124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so it has sections, but their arguments must not have top operators? < 1399803982 905541 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: I believe that is correct. < 1399804014 782158 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :+( (sin 1 +) 5.0 < 1399804018 523689 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (sin 1 +) 5.0 < 1399804018 914641 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(input):1:9: error: expected: operator < 1399804019 147298 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :(sin 1 +) 5.0 < 1399804019 294661 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : ^ < 1399804035 271173 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...or function application. < 1399804043 542938 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Huh, I thought that worked. < 1399804047 765669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( ((sin 1) +) 5.0 < 1399804048 82914 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :045.841470984807897 : 12Float < 1399804056 45198 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( (+ sin 1) 5.0 < 1399804056 362322 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :045.841470984807897 : 12Float < 1399804066 936593 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat. < 1399804073 581402 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :PARSER NEEDS WORK < 1399804075 235128 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Looks like time to update the issue … < 1399804082 736559 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Yes, it very much does. < 1399804090 566959 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there's an issue for this? < 1399804289 433510 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :https://github.com/idris-lang/Idris-dev/issues/524 Also I miscalled them “slices” apparently >.> < 1399804362 94179 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it makes sense, both slices, sections are parts cut off from a whole. < 1399804367 640555 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Yes. < 1399804378 655209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (+ 1 * 2) 4 < 1399804379 135765 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :046 : 12Integer < 1399804381 961905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ic < 1399804418 586184 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now you must go the edwardk way and make them be subtly differently typed variations on a theme. < 1399804481 404487 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :type shifting plates is something we've talked about ;) < 1399804492 990188 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :IIRC, the improvement there should have allowed at least function application to appear there, but apparently later changes have broken that again? < 1399804510 250194 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i sort of expected that :) < 1399804535 632259 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( (+ 1 * 2) < 1399804536 73403 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :\13{ARG1000} => 09prim__addBigInt 13ARG 042 : 12Integer -> 12Integer < 1399804569 976042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (/ 2) 4 < 1399804570 412177 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :042.0 : 12Float < 1399804584 746860 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :( (/ 2) < 1399804585 135832 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :\13{ARG1000} => 09prim__divFloat 13ARG 042.0 : 12Float -> 12Float < 1399804607 726445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what's that 1000 < 1399804620 226242 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :The wierd name is because there’s some problem with showing internal autogenerated names. < 1399804650 671947 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :uh huh. < 1399804719 231187 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( the (Eq Int) %instance < 1399804719 554204 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :04constructor of Prelude.Classes.Eq (\13{meth0} => \13{meth1} => 09intToBool (09prim__eqInt 13meth 13meth)) < 1399804719 791828 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : (\13{meth2} => \13{meth4} => 09not (09intToBool (09prim__eqInt 13meth 13meth))) : 12Eq 12Int < 1399804731 302524 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Same issue there. < 1399804820 243555 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see, it's dropping the number in expression position? < 1399804822 610954 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :Braces and uniquifying number are shown at binding but not at use, it seems. < 1399804883 737975 :drdanmaku!uid17782@gateway/web/irccloud.com/x-wbsmmzcywijfpfmw QUIT :Quit: Connection closed for inactivity < 1399805056 692031 :hk3380!~test@90.202.243.219 JOIN :#esoteric < 1399805057 695776 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :And then there’s “constructor of Prelude.Classes.Eq” which is also an internal name you can’t reference. Several kinds of internal name are phrases, making parsing some errors a bit difficult. < 1399805653 71108 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that sounds like the main thing you'd want to use {}'s around < 1399805674 660471 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :perhaps allowing them on input too? < 1399806115 440120 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Sngscsv14]]4 N10 02http://esolangs.org/w/index.php?oldid=39500 5* 03Dggh 5* (+4) 10Created page with "todo" < 1399806177 485830 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1399806890 247432 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399807013 61633 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :oerjan: There are already things with {} around on input, so no. < 1399807041 599338 :Case__!~Case@115-64-10-45.static.tpgi.com.au JOIN :#esoteric < 1399807057 96650 :Case__!~Case@115-64-10-45.static.tpgi.com.au PART #esoteric :"Leaving" < 1399807066 299117 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a lost case < 1399807134 458254 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Melvar: in that case you are doomed to absorb perl syntax for distinguishing the options hth < 1399807164 468630 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( \a => id {a} < 1399807164 875457 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :When elaborating an application of constructor 04__infer: < 1399807165 22850 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric : Can't disambiguate name: Prelude.Basics.id, Control.Category.id < 1399807172 723981 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( \a => Basics.id {a} < 1399807173 81774 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :\13a => 09id : (13a : 12Type) -> 13a -> 13a < 1399807179 226187 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Good morning < 1399807214 788098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good afternoon Taneb < 1399807719 516850 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1399807791 615221 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ESOSC14]]4 N10 02http://esolangs.org/w/index.php?oldid=39501 5* 0392.105.82.69 5* (+675) 10Created page with "The Esoteric Standard Committee (ESOSC) aims to standardize esolangs and related works. The ESOSC assures high-quality esolang standards much more detailed than esolang wiki ..." < 1399807805 143251 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :gotta spread the word :) < 1399807841 337351 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :mroman_: I'm user:EzoLang < 1399807919 432515 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ah < 1399807920 34755 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ok < 1399807944 778678 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07ESOSC14]]4 10 02http://esolangs.org/w/index.php?diff=39502&oldid=39501 5* 0392.105.82.69 5* (+1) 10 < 1399808003 64823 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :mroman_, nortti, what are the prospective goals for D4 and D5 < 1399808193 499051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :d4 < 1399808193 685627 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan: 2 < 1399808195 763508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :d5 < 1399808195 910780 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :oerjan: 5 < 1399808210 563824 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :After hearing about PSOX D4 might not be needed < 1399808216 203156 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :except that PSOX uses a binary format < 1399808229 506152 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which might be unconfortable for some esolangs probbly? < 1399808249 643497 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But D4 was about EsoAPI, PEOSIX < 1399808253 605882 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :originally < 1399808304 364024 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :#++ is some esolang I'm working on < 1399808360 211929 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :EsoAPI specs aren't available anymore < 1399808371 518184 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but Sgeo's PSOX specs are still available < 1399808377 396739 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and they look pretty good < 1399808756 577526 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The ISO also standardizes whole languages < 1399808764 363258 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I thought we could do that to < 1399808783 285665 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :which raises the questions whether Brainfuck Conventions should be more like "ESOSC Brainfuck" < 1399808810 640378 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Which defines what to use as EOF and stuff < 1399808820 497674 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and maybe standardize how to embed comments into Brainfuck < 1399808860 214459 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :(and wrap-around) < 1399808894 993964 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :rather than "defining" conventions < 1399808903 54359 :password2!~password@197.78.172.82 QUIT :Ping timeout: 276 seconds < 1399808950 504015 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :how are we actually going to do this? < 1399808965 992986 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :ask around what people here prefer and then use the majority < 1399809401 726201 :hogeyui!~hogeyuiVP@vps.usamimi.biz QUIT :Ping timeout: 252 seconds < 1399809417 496336 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :that seems like a good idea < 1399809546 45536 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It being a binary format is probably rather helpful in some other esolangs though < 1399809561 444551 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :(about PSOX) < 1399809569 616260 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :should we conduct just a informat vote on channel or set up some sort of questionaire thing? < 1399809867 618988 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :like an online survey? < 1399810103 814265 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :yeah, wasn't there a gdocs thing for that < 1399810139 109193 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :k. < 1399810149 722731 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :"Do you want 0 or -1 (255) as EOF?" < 1399810153 584730 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :those kind of questions. < 1399810174 331677 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :so, EOF, wraparound, bitness? < 1399810181 707765 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yeah < 1399810188 452363 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :also, there's the possibility of no change on EOF < 1399810195 888384 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :yep < 1399810296 612840 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :also, regarding 2014-D2-R3, are there any more plans to introduce other normalized forms than FNF? < 1399810319 90968 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you could take this under consideration: http://brainfuck.sourceforge.net/rules.html < 1399810340 332381 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :nortti, all of <>, +- etc don't apply with bounded tapes or non-wrapping values < 1399810366 942309 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(though I thought not allowing to decrement 0 was a pity) < 1399810376 646178 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :Taneb: I do know that < 1399810419 465135 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :in the case that no other normalized forms are planned, the "First" seems redundant < 1399810467 363738 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :oh, actually. I never thought about what ',' would return after EOF had been reached, maybe have that too < 1399810487 508502 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :at least erroring out and re-returning EOF are possibilities < 1399810521 63151 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'd prefer re-returning EOF < 1399810555 308 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :I also < 1399810574 321876 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :oh and newline handling < 1399810588 755381 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Line feed. < 1399810598 404119 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :I agree, < 1399810615 964424 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39503&oldid=39499 5* 03GermanyBoy 5* (+314) 10/* Commands */ < 1399810617 261167 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Or if we're feeling ridiculous, U+0085 < 1399810629 876126 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`unicode 0085 < 1399810630 552833 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​… < 1399810639 759789 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`unidecode < 1399810640 391842 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :No output. < 1399810645 804533 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :`unidecode 0085 < 1399810646 436196 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+0030 DIGIT ZERO] [U+0030 DIGIT ZERO] [U+0038 DIGIT EIGHT] [U+0035 DIGIT FIVE] < 1399810654 76177 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :`unicode LINE SEPARATOR < 1399810654 690165 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​
 < 1399810661 396405 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :`unidecode … < 1399810662 315259 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+0085 \ UTF-8: c2 85 UTF-16BE: 0085 Decimal: … \ … \ Category: Cc (Other, Control) \ Bidi: B (Paragraph Separator) < 1399810671 529192 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :oh, I see < 1399810688 521852 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :But no, Line Feed is a better option < 1399810697 60022 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :I agree < 1399810699 825600 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :`unidecode 
 < 1399810700 493935 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​[U+2028 LINE SEPARATOR] < 1399810737 7324 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :personally I'd implement the stuff as 8bit, wrap, linefeed, 0 on eof, re-return eof, right-infine < 1399811067 321017 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :␤ < 1399811170 506516 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :I only see a block < 1399811208 471012 :hogeyui!~hogeyuiVP@vps.usamimi.biz JOIN :#esoteric < 1399811227 143322 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`multicode 0085 < 1399811227 975443 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :U+0085 \ UTF-8: c2 85 UTF-16BE: 0085 Decimal: … \ … \ Category: Cc (Other, Control) \ Bidi: B (Paragraph Separator) < 1399811236 960588 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1399811321 295506 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Jafet: please standardize something that doesn't invalidate virtually all BF programs ever written. < 1399811772 437202 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nortti: yeah < 1399811774 18833 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :me too < 1399812035 437202 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Historically, Urban Müller's bfi.c used getchar() for ',', that points towards -1 for EOF. I wonder what the compiler did ... < 1399812057 202172 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :it used no change < 1399812061 332397 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :iirc < 1399812143 450606 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :where does the zero-on-eof come from? < 1399812221 267461 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I don't know. I can imagine two reasons, one is convenience, and the other is a dislike for negative numbers (for example because you want to use Church numerals) < 1399812282 759470 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :well, online survey would probably be best < 1399812299 934608 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :In the topic and on the wiki's main page? < 1399812334 560299 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :if one of you can create it, I cannot run gdocs atm < 1399812372 107570 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I'm creating one currently :) < 1399812767 442084 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :,[.,] is the most compelling argument imo < 1399812952 765679 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :no-change has the argument that is can simulate any return on eof < 1399812980 688685 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :s/,/[-],/g for 0 and s/,/[-]-,/g for -1 < 1399813086 3292 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :,[.,] reads until zero? < 1399813145 989217 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :cat < 1399813169 739266 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I'll standardize cookies < 1399813183 838515 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :compared to ,+[-.,+] (assuming wrap for sake of sanity) and [-],[.[-],] < 1399813413 85172 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :So, how does no-change cat work < 1399813436 860349 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :[-],[.[-],] < 1399813456 267957 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :or i guess the first [-] doesn't matter, duh. < 1399813464 437236 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :oh, yeah < 1399813470 433371 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :since inited to 0 < 1399813487 96692 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :That stops on zero, not EOF < 1399813518 332258 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :s/not/not just/ < 1399813523 839921 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :there's always a character that can't be distinguished from EOF if you have only 8 bits (and 8 bit characters) < 1399813561 721162 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :-,+[-.[-]-,+] i guess? < 1399813563 673969 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :you can also use -,+[-.[-]-,+] to simulate -1 on EOF < 1399813576 781253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :just be radical and do > on EOF hth < 1399813594 983457 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :D: < 1399813600 765896 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(the command, not the character) < 1399813627 344412 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Sounds good as far as standards go < 1399813650 855997 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :'twould have the advantage that you actually _could_ distinguish EOF from everything. < 1399813737 806287 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :also, break ~everything < 1399813740 275359 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Ok, it does look like Urban Müller's compiler implements no change on EOF semantics. < 1399813815 760518 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Run three copies of the program and merge the results < 1399814087 694605 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr QUIT :Ping timeout: 252 seconds < 1399814117 622226 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1399814447 320504 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 JOIN :#esoteric < 1399814518 149549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait, even better, do [>] on EOF. < 1399814553 706861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no wait < 1399814598 673267 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's backwards < 1399814661 510685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm no that's close enough. < 1399814682 22662 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(doesn't break ,[.,] cat) < 1399814794 443552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i think that will accidentally fail to break many programs hth < 1399814831 896073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(basically anything that does , only on a 0 _or_ halts immediately when reading a 0.) < 1399814869 987897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^echo echo < 1399814870 141696 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :echo echo < 1399814874 48815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show echo < 1399814874 231598 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :>,[.>,]<[<]+32[.>] < 1399814885 33201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like that one < 1399814891 254012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^show rev < 1399814891 401233 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :>,[>,]<[.<] < 1399814896 772575 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or that < 1399814917 216008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep, almost completely backwards compatible! < 1399815042 229243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :intuitively, because if you are saving input for later you'd most likely input into a new untouched cell < 1399815976 398459 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ddplcmixzakwibzk JOIN :#esoteric < 1399816038 314449 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 QUIT :Ping timeout: 240 seconds < 1399816096 434219 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399816205 413829 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://de.surveymonkey.com/s/LKP5NSH <- something like that @questionaire < 1399816419 41408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :3 is missing the option of unbounded in both directions < 1399816461 329724 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :is it possible to make that page be in english? < 1399816474 239720 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I thought it was? < 1399816488 315422 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 JOIN :#esoteric < 1399816493 643095 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :nope, shows german for me < 1399816520 75522 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm < 1399816520 369090 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :k < 1399816523 327267 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :*wait* < 1399816562 813050 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :damn < 1399816606 632929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mroman_: drop the initial de. in the hostname < 1399816614 724081 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 240 seconds < 1399816624 490687 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :still shows german for me if I drop the de. < 1399816637 50769 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not for me < 1399816683 306132 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr QUIT : < 1399816749 701848 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399816761 918502 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :now I get a finnish page telling me that the page was not found < 1399816787 770770 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nortti: yeah < 1399816793 354321 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I had to change question 3 < 1399816795 793404 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :ah < 1399816801 108550 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so I had to revoke the previous link < 1399816823 114802 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://www.surveymonkey.com/s/L82SNZV < 1399816827 223204 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :^- that should be english now < 1399817125 373273 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399817141 288358 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1399817217 592413 :atslash!~atslash@91.195.137.195 JOIN :#esoteric < 1399817296 427120 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 258 seconds < 1399817411 113184 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1399817939 439409 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399817962 711709 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399818048 773495 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :This is getting ridiculous. It says "Javascript is required for this site to function, please enable." I disable CSS. I get a bona fide HTML form to fill in, with functioning submit button. < 1399818087 949005 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :oh, I didn't even notice such a requirement since links2 does not have css :D < 1399818312 230520 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :The sad thing is that the Web at large has now successfully trained me to do that, disable CSS when a web page requests Javascript. It works about half of the time. < 1399818345 724884 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(To be more specific, when it requests Javascript but doesn't display any other content.) < 1399818371 55886 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :also works on the bootstrap-based menus that for some ungodly reason require js < 1399818597 657198 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :int-e: I’m gonna have to remember that. Sometimes I remember to click-hold and press delete, and sometimes that works too. < 1399818986 932847 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399819100 60314 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Just surrender to Javascript already! < 1399819238 185334 :tailcalled!573bcd6e@gateway/web/freenode/ip.87.59.205.110 QUIT :Quit: Page closed < 1399819901 407767 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 252 seconds < 1399820181 702321 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1399820746 388972 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca JOIN :#esoteric < 1399822411 969998 :nucular!~MOO@p4FC7E126.dip0.t-ipconnect.de JOIN :#esoteric < 1399822421 898465 :nucular!~MOO@p4FC7E126.dip0.t-ipconnect.de QUIT :Changing host < 1399822422 46162 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1399823020 442463 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1399823469 525319 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399823497 740062 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399823688 421366 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1399824516 449970 :Bike!~Glossina@67-5-213-213.ptld.qwest.net JOIN :#esoteric < 1399826717 897477 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Remote host closed the connection < 1399826759 704632 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 252 seconds < 1399826837 439983 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399827093 709393 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca QUIT :Quit: WeeChat 0.4.2 < 1399827101 644826 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 255 seconds < 1399827135 104663 :atslash!~atslash@91.195.137.195 QUIT :Quit: This computer has gone to sleep < 1399827747 514776 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1399828207 787083 :conehead!~conehead@cpe-67-10-116-50.gt.res.rr.com JOIN :#esoteric < 1399828467 692300 :conehead!~conehead@cpe-67-10-116-50.gt.res.rr.com QUIT :Changing host < 1399828467 877489 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399828686 93567 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399828690 736912 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399828691 431365 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Deadfish14]]4 10 02http://esolangs.org/w/index.php?diff=39504&oldid=39380 5* 03GermanyBoy 5* (+141) 10Forobj < 1399828764 85035 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399828790 707887 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399828816 31457 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Forobj14]]4 10 02http://esolangs.org/w/index.php?diff=39505&oldid=39503 5* 03GermanyBoy 5* (+10) 10 < 1399828878 246627 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1399828987 301063 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :http://mjg59.dreamwidth.org/31357.html < 1399829531 506114 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr QUIT :Ping timeout: 265 seconds < 1399829551 696112 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1399829565 624793 :Froox!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1399829574 516255 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1399829779 433399 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399830211 611657 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1399830219 462397 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net QUIT :Ping timeout: 252 seconds < 1399830234 714346 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399830358 246116 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1399830424 711874 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/newusers14]]4 create10 02 5* 03Malltog 5* 10New user account < 1399830851 404830 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca JOIN :#esoteric < 1399830940 715924 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :good fternoon! we have a song contest? < 1399830948 546154 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :@massages-loud < 1399830948 693037 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :kmc asked 2d 16h 48m 25s ago: what's the deal with your quit messages? < 1399830968 253673 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :kmc: eh... eeeeeeeeh... >_>'... < 1399831110 154939 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :boily: we do < 1399831123 457870 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1399831244 683512 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :The esoteric song contest! < 1399831445 340125 :conehead!~conehead@cpe-67-10-116-50.gt.res.rr.com JOIN :#esoteric < 1399831463 416100 :conehead!~conehead@cpe-67-10-116-50.gt.res.rr.com QUIT :Changing host < 1399831463 605749 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399831500 93575 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :mrhelloman_. Tanelle. < 1399831524 515757 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :any subscribers? contestants? judges? bloopers? < 1399831750 688314 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hoily < 1399831781 969009 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://farm4.staticflickr.com/3472/3373021846_838c8b0089_o.jpg < 1399831858 623620 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :
ACTION twitches, drools and overdoses with a manic grin
< 1399831858 980878 :Bike!~Glossina@67-5-213-213.ptld.qwest.net PRIVMSG #esoteric :oh no < 1399831867 703868 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :oh oui... ouiiii... < 1399832177 564795 :hk3380!~test@90.202.243.219 QUIT :Ping timeout: 252 seconds < 1399832280 19431 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It's Tokyo < 1399832734 869954 :atslash!~atslash@46.72.76.109 JOIN :#esoteric < 1399832841 504813 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Improbable14]]4 N10 02http://esolangs.org/w/index.php?oldid=39506 5* 03Malltog 5* (+1432) 10Created page with "'''Improbable''' is a register- and tape-based esoteric language focusing on succinctness. A tape is called the datastore, and is 256 bytes long. The register is one byte. The..." < 1399832847 76372 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Remote host closed the connection < 1399832873 66654 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1399832939 54597 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :why is succinctness such a long word < 1399832977 844532 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :not a very succint word, eh < 1399833038 198190 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's heterological < 1399833144 175792 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :is heterological heterological < 1399833146 638181 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :can a word be partially heterological? < 1399833152 395578 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :sounds russell's paradox-y < 1399833156 489064 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 265 seconds < 1399833178 110048 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :nice http://en.wikipedia.org/wiki/Grelling%E2%80%93Nelson_paradox#Similarities_with_Russell.27s_paradox < 1399833424 541003 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :boily: bilogical? < 1399833425 482908 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::) < 1399833459 705870 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :boilogicaly: that which is sane and logical in my head. < 1399833493 960377 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Like chicken? < 1399833505 731673 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :like chicken. < 1399833525 908171 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca PRIVMSG #esoteric :(can't blame chicken. it tastes good!) < 1399835206 503942 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1399835356 969657 :boily!~alexandre@dsl-173-206-168-98.tor.primus.ca QUIT :Quit: The set of chickens that aren't contained in those chickens < 1399835754 164019 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :https://www.surveymonkey.com/s/L82SNZV <- Brainfuck Survey < 1399835900 478392 :nortti!nortti@nano.smar.fi TOPIC #esoteric :The dead serious channel | PSA: fizzie is running the wiki now, contact him for any problems | brainfuck survey: https://www.surveymonkey.com/s/L82SNZV | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ < 1399837076 717779 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1399837228 341754 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net JOIN :#esoteric < 1399837461 62914 :MoALTz!~no@user-164-127-251-116.play-internet.pl QUIT :Quit: bbl < 1399837872 630606 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Improbable14]]4 10 02http://esolangs.org/w/index.php?diff=39507&oldid=39506 5* 03Malltog 5* (+2) 10Clarified external link < 1399838621 603135 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Excess Food < 1399838682 393642 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :Is anyone planning to implement Pinkcode? http://esolangs.org/wiki/Pinkcode < 1399840121 531357 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That looks a bit interesting < 1399840330 847962 :augur!~augur@50.246.71.61 JOIN :#esoteric < 1399840446 596270 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1399840592 462092 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I don't get what cell ownership affects, though < 1399840639 758714 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1399841591 30418 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Quit: Computer has gone to sleep. < 1399841621 361994 :Phantom_Hoover!~phantomho@146.66.49.247 JOIN :#esoteric < 1399841621 883326 :Phantom_Hoover!~phantomho@146.66.49.247 QUIT :Changing host < 1399841622 30331 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399841857 879250 :augur!~augur@50.246.71.61 QUIT :Ping timeout: 276 seconds < 1399842241 853806 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399842574 310108 :rapido!25fb231a@gateway/web/freenode/ip.37.251.35.26 JOIN :#esoteric < 1399842577 493953 :blitter64!~blitter@99-171-140-87.lightspeed.tukrga.sbcglobal.net QUIT :Quit: Leaving < 1399842626 146374 :rapido_!~rapido@37-251-35-26.FTTH.ispfabriek.nl JOIN :#esoteric < 1399842686 488465 :rapido_!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :has anyone been into http://www.availlang.org ? < 1399842769 646581 :rapido_!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :avail has a very interesting type system married with functional purity < 1399842809 769367 :rapido_!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :it appears esoteric because of its *very* free syntax < 1399842825 12362 :rapido_!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :but the semantics are very solid < 1399842828 333444 :rapido!25fb231a@gateway/web/freenode/ip.37.251.35.26 QUIT :Ping timeout: 240 seconds < 1399842828 830674 :rapido_!~rapido@37-251-35-26.FTTH.ispfabriek.nl NICK :rapido < 1399842904 494631 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it doesn't look very pure < 1399842941 577431 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :oh? but everything is pure except for variables (of course!) < 1399842992 730173 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :the type system is pretty nifty < 1399843028 298621 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rapido: if reader : []→string and writer : [string]→⊤ are ever going to get specified as things that do IO (as the text suggests), then it is unlikely they can have those types in a pure language. < 1399843030 565576 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :it has multmethod dispatch on precise types < 1399843053 616176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :those variables also seem to clearly be mutable < 1399843057 172126 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :ah, the reader and write stuff < 1399843071 376318 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :yes, variables are mutable < 1399843080 77673 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :but very cleverly so < 1399843096 344816 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sure, but it's not pure :P < 1399843113 101448 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1399843125 693229 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess "functional purity" could just mean purity of paradigm there rather than "purely functional". < 1399843150 946796 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but I'm not quite sure "functional" exists as a meaningful paradigm in itself if you don't at least imply the language is pure < 1399843172 86048 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :yeah, i know what you mean < 1399843261 252182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the language seems interesting at a glance, though the syntax is hard to get over. < 1399843279 462863 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :every language is suddenly ‘functional’ because that’s fashionable to say < 1399843299 633666 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :yeah, the syntax is hard because it’s completely free form < 1399843312 120089 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :(which i rather like) < 1399843372 402670 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :because we should talk about semantics - no? 9.9 < 1399843390 791202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah, but syntax is easier to argue about < 1399843419 449978 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's argue about the syntax of comments < 1399843485 128126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recommend borrowing the -- (...) (...) ... from Reaper. < 1399843495 867996 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 276 seconds < 1399843502 540357 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(my vancient aporware language) < 1399843505 730958 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1399843567 288821 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I still want you to finish that. < 1399843576 13824 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :what about this avail gem? http://www.availlang.org/_examples/rpn/RPN.avail < 1399843590 737230 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :i’m very much into postfix syntax < 1399843681 405047 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :but that example just renders syntax arguments moot < 1399843754 47132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i sense some COBOL/ADA inspiration. < 1399843755 28317 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :but, it could be that avail is an advertisment for babelism < 1399843769 89002 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :and apl < 1399843787 697609 :AnotherTest!~turingcom@94-224-17-246.access.telenet.be QUIT :Ping timeout: 252 seconds < 1399843828 977650 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :you could also say that article provides more fuel for syntax arguments than anyone could ever need :p < 1399843868 182137 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :see: https://trac.availlang.org/browser/avail/Avail/distro/src/avail/Avail.avail/Foundation.avail/Sets.avail < 1399843929 322018 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :fyi i’m totally in love with avail < 1399843954 151057 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :it’s like my language enchilada, but with types < 1399844030 393814 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :oh, yeah utf-8 < 1399844194 667585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :types are like enchiladas < 1399844241 362034 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :oerjan: ah? i never tasted such a type of enchilada < 1399844271 776472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you need to wear a hazmat suit < 1399844325 979428 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :in the middle of a desert < 1399844373 29512 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :to get your urine recycled < 1399844374 27739 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :? < 1399844379 432108 :Bike!~Glossina@67-5-213-213.ptld.qwest.net QUIT :Ping timeout: 265 seconds < 1399844396 86606 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that _may_ be why. < 1399844419 465200 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i'm just parodying monad analogies here, assuming they're going over your head) < 1399844446 765725 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :god, i need urine but i’m wearing this suit < 1399844459 202166 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :urine a bit of trouble then < 1399844473 474084 :Bike!~Glossina@75-175-77-18.ptld.qwest.net JOIN :#esoteric < 1399844475 445177 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :monad analogies go over my head because i ignore them < 1399844496 966662 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :monads thus < 1399844540 803296 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Monads are like burritos: nobody understands them. < 1399844551 235345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good. once a monad analogy gets into your head you cannot get it out again. < 1399844611 693239 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pikhq: i'm pretty sure edwardk does. < 1399844629 823323 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :edwardk, burrito god. < 1399844655 12330 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :burritos rule, though.... < 1399844701 1277 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :nope, they fligh right over my head - because i duck < 1399844797 353886 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :duck is rather tasty too < 1399844815 170415 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :good point < 1399844815 432997 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :duck typing - nah < 1399844868 523798 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399844939 143082 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: are you a burrito expert twh < 1399845267 684094 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t elemIndices < 1399845268 541888 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Eq a => a -> [a] -> [Int] < 1399845382 44025 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :just to show off my new love, she’s a rare kind of type (of types of types): http://www.availlang.org/about-avail/documentation/type-system/metatypes.html < 1399845459 574896 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :oerjan: i've been known to wrap code in a burrito or two < 1399845478 934811 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :oerjan: what can i help you with? < 1399845505 983254 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i do maintain the burrito transformer library ;) < 1399845522 222313 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :we were merely wondering if the monad-burrito correspondence held for you < 1399845626 641714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@hoogle liftST < 1399845628 249425 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :Language.Haskell.TH.Syntax liftString :: String -> Q Exp < 1399845637 268776 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...nope. < 1399845639 382503 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :( Type < 1399845640 290728 :idris-bot!~ircslave@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :12Type : 12Type < 1399846276 992351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t cont < 1399846277 945169 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :((a -> r) -> r) -> Cont r a < 1399846308 677558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cont r a variant < 1399846321 65812 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm why doesn't that give a general MonadCont < 1399846326 501012 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t state < 1399846327 728780 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadState s m => (s -> (a, s)) -> m a < 1399846335 357289 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like this one < 1399846401 779908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i suppose as the maintainer of the burrito transformer library you should know that? < 1399846407 784707 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :comonads are more like burritos to me < 1399846414 240261 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :you can always unwrap them < 1399846436 779520 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1399846479 192983 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :anyways, cont can't be upgraded the way you want. m occurs in both positive and negative position in it < 1399846490 674838 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric ::t ContT < 1399846490 821972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1399846491 581419 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :((a -> m r) -> m r) -> ContT r m a < 1399846528 645861 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm < 1399846550 519669 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you _could_ do it from the Codensity version, right? < 1399846572 938150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i mean, a forall on the r would suffice. < 1399846587 604820 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :you've stumbled on the difference between MonadTrans and something stronger that permits an injection t Identity a -> t m a or (MonadHoist t, Monad m , Monad n) => (forall a. m a -> n a) -> t m a -> t n a < 1399846618 751441 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :i haven't checked naturality of hoisting for Codensity < 1399846660 546199 :Ghoul_!uid6924@gateway/web/irccloud.com/x-lxiicjtwfxqjnxfc JOIN :#esoteric < 1399846678 235888 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :hi mark < 1399846719 169880 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :we should consider creating an avail channel < 1399846811 307318 :Eritzap!574031e0@gateway/web/freenode/ip.87.64.49.224 JOIN :#esoteric < 1399846919 768290 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i'm just wondering if you can write something of type MonadCont m => (forall r. (a -> r) -> r) -> m a < 1399846936 481255 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :forall r? sure < 1399846939 104871 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :that one is easy < 1399846951 534629 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :pick r = m r' < 1399846965 666632 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :for full Codensity? < 1399846974 888135 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t callCC < 1399846975 464382 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadCont m => ((a -> m b) -> m a) -> m a < 1399846984 943142 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that's not quite the right type < 1399846996 692674 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :not calCC < 1399847003 758092 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :you can't callCC with Codensity < 1399847008 686114 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :but you can lower codensity to Cont < 1399847015 960124 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: i'm talking about MonadCont < 1399847044 519351 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :since that is, after all, it's only specific method. < 1399847050 760130 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :trivial :: Codensity m a -> ContT r m a; trivial = ContT . runCodensity < 1399847052 495695 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*its < 1399847055 396194 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl PRIVMSG #esoteric :Ghoul_: sorry, i thought you were someone else. < 1399847059 359356 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :but handling all of MonadCont I don't expect < 1399847215 208023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm. < 1399847335 54696 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Quit: Leaving < 1399847415 650595 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399847420 624778 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Client Quit < 1399847492 554495 :Eritzap!574031e0@gateway/web/freenode/ip.87.64.49.224 QUIT :Quit: Page closed < 1399847917 773984 :rapido!~rapido@37-251-35-26.FTTH.ispfabriek.nl QUIT :Quit: rapido < 1399848630 34554 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :edwardk: oh duh of course callCC has the right type to lift Codensity Identity a, just set b = a. < 1399848658 700079 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :yeah < 1399848677 567209 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er wait < 1399848681 676597 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :er < 1399848684 638432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t runCodensity < 1399848685 363299 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :your statement is a bit different < 1399848685 510804 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘runCodensity’ < 1399848685 657945 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘runIdentity’ (imported from Control.Monad.Identity) < 1399848716 84005 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :I was just running Codensity m a in ContT r m a -- unquantifying r < 1399848786 630374 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my er was because i realized m worked instead of Identity < 1399848809 309581 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i just needed to look up that i remembered the definition of Codensity. < 1399848817 241377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*correctly < 1399848947 440691 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t callCC :: MonadCont m => (forall z. (a -> m z) -> m z) -> m a < 1399848948 466946 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Couldn't match type ‘(a1 -> m1 b0) -> m1 a1’ < 1399848948 614232 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : with ‘forall z. (a1 -> m1 z) -> m1 z’ < 1399848948 614298 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Expected type: (forall z. (a1 -> m1 z) -> m1 z) -> m1 a1 < 1399848966 453821 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :you can lift Codensity Identity as well of course. < 1399848981 662268 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :no need to callCC < 1399848985 824675 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm i guess i need a let < 1399848986 372250 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :just use the ContT constructor < 1399848988 571402 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric ::t ContT < 1399848989 534596 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :((a -> m r) -> m r) -> ContT r m a < 1399849006 492086 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric ::t Data.Functor.Codensity.Codensity < 1399849007 334472 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: data constructor ‘Data.Functor.Codensity.Codensity’ < 1399849010 309083 :Ghoul_!uid6924@gateway/web/irccloud.com/x-lxiicjtwfxqjnxfc PRIVMSG #esoteric :if I start learning now, I'll understand this in about 15 years. < 1399849025 176941 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :@let newtype Codensity m a = Codensity { runCodensity :: forall r. (a -> m r) -> m r } < 1399849025 325270 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Parse failed: TypeOperators is not enabled < 1399849030 790455 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let r2cCC f = callCC f; r2cCC :: MonadCont m => (forall z. (a -> m z) -> m z) -> m a in r2cCC < 1399849031 405859 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadCont m => (forall z. (a -> m z) -> m z) -> m a < 1399849063 590854 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :oh you keep trying for full MonadCont < 1399849071 105209 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric ::t callCC < 1399849072 45409 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :MonadCont m => ((a -> m b) -> m a) -> m a < 1399849077 794132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well yes, and it seems to work < 1399849102 132040 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :seems plausible < 1399849115 957884 :edwardk!~edwardk@pdpc/supporter/professional/edwardk PRIVMSG #esoteric :it fits my understanding of how you can use the continuation in codensity < 1399849124 122874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t let r2cCC cd = callCC (runCodensity cd) in r2cCC < 1399849125 53060 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘runCodensity’ < 1399849125 200272 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Perhaps you meant ‘runIdentity’ (imported from Control.Monad.Identity) < 1399849141 796259 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh your definition failed < 1399849166 146391 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1399849209 137552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: i think lambdabot @let is missing some extension to allow foralls in data types < 1399850941 117589 :augur!~augur@50.246.71.61 JOIN :#esoteric < 1399851644 88679 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1399852286 429712 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection