< 1395100829 761705 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395101137 755500 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395101226 95614 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395101458 727131 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395101621 731963 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395101647 779919 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395101691 155278 :jix!~jix@jixco.de QUIT :Ping timeout: 255 seconds < 1395101720 806369 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395101913 65360 :jix!~jix@jixco.de JOIN :#esoteric < 1395101918 821441 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395102631 914108 :nooodl!~nooodl@33.96-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Ik ga weg < 1395103003 499685 :rodgort!~rodgort@li125-242.members.linode.com QUIT :Ping timeout: 264 seconds < 1395103099 754675 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395103249 750358 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395103427 761977 :rodgort!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1395103436 816037 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395103526 960694 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1395103559 798400 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395103733 795089 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395103759 794013 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395103832 773469 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395103969 515653 :glogbackup!~glogbacku@192.3.160.190 QUIT :Read error: Connection reset by peer < 1395103969 626011 :Sellyme!~Sellyme@irc.sellyme.com QUIT :Excess Flood < 1395104037 817374 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395104063 752102 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395104126 184683 :Sellyme!~Sellyme@fluttershy.is.bestpony.tk JOIN :#esoteric < 1395104296 737916 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395104459 784043 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395104545 779247 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395104558 727921 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395104579 266415 :applybot!~applybot@unaffiliated/jafet QUIT :Remote host closed the connection < 1395104684 281451 :glogbackup!~glogbacku@192.3.160.190 QUIT :Read error: Connection reset by peer < 1395104747 727393 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395104782 146347 :not^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Client Quit < 1395104855 837028 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1395105265 358985 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 240 seconds < 1395105680 735058 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 252 seconds < 1395105776 35076 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm these gravitational waves would be dating from a fraction of a second after the big bang! < 1395105811 466874 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unless the theory of eternal inflation is also true, in which they would be dating from the fraction of a second at which that ended in our region of the universe < 1395105825 697149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in which case < 1395105865 609561 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also those fractions need a "minuscule" before them, i think. < 1395106178 683649 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm 10^(-37) seconds says this article < 1395106195 400793 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 264 seconds < 1395106374 218738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh it's the same as the theorized time for the grand unification breakup < 1395106434 363562 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://www.simonsfoundation.org/quanta/20140317-possible-echo-of-big-bang-detected/ btw < 1395106505 718956 :Bike!~Glossina@71-222-121-172.ptld.qwest.net QUIT :Ping timeout: 252 seconds < 1395106538 370283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that site's favicon is so appropriate for this stuff < 1395106595 708210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, this channel is too quiet tonight. < 1395106766 859294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm it's energy scale, not time. should be correlated though. < 1395106886 298954 :Bike!~Glossina@71-222-121-172.ptld.qwest.net JOIN :#esoteric < 1395106929 359224 :MoALTz__!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395106989 61214 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1395107078 290116 :MoALTz_!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 240 seconds < 1395107273 639095 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1395107297 875442 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 252 seconds < 1395107370 187724 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, term "ALL n :: nat. n > 1 --> EX p. prime p & prime (2*n - p)" < 1395107370 613274 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** I feel a strange sensation: . (Try "restart".) < 1395107401 919647 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :What is an applybot? < 1395107402 25683 :applybot!~applybot@unaffiliated/jafet QUIT :Remote host closed the connection < 1395107411 844498 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :python is, like, the worst language ever < 1395107430 844104 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1395107446 561419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a bizarre statement. < 1395107470 365635 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :^wiki ESME < 1395107470 473827 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :http://esolangs.org/wiki/ESME < 1395107474 63022 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hth < 1395107483 285942 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, term "ALL n :: nat. n > 1 --> EX p. prime p & prime (2*n - p)" < 1395107488 85664 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Inner syntax error at "EX p . prime p & prime ( 2 * n - p )" < 1395107513 966972 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, thm exE < 1395107515 355430 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : [| EX x. ?P x; !!x. ?P x ==> ?Q |] ==> ?Q < 1395107536 151913 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, term "ALL n :: nat. n > 1 --> (EX p. prime p & prime (2*n - p))" < 1395107536 738066 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : *** Illegal application of command "term" at top level < 1395107584 644567 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :ESME is deleted? :( < 1395107595 491459 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :http://esolangs.org/wiki/Esme < 1395107660 369422 :applybot!~applybot@unaffiliated/jafet QUIT :Remote host closed the connection < 1395107680 848133 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's still there. < 1395107709 302455 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Yes, I realized shortly after I asked, then I linked to it. oerjan made the bot link to the wrong place. < 1395107740 438649 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1395107744 71364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :SOrRY I dON*T KNOW WHat haPPENED < 1395107776 31589 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Client Quit < 1395107783 956143 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1395107820 245448 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Write error: Connection reset by peer < 1395107837 932207 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1395108057 101543 :nys!~smuxi@blk-142-60-139.eastlink.ca QUIT :Quit: quit < 1395108443 413717 :Bike_!~Glossina@67-5-232-24.ptld.qwest.net JOIN :#esoteric < 1395108463 358869 :Bike!~Glossina@71-222-121-172.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1395108472 365209 :Bike_!~Glossina@67-5-232-24.ptld.qwest.net NICK :Bike < 1395108792 214222 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 255 seconds < 1395109454 168036 :Bike_!~Glossina@67-5-247-202.ptld.qwest.net JOIN :#esoteric < 1395109472 351817 :Bike!~Glossina@67-5-232-24.ptld.qwest.net QUIT :Disconnected by services < 1395109477 360377 :Bike_!~Glossina@67-5-247-202.ptld.qwest.net NICK :Bike < 1395109899 421162 :Bike!~Glossina@67-5-247-202.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1395110014 100298 :Bike!~Glossina@67-5-254-249.ptld.qwest.net JOIN :#esoteric < 1395110037 239606 :Bike!~Glossina@67-5-254-249.ptld.qwest.net NICK :Guest72828 < 1395110155 727263 :Guest72828!~Glossina@67-5-254-249.ptld.qwest.net NICK :Bike < 1395110207 670111 :yorick!~yorick@oftn/member/yorick QUIT :Remote host closed the connection < 1395110247 770553 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1395110787 364150 :Jafet!~jafet@unaffiliated/jafet QUIT :Quit: Quit < 1395110814 144897 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de JOIN :#esoteric < 1395110826 660419 :Jafet!~jafet@static.77.207.4.46.clients.your-server.de QUIT :Changing host < 1395110826 715968 :Jafet!~jafet@unaffiliated/jafet JOIN :#esoteric < 1395111848 365711 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1395111909 704489 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1395112698 530880 :ion!ion@heh.fi PRIVMSG #esoteric :http://i.imgur.com/ZYmu29u.png < 1395112821 122464 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :gamestop as laundering. fascinating. < 1395113440 709745 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1395113479 708949 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1395113755 379515 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395113908 545832 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395114553 540483 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Remote host closed the connection < 1395115388 303000 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395115591 379980 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395115592 593073 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395115805 474524 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395115877 128801 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 246 seconds < 1395115893 117538 :MoALTz__!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 255 seconds < 1395115940 606870 :MoALTz__!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395116065 822360 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1395116107 403626 :MoALTz!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 264 seconds < 1395116366 211694 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe cup noodles aren't so bad... one thing of cup noodles has about as much sodium as two things of instant pasta < 1395116373 639882 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(Or maybe instant pasta is worse than I thought) < 1395116396 959882 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(If I eat instant pasta one night, I usually have two of them, whereas I only have one cup noodles) < 1395116577 493982 :limitless232323!~limitless@72.11.34.197 JOIN :#esoteric < 1395116607 475294 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1395116699 163242 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :daf < 1395117534 20180 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :anyone here ever reached a state of zen? < 1395117546 754692 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :`welcome limitless232323 < 1395117553 783498 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :oh no. < 1395117556 854946 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :Hello bike < 1395117566 769673 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :what do you mean oh no? < 1395117605 300249 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :that's supposed to play a prerecorded message. < 1395117633 513344 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :what is? < 1395117637 394325 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :`welcome < 1395117640 953438 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :mentioning among other things that the channel is about esoteric programming languages < 1395117646 945555 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :oh shit < 1395117647 627763 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :haha < 1395117650 605481 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :my fault < 1395117660 34830 :limitless232323!~limitless@72.11.34.197 PRIVMSG #esoteric :have a nice day/night < 1395117665 623316 :limitless232323!~limitless@72.11.34.197 PART #esoteric :"Leaving" < 1395118741 938941 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :`help < 1395118757 832590 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :Erm. < 1395118764 472576 :pikhq!~pikhq@2602:100:18b2:fbfb:a60:6eff:fece:493 PRIVMSG #esoteric :^help < 1395118764 529161 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :^ ; ^def ; ^show [command]; lang=bf/ul, code=text/str:N; ^str 0-9 get/set/add [text]; ^style [style]; ^bool < 1395118778 403151 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :all is lost, imo < 1395121147 451476 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395121278 229393 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :So, anyone ever see a ghost? I believe we should all get in touch with our inner ghost. I think Brainfuck is a wonderful meditative excersize to get in touch with your inner ghost < 1395121324 130059 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :well, i punched one once, but i couldn't see it. < 1395121339 356767 :password2!~password@197.78.144.251 JOIN :#esoteric < 1395121399 436280 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :
ACTION assumes a hunter just entered
< 1395122608 825364 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 265 seconds < 1395122623 422130 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395122797 45733 :elliott_!~elliott@unaffiliated/elliott JOIN :#esoteric < 1395122912 945067 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 255 seconds < 1395123185 143042 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 246 seconds < 1395123899 65194 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 246 seconds < 1395124370 5793 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: ^welcome < 1395124382 535514 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bike: It's a bit cut off, but better than nutting. < 1395124612 703595 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :^welcome < 1395124612 815138 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try ... < 1395124617 261113 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :thank god. < 1395125233 707586 :lexande!arapp@terpsichore.ugcs.caltech.edu PRIVMSG #esoteric :what happened to the old one? < 1395125272 571398 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :executed for sedition. < 1395125397 692652 :ion!ion@heh.fi PRIVMSG #esoteric :executed for sediment < 1395125480 879064 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :is hackego actually gone for good? :( < 1395125578 350709 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395125662 781903 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :i dunno < 1395125676 649337 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :i just like talking about sedition < 1395125694 161033 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 255 seconds < 1395125851 415159 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Ping timeout: 264 seconds < 1395126362 765552 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395126403 293431 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395126715 426275 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395126767 764952 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net QUIT :Ping timeout: 252 seconds < 1395127879 343294 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395128407 292069 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395128417 744055 :Slereah__!~jackal@193.253.170.240 QUIT :Ping timeout: 252 seconds < 1395128555 109005 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: Leaving < 1395128664 87790 :oklopol!~oklopol@dyn60-339.yok.fi QUIT :Ping timeout: 255 seconds < 1395128691 48618 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 255 seconds < 1395128752 89646 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1395128960 986566 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 255 seconds < 1395129163 920972 :applybot!~applybot@unaffiliated/jafet QUIT :Remote host closed the connection < 1395129189 206134 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I like Vonnegut's _The Gospel from Outer Space_: http://www.readvonnegut.com/2010/07/kilgore-trout-slaughterhouse-five.html < 1395129231 64652 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 255 seconds < 1395129332 973565 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :huh, thought that was a different book 4 some reason < 1395129643 410841 :password2!~password@197.78.144.251 QUIT :Ping timeout: 264 seconds < 1395129767 406749 :Froox!~Frooxius@cust-101.ktknet.cz JOIN :#esoteric < 1395129767 518251 :Frooxius!~Frooxius@cust-101.ktknet.cz QUIT :Read error: Connection reset by peer < 1395129793 244348 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 240 seconds < 1395130284 343512 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395130387 357738 :MoALTz__!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 264 seconds < 1395130729 53912 :jconn!~va@1-130.ipswich.cc.colocall.com QUIT :Ping timeout: 265 seconds < 1395132034 137662 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :sometimes I see $ used to mean cache and it annoys me greatly... I guess $ = cash = cache, but that's so ugly < 1395132047 153946 :Bike!~Glossina@67-5-254-249.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1395132306 419409 :ion!ion@heh.fi PRIVMSG #esoteric :Huh. I have never seen that. I guess i’m lucky. < 1395132711 337951 :oklopol!~oklopol@a88-115-136-20.elisa-laajakaista.fi JOIN :#esoteric < 1395132777 225555 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1395134404 158493 :applybot!~applybot@unaffiliated/jafet QUIT :Remote host closed the connection < 1395134810 337324 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1395135633 647842 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*yawn* < 1395135821 6092 :applybot!~applybot@unaffiliated/jafet JOIN :#esoteric < 1395136579 353353 :jumpifnotzero!~jumpifnot@koln-5d815e7e.pool.mediaWays.net JOIN :#esoteric < 1395136907 564676 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :jumpifnotzero: hi hagb4rd < 1395136972 689560 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(if you're not evading a ban, you'd better say so in the next few minutes.) < 1395136976 661017 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395137074 949968 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, lemma "((p --> q) --> p) --> p" try0 < 1395137082 466439 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : Proving: 1. ((p --> q) --> p) --> p \ Trying "simp", "auto", "fast", "fastforce", "force", "blast", "metis", "linarith", and "presburger"... \ Try this: by fast \ (fast, force, blast, linarith: 0 ms; auto: 1 ms; metis: 2 ms; fastforce: 3 ms). < 1395137116 734401 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :applybot, by fast < 1395137117 285103 :applybot!~applybot@unaffiliated/jafet PRIVMSG #esoteric : QED: lemma ((?p --> ?q) --> ?p) --> ?p < 1395137165 720073 :ChanServ!ChanServ@services. MODE #esoteric +o :elliott_ > 1395137165 961166 NAMES :#esoteric < 1395137191 377984 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1395137192 348427 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395137206 420817 :elliott_!~elliott@unaffiliated/elliott KICK #esoteric jumpifnotzero :if you are not banned user hagb4rd, sorry for the inconvenience and please /msg me < 1395137215 283653 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric +b :*!*@*.pool.mediaWays.net > 1395137215 305804 NAMES :#esoteric < 1395137241 655868 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ISP only used by two people who aren't hagb4rd in the logs < 1395137248 897363 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :both joined and parted immediately. heck, maybe they were hagb4rd too < 1395137253 243571 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :should be okay for a temporary ban < 1395137257 69251 :elliott_!~elliott@unaffiliated/elliott MODE #esoteric -o :elliott_ > 1395137257 91632 NAMES :#esoteric < 1395137300 46007 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(ban not just based on ISP but also CTCP VERSION giving back some awful German client that nobody else in their right mind would use, and also the lack of a reply) < 1395137364 148466 :boily!~boily@96.127.201.149 JOIN :#esoteric < 1395137379 104399 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Is it bad that, despite mostly programming in Haskell, when I program in Rust I use a very mutation-heavy style? < 1395137762 936254 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Maybe rust is bad < 1395137767 560432 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :or haskell is bad! < 1395137821 190966 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :full disclosure: < 1395137823 466943 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:15:53 -!- Irssi: Starting query in freenode with jumpifnotzero < 1395137823 522912 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:15:53 sry was afk < 1395137823 523066 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:12 hi < 1395137823 523158 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:19 hi < 1395137825 626779 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:33 i was not evading now. i was yesterday.. my isp reconnected me < 1395137828 637163 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:39 I banned you on the assumption that you were a user who has been persistently evading a ban recently, based on your ISP and client < 1395137831 599000 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:42 are you hagb4rd? < 1395137834 152853 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:44 yes < 1395137836 621379 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:16:47 okay < 1395137932 419466 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :elliott_, how is Hexham doing? < 1395137948 571299 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hexcellently < 1395137952 938201 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Will you need to disclose that you might disclose that you are disclosing this < 1395137978 758341 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Jafet: I don't need to disclose the whole closure. < 1395137982 873443 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :then it wouldn't be closed any more. < 1395138060 32111 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :I thought you had it fully disclosed. < 1395138090 284890 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it leaked. < 1395138163 501322 :boily!~boily@96.127.201.149 PRIVMSG #esoteric :what is the difference between a leak and a disclosure? < 1395138819 301518 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Also, what is the awful German client that nobody else in their right mind would use? < 1395138920 732337 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :10:01:40 [freenode] CTCP VERSION reply from jumpifnotzero: Nettalk 6.7.16 (c)2002-2012 by Nicolas Kruse (www.ntalk.de) < 1395138968 66987 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Oh, okay < 1395139039 122888 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :"i was not evading now. i was yesterday" < 1395140707 772246 :boily!~boily@96.127.201.149 QUIT :Quit: Poulet! < 1395142987 414722 :glogbackup!~glogbacku@192.3.160.190 QUIT :Ping timeout: 264 seconds < 1395143762 59443 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1395144429 213904 :ggherdov!sid11402@gateway/web/irccloud.com/x-ikcqlbbbchrlrtpx QUIT :Ping timeout: 245 seconds < 1395144442 31514 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Read error: Operation timed out < 1395144826 401221 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1395145286 512144 :ggherdov_!sid11402@gateway/web/irccloud.com/x-inxlljidyijionhb JOIN :#esoteric < 1395146673 161580 :tromp!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395146695 362770 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 264 seconds < 1395147579 86397 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1395147860 154933 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1395148051 55330 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1395148118 706846 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :does anyone have ipv6? < 1395148179 356872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!echo hi < 1395148181 163590 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :hi < 1395148195 119410 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :One would presume so < 1395148233 197326 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :now hackego's repository browser isn't loading either :( < 1395148278 154511 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I mean anyone here. < 1395148400 714063 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp sh echo 'Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395148401 44613 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​There is already an interpreter for sh! < 1395148404 872216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1395148420 616925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome echo 'Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395148421 82175 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395148426 828275 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome < 1395148427 913013 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​'Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395148431 791622 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1395148436 70894 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395148436 392270 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395148443 126442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395148443 481713 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395148447 580644 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome < 1395148448 367060 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395148494 136345 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yay the dog hasn't barked today! < 1395148935 331645 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :!welcome INSERT_NICK_HERE < 1395148935 972791 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395148939 277651 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :DEFICIENT < 1395148954 124102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sheesh < 1395148968 334435 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395148968 548811 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395148993 856656 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1395149038 549147 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's the nick issue that's fungot's problem too; an Underload program could output that entire message, but couldn't do the nick; the brainfuck interpreter has a shorter output length limit. < 1395149038 655266 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :fizzie: " and this is a new game. there is no new-line in morse code ( the way databases do it), but... it's x-treme! < 1395149047 445444 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Should probably just bump up that number.) < 1395149078 151804 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :addinterp should be able to do nicks < 1395149081 724091 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :after all, it is for interpreters < 1395149089 297293 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome sh echo $(cat) test < 1395149089 612430 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395149091 323719 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome q r s < 1395149091 752641 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :q r s test < 1395149096 68686 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :easy. < 1395149258 568069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh that's how EgoBot's input works < 1395149263 594820 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, it's an interpreter < 1395149269 51872 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :they tend to take programs as input. < 1395149304 285508 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i _still_ don't know how to add a colon only when there is a parameter. < 1395149316 836918 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(and strip final space iirc) < 1395149323 599868 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1395149330 126801 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course < 1395149370 301786 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, you have sh. < 1395149374 329703 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or perl. or anything else < 1395149389 403880 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh [[ -z abc ]] || echo "abc: " < 1395149389 722042 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :abc: < 1395149393 686864 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh [[ -z "" ]] || echo ": " < 1395149394 46826 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1395149408 720064 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395149408 931265 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395149439 794661 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395149439 851520 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter nick___cat__ does not exist! < 1395149445 727340 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395149445 941720 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395149450 715129 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome < 1395149451 115878 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/tmp/input.20894: line 1: syntax error near unexpected token `(' \ /tmp/input.20894: line 1: `nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395149454 185949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott_: bloody hell i was working here < 1395149459 39044 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp bash < 1395149459 251040 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​That interpreter doesn't exist! < 1395149461 457926 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1395149463 169180 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp welcome < 1395149463 383131 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395149464 810665 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome bash nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395149465 24512 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter bash does not exist! < 1395149469 899768 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :come on. < 1395149474 321400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome sh -c sed 's?[ ]*$?Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)?' < 1395149474 535480 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395149481 501085 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome test < 1395149481 967476 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/tmp/input.21086: line 1: -c: command not found < 1395149482 927795 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh. < 1395149485 750427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bah < 1395149488 986996 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's just "sh sed" < 1395149493 90179 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's !addinterp name interp ... < 1395149505 103774 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp test < 1395149505 307609 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​test is not a user interpreter. < 1395149508 651425 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm wait < 1395149511 71864 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :and then !name ...input... is like !interp ... with ...input... as stdin < 1395149524 848308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395149525 168928 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395149564 531897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh wait. < 1395149671 515304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you know i think your method is easier to fix < 1395149689 332999 :oklopol!~oklopol@a88-115-136-20.elisa-laajakaista.fi QUIT :Ping timeout: 240 seconds < 1395149814 41999 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is < 1395149818 743205 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just bash -c or don't use bashisms < 1395149892 89274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome bash -c 'sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395149892 342770 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter bash does not exist! < 1395149898 358832 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait argh < 1395149904 591126 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome SH bash -c 'sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395149905 79358 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter SH does not exist! < 1395149911 796500 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome sh bash -c 'sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395149912 109578 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395149920 541293 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wtf did i bump caps lock < 1395149939 52242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome nearly_headless_nick < 1395149939 519926 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/bin/bash: -c: line 0: syntax error near unexpected token `(' \ /bin/bash: -c: line 0: `sh nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395149944 981059 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or not. < 1395150045 674406 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh < 1395150049 625534 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :XD < 1395150054 687201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395150054 899782 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395150070 257069 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome sh bash -c 'nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395150070 576423 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395150076 382630 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome nearly_headless_nick < 1395150076 915538 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/bin/bash: -c: line 0: syntax error near unexpected token `(' \ /bin/bash: -c: line 0: `nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)' < 1395150091 631477 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_NOW_ WHAT < 1395150175 959039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395150176 173086 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395150223 278911 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Unquoted (? < 1395150241 59390 :jconn!~va@1-130.ipswich.cc.colocall.com JOIN :#esoteric < 1395150243 948536 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm right < 1395150248 770089 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :Tor that matter, < and > . < 1395150255 821407 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :*For < 1395150358 420240 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome sh bash -c 'nick=$(cat); [[ -z $nick ]] || echo -n "$nick: "; echo '\''Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'\''' < 1395150358 741920 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395150365 826983 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome nearly_headless_nick < 1395150366 427174 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :nearly_headless_nick: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150371 202068 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :whew! < 1395150384 459740 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome Melvar < 1395150384 993117 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Melvar : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150392 366106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i knew it. < 1395150426 393516 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :strip final space, i said. but did they listen to me? NO. < 1395150438 650822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh well tired now. < 1395150507 851673 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!delinterp welcome < 1395150508 172083 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395150521 8481 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: cat | xargs < 1395150527 625100 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :er < 1395150529 24013 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :just xargs < 1395150531 233405 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :of course. < 1395150536 895149 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp welcome sh bash -c 'nick=$(xargs); [[ -z $nick ]] || echo -n "$nick: "; echo '\''Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)'\''' < 1395150537 215347 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395150546 532020 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!welcome Melvar < 1395150547 101786 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Melvar: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150548 792203 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome a b c < 1395150549 366177 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :a b c: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150557 985549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that was simpler than the sed i was thinking of. < 1395150744 948839 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome sh echo "$(xargs -I@ echo '@: ')Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)" < 1395150745 163333 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​There is already an interpreter for welcome! < 1395150749 918561 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp welcome < 1395150750 176687 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395150764 331167 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome sh xargs -I@ echo -n '@: '; echo "Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)" < 1395150764 580772 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395150770 952107 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome < 1395150771 274479 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150775 91391 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome a b c < 1395150775 682509 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :a b c : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150779 69599 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1395150790 314366 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :brilliant < 1395150793 156706 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp welcome < 1395150793 372481 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395150801 888197 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome sh xargs -d' ' -I@ echo -n '@: '; echo "Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)" < 1395150802 206605 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395150807 353027 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome a b c < 1395150808 88088 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :a: : b: : c: \ : Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395150812 123592 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :... < 1395150819 692003 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay, I see < 1395150901 483744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :getting closer < 1395151073 541344 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp welcome < 1395151073 774480 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome deleted. < 1395151099 536380 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome sh xargs printf "%s: "; echo "Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.)" < 1395151099 855472 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome installed. < 1395151104 543111 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome abc < 1395151105 85007 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :abc: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395151106 46063 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome abc def q < 1395151106 579812 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :abc: def: q: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395151118 600000 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :quite elegant, I think! < 1395151243 838248 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!info < 1395151244 50831 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​EgoBot is a bot for running programs in esoteric programming languages. If you'd like to add support for your language to EgoBot, check out the source via mercurial at https://codu.org/projects/egobot/hg/ . Cheers and patches (preferably hg bundles) can be sent to Richards@codu.org , PayPal donations can be sent to AKAQuinn@hotmail.com , complaints can be sent to /dev/null < 1395151270 234947 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm. < 1395151275 937946 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp test sh c < 1395151276 191629 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​There is already an interpreter for test! < 1395151278 404869 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp test2 sh c < 1395151278 723347 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter test2 installed. < 1395151280 508942 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!test2 int main(){} < 1395151280 828206 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/tmp/input.22904: line 1: c: command not found < 1395151288 601422 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp test3 sh interps/c < 1395151288 709185 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter test3 installed. < 1395151290 400850 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!test3 {} < 1395151290 864513 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/tmp/input.22999: line 1: interps/c: No such file or directory < 1395151292 755786 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :meh. < 1395151301 63812 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp test3 < 1395151301 280043 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter test3 deleted. < 1395151301 742854 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp test2 < 1395151301 955537 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter test2 deleted. < 1395151303 599480 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh echo $PATH < 1395151303 918348 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/sbin:/usr/sbin:/bin:/usr/bin < 1395151309 162644 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh find / -name c < 1395151309 734238 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/usr/bin/find: `/': Function not implemented < 1395151315 54498 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh find . -name c < 1395151315 480651 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/usr/bin/find: `.': Function not implemented < 1395151318 624683 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ls < 1395151319 52273 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :interps \ lib \ slox < 1395151321 261711 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ls interps < 1395151321 689228 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :1l \ 2l \ Makefile \ adjust \ axo \ befunge \ bf_txtgen \ bfjoust \ boof \ c-intercal \ cat \ cfunge \ clc-intercal \ dimensifuck \ egobch \ egobf \ fukyorbrane \ gcccomp \ gforth_quit \ ghc \ glass \ glypho \ kipple \ lambda \ lazyk \ linguine \ malbolge \ pbrain \ qbf \ rail \ rhotor \ sadol \ sceql \ trigger \ udage01 \ underload \ unlambda \ whirl < 1395151384 814763 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ps < 1395151385 242295 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​\ \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to or < 1395151391 27651 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ps -o ppid= < 1395151391 560840 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​\ \ Signal 18 (CONT) caught by ps (procps version 3.2.8). \ Please send bug reports to or < 1395151394 981019 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :weird. < 1395151458 241978 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp tell sh xargs printf "%s: "; sed 's/.*# *//g' interps/$1 < 1395151458 428510 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter tell installed. < 1395151468 816991 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1395151485 62016 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome2 tell welcome2;# Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395151485 274632 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome2 installed. < 1395151493 137940 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1395151494 882079 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!delinterp welcome2 < 1395151495 96333 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome2 deleted. < 1395151500 653034 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!addinterp welcome2 sh interps/tell welcome2;# Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1395151500 866622 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter welcome2 installed. < 1395151505 598073 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!welcome2 < 1395151506 64982 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/tmp/input.23597: line 1: interps/tell: No such file or directory < 1395151513 827608 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :whaaat. < 1395151516 934118 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!ls interps/tell < 1395151518 519872 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ls interps/tell < 1395151518 839227 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/bin/ls: cannot access interps/tell: No such file or directory < 1395151525 127008 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ugh, I guess userinterps go elsewhere...? < 1395151529 661665 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ls lib < 1395151530 129591 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :dcc \ interp \ interp.orig < 1395151531 977029 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ls lib/inter < 1395151532 616279 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh ls lib/interp < 1395151532 767330 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/bin/ls: cannot access lib/inter: No such file or directory < 1395151533 124532 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :lib/interp < 1395151546 330395 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh interp tell q < 1395151546 650397 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/tmp/input.23847: line 1: interp: command not found < 1395151550 426701 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh lib/interp tell q < 1395151550 893233 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1395151554 568773 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh lib/interp tellfsdfsdf < 1395151554 999498 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1395151565 982870 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh lib/interp welcome < 1395151566 410201 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :No output. < 1395151571 438794 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :time to give up before oerjan +qs me < 1395151582 332679 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it would have been neat though. < 1395151585 338215 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hackego learndb. < 1395151769 508719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought hackego's file system was readonly, or something. < 1395151771 894684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1395151774 431247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*egobot < 1395151776 602983 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, you'd have to use addinterp < 1395151825 702615 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!sh ls < 1395151826 128979 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :interps \ lib \ slox < 1395151831 39985 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!sh ls lib < 1395151831 610470 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :dcc \ interp \ interp.orig < 1395151840 203364 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!sh ls lib/interp < 1395151840 732288 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :lib/interp < 1395151856 758255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!sh ls -l lib/interp < 1395151857 330487 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​/bin/ls: lib/interp: Function not implemented \ -rw-r--r-- 1 5000 5000 1065 Dec 17 2011 lib/interp < 1395151867 894276 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1395152997 366187 :MoALTz!~no@user-46-112-127-158.play-internet.pl QUIT :Read error: Connection reset by peer < 1395153220 61482 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395153343 723143 :MoALTz!~no@user-46-112-127-158.play-internet.pl QUIT :Client Quit < 1395153615 120488 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395154008 623727 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :`` < 1395154013 12813 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :!! < 1395154074 651338 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!addinterp ! echo How exciting! < 1395154074 866081 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter _ installed. < 1395154077 280054 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!! < 1395154077 679421 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :How exciting! < 1395154669 41290 :nooodl!~nooodl@93.124-242-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1395154814 850242 :impomatic!~chatzilla@87.112.13.30 QUIT :Read error: Connection reset by peer < 1395155549 231083 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :!sh cat lib/interp < 1395155550 117193 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​#!/bin/bash \ \ export I_CMD="$1" \ export I_ARG="$2" \ export ARG_FILE="/tmp/input.$$" \ export JAVA_ARGS="-Djava.security.manager" \ \ pola-nice() { \ mkdir -p /tmp/tmp.$$/tmp \ cp "$ARG_FILE" /tmp/tmp.$$"$ARG_FILE" \ pola-run -B -f=/lib64 -f=/etc/alternatives -f=lib -f=interps -f=/proc -f=/opt/ghc -tw /tmp /tmp/tmp.$$/tmp \ \ --prog=nice -a=-n10 \ \ -fa=slox/slox -a=25 \ \ -e < 1395155556 109036 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :okay. < 1395156308 20734 :Bike!~Glossina@67-5-254-249.ptld.qwest.net JOIN :#esoteric < 1395158394 427107 :Slereah_!~jackal@193.253.170.233 JOIN :#esoteric < 1395158613 415875 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395158763 259714 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :!sh wc lib/interp < 1395158764 393386 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :59 123 1065 lib/interp < 1395158790 868063 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1395158791 117228 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395160249 274375 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Hallo < 1395160258 492888 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I have a place to live next year! < 1395160268 946745 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :oh aren't WE fancy < 1395160281 601010 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :new shiny cardbox? < 1395160326 626074 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1395160333 7340 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :On Windmill Lane < 1395160355 84784 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you have a cardbox? in my age we had to do with just a card < 1395160384 643412 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :oerjan, the government's providing me with a cardboard box which I have to start paying off at 10% interest once I'm earning 21K a year < 1395160386 775487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :admittedly it was made of flintstone, not that fancy paper. < 1395160414 766339 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: a punched card, I presume? < 1395160429 536898 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oh flintstone < 1395160446 215105 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :_and_ we had to punch it ourselves. < 1395160467 970719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :with our bare hands. which we'd just evolved. < 1395160506 298880 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :did they have opposable thumbs? < 1395160520 203790 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that's like the definition of hands, duh < 1395160731 659793 :password2!~password@197.78.156.95 JOIN :#esoteric < 1395161502 927383 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1395161766 166655 :Bike!~Glossina@67-5-254-249.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1395161816 73185 :Bike!~Glossina@67-5-254-249.ptld.qwest.net JOIN :#esoteric < 1395162022 441385 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Taneb: Tilting at windmills, eh? < 1395162052 412396 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :One could say that < 1395162453 3922 :Slereah_!~jackal@193.253.170.233 QUIT :Read error: Connection reset by peer < 1395162486 389003 :Slereah_!~jackal@80.10.159.141 JOIN :#esoteric < 1395163498 763378 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!addinterp test1 sed s/.$/&: /; s_$_hello world_ < 1395163498 970202 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter sed does not exist! < 1395163578 291041 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!addinterp test1 sh sed -e 's/.$/&: /' -e 's_$_hello world_' < 1395163578 497111 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter test1 installed. < 1395163581 631953 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!test1 < 1395163582 149209 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :hello world < 1395163585 525342 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!test1 foo < 1395163586 80249 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :foo: hello world < 1395163589 168965 :Bike!~Glossina@67-5-254-249.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1395163590 446909 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That works I guess < 1395163633 574077 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1395163788 858850 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :!delinterp test1 < 1395163789 168841 :EgoBot!dlopen@libdl.so PRIVMSG #esoteric :​Interpreter test1 deleted. < 1395164362 133741 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FireFly: doesn't work with multiple names < 1395164369 826813 :elliott_!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xargs printf "%s: " does < 1395164381 104961 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah, I noticed that later < 1395164387 461788 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :the xargs version, I mean < 1395164798 361471 :Slereah__!~jackal@80.10.161.178 JOIN :#esoteric < 1395165025 310135 :Slereah_!~jackal@80.10.159.141 QUIT :Ping timeout: 240 seconds < 1395165241 739591 :chaiomanot!~chaiomano@75-121-39-142.dyn.centurytel.net JOIN :#esoteric < 1395165426 817851 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1395165531 241388 :Bike_!~Glossina@67-5-254-249.ptld.qwest.net JOIN :#esoteric < 1395165559 298132 :Bike_!~Glossina@67-5-254-249.ptld.qwest.net NICK :Bike < 1395165888 615621 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :attn kmc: compiling-to-javascript now in use by javascript developers http://blog.angularjs.org/2014/03/angular-20.html < 1395165923 964419 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that kind of thing has been popular for a long time < 1395166777 358402 :password2!~password@197.78.156.95 QUIT :Ping timeout: 240 seconds < 1395170002 459658 :enigma!~enigma@c-68-39-86-173.hsd1.nj.comcast.net JOIN :#esoteric < 1395170029 91418 :enigma!~enigma@c-68-39-86-173.hsd1.nj.comcast.net PART :#esoteric < 1395170229 747015 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e NICK :scope < 1395170260 500418 :scope!myndzi@2600:3c00::f03c:91ff:fedf:3d4e NICK :myndzi < 1395170311 915353 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fn get_global_ptr() -> *mut Option<~~[~[u8]]> < 1395170345 219190 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :maybe of a pointer to a pointer to a vector of pointers to u8 vectors? < 1395170418 973165 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :function returning raw pointer (which you're allowed to mutate through) to maybe a pointer to a uniquely-owned box containing a pointer to a uniquely owned heap vector of pointers to uniquely owned heap vectors of u8 < 1395170630 116567 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :scary! < 1395170696 616897 :Bike!~Glossina@67-5-254-249.ptld.qwest.net PRIVMSG #esoteric :has someone written rustdecl explain yet < 1395170865 551964 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :~[T] is going away anyway < 1395171232 349958 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the HTML character entity with the longest name is ∳ < 1395171492 693016 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The Unicode character with the longest name is U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM. < 1395171552 286224 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1395171602 91850 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Discounting the initial and final forms of said character, however, the second-longest is U+1F502 CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS WITH CIRCLED ONE OVERLAY, which also contains "clockwise". < 1395171616 253220 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you would think "counterclockwise" would be longer < 1395171640 475259 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: actually the fact that ~T points to a box in the heap is something of an impl detail subject to change < 1395171649 907497 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the semantics of ~T and T are very close < 1395171651 833818 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Unicode uses the term ANTICLOCKWISE instead. < 1395171654 749614 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1395171666 309914 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It would, of course, still be longer, if it existed. < 1395171674 152083 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 246 seconds < 1395171718 365723 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Some systematic character set that is.) < 1395171789 648289 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(U+2233 ANTICLOCKWISE CONTOUR INTEGRAL is presumably what that HTML entity would map to.) < 1395171858 848115 :maurer!~maurer@MIMUNG.ECE.CMU.EDU JOIN :#esoteric < 1395172282 973033 :Melvar!~melvar@dslb-088-078-249-067.pools.arcor-ip.net PRIVMSG #esoteric :“= repeat one item over”, hence no anticlockwise counterpart. < 1395172462 729730 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :U+26D3 chAINS, U+2698 flowER, U+2693 anCHOR, U+22A9 forCES and U+22A7 moDELS are the longest Unicode character names that can occur as a combination of inventory letters in a NetHack prompt. < 1395172483 915218 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :
ACTION submits that for nerd pub trivia
< 1395173692 760428 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1395174099 192718 :ion!ion@heh.fi PRIVMSG #esoteric :CVE-2014-0133 http://nginx.org/download/patch.2014.spdy2.txt < 1395174388 719056 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Disconnected by services < 1395174454 334768 :shikhin!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395175848 942155 :MoALTz_!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395175933 431259 :MoALTz__!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395176021 125048 :MoALTz!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 246 seconds < 1395176126 38473 :MoALTz_!~no@user-46-112-127-158.play-internet.pl QUIT :Ping timeout: 246 seconds < 1395176148 171668 :MoALTz__!~no@user-46-112-127-158.play-internet.pl QUIT :Client Quit < 1395176159 335034 :MoALTz!~no@user-46-112-127-158.play-internet.pl JOIN :#esoteric < 1395176749 651978 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1395177145 478298 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :cute < 1395179992 848428 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :http://sprunge.us/IPcW cdecl pet peeve < 1395180026 101617 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :huh < 1395180134 363862 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :The cdecl lexer defines a large number of really common words (incl. "array", "as", "func", "into", "member", "of", "pointer", "ptr", "ref", "ret", "set", "to", "vector") used by its commands and the "english" syntax to result to special tokens instead of "NAME", so the parser gets all confused. < 1395180156 285865 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I believe some cdecls are less bad, but this one's quite widespread. < 1395180175 985483 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :I built https://gist.github.com/olsner/608575 for decoding types using the C++ compiler a while ago < 1395180222 495793 :shikhout!~Shikhin@unaffiliated/shikhin JOIN :#esoteric < 1395180225 474925 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :the "c++0x" stuff may need tweaks for c++11 though < 1395180274 380569 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I like that your useful practical tool also happens to be a shell / C++ polyglot < 1395180345 792768 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is a good example of C++ templates doing something that neither macros nor well-behaved generics can do < 1395180390 934109 :shikhin!~Shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1395180392 596078 :shikhout!~Shikhin@unaffiliated/shikhin NICK :shikhin < 1395180437 291554 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :kmc, is that... is that a good thing or a bad thing < 1395180472 235279 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1395180485 422722 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Taneb: arguably < 1395180490 503030 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that C++ templates can do these things? < 1395180494 481839 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yes < 1395180629 12063 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :C++ exists beyond good and evil < 1395180791 730909 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :since it's just pattern matching on smaller and smaller types (structural recursion?) I think these templates are about as well-behaved as they come < 1395181542 497658 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I guess so < 1395181576 708215 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :template specialization is ad-hoc overloading but you can do similar things in systems that are less ad-hoc < 1395181995 722081 :stopreadingthis_!~chatzilla@72-28-222-028-dhcp.mia.fl.atlanticbb.net JOIN :#esoteric < 1395183301 388698 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Gregor: is HackEgo coming back? :< < 1395184349 270447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fungot: is Gregor coming back? < 1395184349 383346 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :oerjan: i am just as confused. you, in numbers apparently inexhaustible, were all from me at your computer you might be here too. i'll go and invite your friends, his state vsurp'd, his realme a slaughter-house, his subjects, the european council decided at its meeting on 30 april, or even this very difficult issue is discussed, it should be deleted, not merged. but new england flood of may, 1765, curwen's only child, it's anci < 1395184378 286486 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i take it you are uncertain about this. < 1395185761 482424 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1395185870 794683 :nisstyre!~yourstrul@oftn/member/Nisstyre QUIT :Ping timeout: 252 seconds < 1395185922 478675 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Is it possible to write a web server in Coq? < 1395185965 952052 :nooodl!~nooodl@93.124-242-81.adsl-dyn.isp.belgacom.be QUIT :Quit: Leaving < 1395186030 233611 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: you can extract coq programs to other languages after typechecking < 1395186033 753740 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ocaml and haskell at least < 1395186051 488407 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Could that be hidden as part of a build process? < 1395186120 937300 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i presume so < 1395186252 631601 :maurer!~maurer@MIMUNG.ECE.CMU.EDU PRIVMSG #esoteric :Sgeo: If you are looking to write a webserver in a dependently typed language, idris might be better suited (not to say you can't do it in coq if you want to) < 1395186280 175457 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :I'm thinking about reading Certified Programming with Dependent Types < 1395186284 954828 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :whoa it's maurer < 1395186285 509604 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1395186289 808897 :maurer!~maurer@MIMUNG.ECE.CMU.EDU PRIVMSG #esoteric :Hallo. < 1395186290 28952 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Also, Idris doesn't seem production-ready < 1395186296 841684 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :(Not that I would really use this in production) < 1395186305 717190 :maurer!~maurer@MIMUNG.ECE.CMU.EDU PRIVMSG #esoteric :Sgeo: Coq extracted code is not really production ready either < 1395186314 979968 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :maurer: sadly one of our most interesting bots is out sick right now < 1395186344 495646 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Ah :/ < 1395186348 57362 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the one that for each command boots up a User Mode Linux instance, runs the command, and then merges filesystem changes using Mercurial < 1395186361 743178 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :but fungot will keep us company in the meantime < 1395186361 797509 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube < 1395186364 405599 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :haurer < 1395186374 330036 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: why did you list your ^styles just now? < 1395186374 442086 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: c has an ignore restarter, restart/ ignore do? the symbols, pairs, procedures, and so am i just being anal here or am i misunderstanding how these were the people skills of a plane < 1395186388 49127 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot source: https://github.com/fis/fungot/blob/master/fungot.b98 < 1395186388 160649 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: is. absorb it on my door, which was just perceptibly fnord and this yields nothing itself; it keeps being removed, the queen is a vain. yes, it's all right, it's been awhile prometheus! < 1395186463 150165 :tromp_!~tromp@ool-4570a22a.dyn.optonline.net JOIN :#esoteric < 1395186463 205086 :tromp!~tromp@ool-4570a22a.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1395186536 398793 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :but fungot will keep us company in the meantime < 1395186536 509180 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Sgeo: uninterned symbols, pairs, procedures, and so am i just being anal here or am i misunderstanding how these were the people skills of a plane < 1395186544 82617 :maurer!~maurer@MIMUNG.ECE.CMU.EDU PRIVMSG #esoteric :Sgeo: In essence, you can run coq in the same sense you can run agda < 1395186559 229911 :maurer!~maurer@MIMUNG.ECE.CMU.EDU PRIVMSG #esoteric :There's a way to do it, but runtime behavior is not necessarily bug free < 1395186646 256136 :nisstyre!~yourstrul@oftn/member/Nisstyre JOIN :#esoteric < 1395186984 515384 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Isn't there some CoqWeb thing? < 1395186994 850195 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :All software should be free as in seats.