< 1399852932 585469 :augur!~augur@50.246.71.61 QUIT :Remote host closed the connection < 1399853166 346910 :madbr!boulam@69.165.212.148 JOIN :#esoteric < 1399853257 577623 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399853305 689439 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399853978 726390 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399854003 704934 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399854046 986632 :atslash!~atslash@46.72.76.109 QUIT :Quit: This computer has gone to sleep < 1399854574 776409 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Nite < 1399854842 334537 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399855058 194508 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :every world we reach is fungot < 1399855058 496352 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: ( i'm saying this as a cgi. use mod_lisp.) and can be left off. < 1399855068 381602 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :fungot: are you a full-time internet? < 1399855068 577040 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: that's a macro. i thought that was fnord < 1399855326 540274 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :p. sure fungot is computer-generated imagery < 1399855327 50179 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :shachaf: what use would a variable? < 1399855332 68307 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399855538 271148 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1399855858 525459 :ineiros_!~itniemin@bayesianconspiracy.org QUIT :Ping timeout: 240 seconds < 1399855864 69800 :douglass_!~iridium@home-on-the-dome.mit.edu QUIT :Ping timeout: 240 seconds < 1399855975 538424 :boily!~alexandre@96.127.201.149 JOIN :#esoteric < 1399855976 339242 :douglass1!~iridium@home-on-the-dome.mit.edu JOIN :#esoteric < 1399855976 634200 :ineiros!~itniemin@bayesianconspiracy.org JOIN :#esoteric < 1399855977 140452 :boily!~alexandre@96.127.201.149 QUIT :Client Quit < 1399856509 541707 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1399857151 473020 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Read error: Connection reset by peer < 1399857569 4382 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399857585 776515 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399857785 376629 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 264 seconds < 1399858276 300690 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1399858289 790212 :shikhout!~shikhin@unaffiliated/shikhin QUIT :Remote host closed the connection < 1399859254 503663 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399859287 144795 :nycs!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com JOIN :#esoteric < 1399859479 676336 :jconn!~va@1-130.ipswich.cc.colocall.com QUIT :Ping timeout: 240 seconds < 1399859480 269876 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1399859481 231044 :fowl!~fowl@unaffiliated/fowlmouth QUIT :Ping timeout: 240 seconds < 1399859550 838766 :Taneb!~Taneb@runciman.hacksoc.org QUIT :Ping timeout: 276 seconds < 1399859553 499474 :`^_^v!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com QUIT :Ping timeout: 276 seconds < 1399859704 804367 :Zerker!~zerker@c-98-210-153-50.hsd1.ca.comcast.net JOIN :#esoteric < 1399859757 634246 :Taneb!~Taneb@runciman.hacksoc.org JOIN :#esoteric < 1399860275 423192 :fowl!~fowl@unaffiliated/fowlmouth JOIN :#esoteric < 1399860327 547265 :Tod-Autojoined!Tod@50-198-177-186-static.hfc.comcastbusiness.net NICK :TodPunk < 1399860413 811555 :FreeFull!~freefull@defocus/sausage-lover QUIT : < 1399860582 60845 :Zerker!~zerker@c-98-210-153-50.hsd1.ca.comcast.net QUIT :Quit: Colloquy for iPad - Timeout (10 minutes) < 1399860744 216087 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1399860848 689937 :Ghoul_!uid6924@gateway/web/irccloud.com/x-lxiicjtwfxqjnxfc QUIT :Quit: Connection closed for inactivity < 1399862160 841126 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Remote host closed the connection < 1399862922 917425 :kwertii!~kwertii@unaffiliated/kwertii JOIN :#esoteric < 1399862968 60474 :kwertii!~kwertii@unaffiliated/kwertii QUIT :Client Quit < 1399864175 411300 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1399864175 602368 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399864517 434658 :hk3380!~test@natvip29.york.ac.uk QUIT :Ping timeout: 264 seconds < 1399865314 455791 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :ubiquipumpkin < 1399865521 319906 :Sorella!~queen@oftn/member/Sorella QUIT :Quit: It is tiem! < 1399865998 989873 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1399866488 513130 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://dumb.domains/ < 1399866581 573375 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :thank you for making this all possible, ICANN < 1399866668 1274 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :boobies.cool < 1399866777 542826 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :is there a list of all the crazy TLDs that have appeared? < 1399866796 230201 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :http://en.wikipedia.org/wiki/List_of_Internet_top-level_domains < 1399866798 73602 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :nevermind :) < 1399866865 142615 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hark, a pumpkin < 1399866955 23652 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :alas, pumpkin is not a tld :( < 1399867059 109275 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ubiquipumpkin: surely you could make it one < 1399867077 254192 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I guess the requirements are significantly lower :P < 1399867128 972756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there might not be .pumpkin but at least there's .bike < 1399867186 743721 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :thank god < 1399867188 947245 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :pumpkin.co < 1399867197 424686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :what's with dnssec anyway < 1399867208 260298 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :kmc: omg if I were publishing jvm packages I'd be all set < 1399867227 557251 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1399867298 741527 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Name: .red < 1399867307 196213 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Entity: those who like the color red < 1399867309 270953 :ubiquipumpkin!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1399867320 476271 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's a high bar, copumpkin < 1399867396 624629 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399867435 35529 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :bo.red < 1399867496 746806 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :upholste.red < 1399867550 499138 :ter2!~tertu@143.44.70.199 QUIT :Ping timeout: 265 seconds < 1399867585 349872 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :hat.red? < 1399867589 106937 :hk3380!~test@90.214.229.65 JOIN :#esoteric < 1399867831 239261 :EgoBot!dlopen@libdl.so QUIT :Remote host closed the connection < 1399867887 954832 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1399867939 514179 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 240 seconds < 1399868009 783140 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1399868054 203388 :tromp!~tromp@ool-4575eb51.dyn.optonline.net JOIN :#esoteric < 1399868084 609137 :Gregor!~Gregor@libdl.so QUIT :Ping timeout: 240 seconds < 1399868160 759164 :EgoBot!dlopen@libdl.so QUIT :Ping timeout: 265 seconds < 1399868287 578067 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1399868335 699213 :Gregor!dlopen@libdl.so JOIN :#esoteric < 1399869060 347594 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399869824 700654 :hk3380!~test@90.214.229.65 QUIT :Ping timeout: 252 seconds < 1399870199 389952 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Quit: ZNC - http://znc.sourceforge.net < 1399870794 709329 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399871071 401014 :Slereah!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr JOIN :#esoteric < 1399871111 698826 :Slereah_!~jackal@bau91-h01-176-189-82-82.dsl.sta.abo.bbox.fr QUIT :Ping timeout: 252 seconds < 1399871287 649506 :password2!~password@197.78.157.100 JOIN :#esoteric < 1399872898 161320 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 245 seconds < 1399873552 821052 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399873720 947547 :madbr!boulam@69.165.212.148 QUIT :Quit: Rouringu de hajikunda! < 1399873867 396695 :tromp!~tromp@ool-4575eb51.dyn.optonline.net QUIT :Ping timeout: 252 seconds < 1399874344 758238 :password2!~password@197.78.157.100 QUIT :Ping timeout: 276 seconds < 1399874574 562968 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :FireFly: You can check for whether a cell belongs to you or the enemy < 1399874603 383331 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :You can scan the memory and bomb every location not belonging to you < 1399874842 334854 :jconn!~va@1-130.ipswich.cc.colocall.com JOIN :#esoteric < 1399874997 126894 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :and I see the 'C' instruction isn't documented < 1399875008 635231 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :It was intented to allow one to copy itself < 1399875766 67448 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1399876613 384333 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 258 seconds < 1399877534 695078 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399878540 329999 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1399878763 621002 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 240 seconds < 1399878765 501098 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: what's with the weird bolding in https://en.wikipedia.org/wiki/Booth_encoding < 1399878794 507506 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :looks like it took three edits to mess it up < 1399879391 757642 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1399879750 394737 :slereah_!~slereah@46.218.232.202 JOIN :#esoteric < 1399879757 250445 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :Hello is this where we learn about the magic < 1399880088 186999 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe JOIN :#esoteric < 1399882014 839459 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399882621 842131 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com PRIVMSG #esoteric :https://www.google.com/patents/US20030083544?dq=finding+love&hl=en&sa=X&ei=VqxuU52KKKLjsASNloCwBA&ved=0CDUQ6AEwAA < 1399883225 441927 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399883985 115814 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1399884138 419761 :Bike!~Glossina@75-175-77-18.ptld.qwest.net QUIT :Ping timeout: 265 seconds < 1399884683 823035 :drdanmaku!uid17782@gateway/web/irccloud.com/x-ddplcmixzakwibzk QUIT :Quit: Connection closed for inactivity < 1399884708 421480 :atslash!~atslash@46.72.76.109 JOIN :#esoteric < 1399885714 771379 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 240 seconds < 1399886139 638403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: someone was too bold while editing hth < 1399887972 449697 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399888777 94552 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :if spammers were to pay 1 cent to charity for every spam mail they send < 1399888781 421527 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :what a world we would live in... < 1399888886 944505 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :so far 10/10 agreed on re-return EOF and unbounded memory to the right < 1399889044 377496 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1399889196 603954 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :But spam is charity! < 1399889203 27584 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :So many are from poor countries < 1399889222 965450 :slereah_!~slereah@46.218.232.202 PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Spammer#Geographical_origins < 1399890037 412458 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 252 seconds < 1399890242 753248 :hk3380!~test@90.214.229.65 JOIN :#esoteric < 1399890531 33763 :KingOfKarlsruhe!~chatzilla@unaffiliated/kingofkarlsruhe QUIT :Read error: Connection timed out < 1399890974 422775 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399891075 669893 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 276 seconds < 1399891907 757342 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399892171 627360 :hk3380!~test@90.214.229.65 QUIT :Ping timeout: 255 seconds < 1399893160 441070 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Disconnected by services < 1399893160 588277 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399894619 600998 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399894772 19454 :TodPunk!Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Read error: No route to host < 1399894779 730157 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399894929 896108 :Tod-Autojoined!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399895092 655060 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Ping timeout: 276 seconds < 1399895105 288164 :edwardk_!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 258 seconds < 1399895247 409555 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399895255 372901 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1399895508 434109 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1399895527 343378 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 250 seconds < 1399895981 455804 :edwardk!~edwardk@pdpc/supporter/professional/edwardk JOIN :#esoteric < 1399896533 848536 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep < 1399896919 296012 :nucular!~MOO@p4FC7E3BF.dip0.t-ipconnect.de JOIN :#esoteric < 1399896919 485437 :nucular!~MOO@p4FC7E3BF.dip0.t-ipconnect.de QUIT :Changing host < 1399896919 485499 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1399897297 163006 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1399897419 162532 :mhi^!~mhi@5.28.109.84 JOIN :#esoteric < 1399897421 944783 :mhi^!~mhi@5.28.109.84 QUIT :Changing host < 1399897422 91276 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1399898783 125405 :Sorella!~queen@oftn/member/Sorella JOIN :#esoteric < 1399898969 319267 :edwardk!~edwardk@pdpc/supporter/professional/edwardk QUIT :Ping timeout: 264 seconds < 1399899034 780757 :tromp!~tromp@ool-4570a006.dyn.optonline.net JOIN :#esoteric < 1399900871 248698 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1399902262 258587 :nycs!~nycs@rrcs-24-39-141-128.nyc.biz.rr.com NICK :`^_^v < 1399902263 431368 :Patashu_!~Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1399903203 525929 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399903254 756464 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 240 seconds < 1399904236 645004 :hk3380!~test@natvip29.york.ac.uk JOIN :#esoteric < 1399904252 748108 :shikhin!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399904545 358689 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399904954 694156 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1399904959 853678 :password2!~password@197.78.157.100 JOIN :#esoteric < 1399905018 60734 :g2`!~g2@adsl-184-37-191-100.asm.bellsouth.net JOIN :#esoteric < 1399905044 302004 :g2`!~g2@adsl-184-37-191-100.asm.bellsouth.net PART :#esoteric < 1399905718 228770 :password2!~password@197.78.157.100 QUIT :Read error: Connection reset by peer < 1399906049 414846 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399906509 257894 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net JOIN :#esoteric < 1399906889 367043 :slereah_!~slereah@46.218.232.202 QUIT :Ping timeout: 264 seconds < 1399906943 688991 :slereah_!~slereah@46.218.232.202 JOIN :#esoteric < 1399907041 407366 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1399907059 757024 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1399907256 199066 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Read error: Connection reset by peer < 1399907435 708764 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1399907870 323288 :nucular!~MOO@unaffiliated/nucular QUIT :Ping timeout: 258 seconds < 1399908150 791920 :nucular!~MOO@unaffiliated/nucular JOIN :#esoteric < 1399908474 691370 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399908532 551192 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Client Quit < 1399909039 434502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: thx for fixing tdh < 1399909233 587759 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :exercise: write non-recursive factorial for Church numerals < 1399909313 663031 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :exercise: write non-recursive ackermann function for Chuch numerals < 1399909349 46222 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you sure that's possible? < 1399909384 51877 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's possible for it to be an exercise < 1399909386 890231 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :at least factorial is possible < 1399909440 395169 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the ackermann thing is instructive. < 1399909477 442772 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have a typographical hint: instead of ack(n,m), write ack_n(m). < 1399909515 441817 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :There's a slightly (very) cheaty way of doing this... < 1399909563 548638 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :int-e: good point. now it looks not only possible, but straightforward:) < 1399909897 314827 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :my best factorial is 78 bits < 1399910045 39461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the single-argument ackermann function is usually \n -> ack(n,n) < 1399910275 422499 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1399910308 590201 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so 54 bits for \n m -> Ack(n,m); 58 for \n -> Ack(n,n) < 1399910343 949692 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Remote host closed the connection < 1399910371 116891 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What language? < 1399910376 188184 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :blc < 1399910378 532041 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :binary lambda calculus < 1399910386 315026 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :OK < 1399910442 204602 :slereah_!~slereah@46.218.232.202 QUIT :Quit: Leaving < 1399910539 717137 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :hmm, i even have something about goodstein and ackerman on my home page at http://homepages.cwi.nl/~tromp/pearls.html#goodstein < 1399910705 489940 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 264 seconds < 1399910714 106415 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone JOIN :#esoteric < 1399910806 388309 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i,i frebled tromp < 1399911082 6738 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :47 bits for the Ackerman-like g i define there < 1399911124 455008 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is all this still non-recursive < 1399911138 301821 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes < 1399911174 550621 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but i doubt if the goodstein function can avoid recursion < 1399911298 372480 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :57 for factorial. < 1399911311 67914 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :cool < 1399911403 654040 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399911443 344600 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :mine is based on F cont succn facn = cont (succ succn) (succn * facn) < 1399911450 111521 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :what's yours based on? < 1399911584 48636 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's \n\f. n (\f\n. n (f (succ n))) (\_. f) 1 ... it operates on f^k, where k is 1, n, n*(n-1), n*(n-1)*(n-2) etc. < 1399911680 180826 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :oh.. < 1399911689 321532 :Bike!~Glossina@75-175-77-18.ptld.qwest.net JOIN :#esoteric < 1399911696 639802 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :At this point you might as well brute force it < 1399911758 251220 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Ping timeout: 240 seconds < 1399911914 63105 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :C++ good link < 1399911958 624928 :adu!~ajr@static-108-48-76-162.washdc.fios.verizon.net QUIT :Ping timeout: 240 seconds < 1399912459 851246 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :"Writing a BLC8 interpreter in Brainfuck, which would provide a matching upper bound in the other direction, is left as an exercise for die-hard Brainfuck programmers." ince < 1399912462 369259 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :nice* even < 1399912514 519680 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i dont expect anyone to ever take up that challenge:) < 1399912563 601316 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :it's gonna be so horridly slow that you'd have trouble checking that it works < 1399912597 793731 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :at least the direction i took is pretty efficient < 1399912645 839475 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :c2bf might be only a few patches away from being up to the task < 1399912688 507012 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :C is nearly as bad at memory management as brainfuck, however < 1399912729 564267 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :at least it has pointers < 1399912768 293898 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In fact I disagree completely with that statement. < 1399912821 445059 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :In Brainfuck you find yourself playing Hilbert's Hotel games all the time. That doesn't really happen in C. < 1399912906 386752 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :By C I mean the subset of C implemented by c2bf. < 1399912908 584701 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :("Oh I will put this data on cells divisible by 3, that data on cells with remainder 1 modulo 3, and the cells with remainder 2 modulo 3 will be mostly zero except for one or two bookmarks to guide my code") < 1399912924 455733 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm < 1399912951 25563 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :maybe you should call it c2bf-C < 1399913079 955301 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Apparently, c2bf has a "heap" stride but there is no malloc. It'll probably need to be implemented using inline assembly manipulating the heap. < 1399913117 701625 :AnotherTest!~turingcom@94-224-17-246.access.telenet.be JOIN :#esoteric < 1399913247 607398 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you can view the tape as 2-dimensional, with the ith row being cells 1*2^i,3*2^i,5*2^i ... < 1399913288 702086 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :i demand a hilbert space tapej < 1399913292 995166 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :each successive row being twice as spread out < 1399913819 728056 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :I demand a bf like language where +-,. are illegal on cells where |index| isn't prime . < 1399913914 802942 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :why a bf derivative? < 1399913930 537217 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Everything is a bf derivative . < 1399913960 375703 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :nortti: Doesn't have to be brainfuck < 1399913968 775867 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :but I'd wonder whether you could find your way to the next cell < 1399914074 579286 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :The number of reachable cells is limited by the size of the program < 1399914124 592039 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hm? < 1399914210 509616 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Not if you find an algorithm that searches for the next valid cell < 1399914232 867469 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :but how do you get there if +-,. are illegal? < 1399914243 964401 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :It cannot, because it cannot mark the cells on the way to the next valid cell < 1399914259 263316 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :isn't three-cell brainfuck turing-complete? so just use 235 for everything. < 1399914272 100192 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Bike: that assumes unbounded cells < 1399914377 610658 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@oeis 2,3,7,23,89,113 < 1399914378 306908 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Increasing gaps between primes (lower end): primes p(k) where p(k+1)-p(k) ex... < 1399914462 110268 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's easy to prove that arbitrary long gaps in the sequence of primes exist, just use the CRT to find some n such that n, n+1, ..., n+k are divisible by the first k+1 primes, respectively. < 1399914650 839275 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :sexy primes < 1399914699 52416 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399914869 737183 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> fix (\f ((p,g):ps) -> (p,g) : f (filter ((>g).snd) ps)) $ zipWith ((.)<$>(,)<*>subtract) <*> tail $ nubBy (((>1).).gcd) [2..] < 1399914873 489848 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1399914900 945292 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> take 10 $ fix (\f ((p,g):ps) -> (p,g) : f (filter ((>g).snd) ps)) $ zipWith ((.)<$>(,)<*>subtract) <*> tail $ nubBy (((>1).).gcd) [2..] < 1399914904 887017 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: Time limit exceeded < 1399914926 499186 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> take 10 $ fix (\f ((p,g):ps) -> (p,g) : f (filter ((>g).snd) ps)) $ zipWith ((.)<$>(,)<*>subtract) <*> tail $ nubBy (((>1).).gcd) [2..] < 1399914928 163948 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [(2,1),(3,2),(7,4),(23,6),(89,8),(113,14),(523,18),(887,20),(1129,22),(1327,... < 1399915104 807991 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :> map (text . printf "%.3f") $ zipWith (flip (/)) <*> tail $ [2,3,7,23,89,113,523,887,1129,1327,9551,15683,19609,31397,155921] < 1399915106 268739 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [1.500,2.333,3.286,3.870,1.270,4.628,1.696,1.273,1.175,7.197,1.642,1.250,1.6... < 1399915216 420792 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1399915217 984653 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​06cercoin 13yourchiewucoin 04smocoin 07cottscoin 08oisorcoin 09ncommecoin 02apfcoin 06cutercoin 13petropricoin 04musissivcoin 07brazhdcoin 08varspncumercoin 09bisc-x86coin 02kitcoin 06bradablecoin 13wordfuctusioncoin 04ihaxcoin 07glassendseemeditegrofrcoin 08kirstecoin 09skullacoin < 1399915225 727253 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@oeis 1,2,3,4,5,23 < 1399915227 329004 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Concatenation of the prime power factors (with maximal exponent) of n; a(1) ... < 1399915233 160219 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :really < 1399915241 865809 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@oeis 1,2,3,4,5,32 < 1399915243 520857 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Numbers that are the sum of at most 5 positive 5-th powers.[0,1,2,3,4,5,32,3... < 1399915244 355385 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :hahaha < 1399915249 629250 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :._. < 1399915260 785106 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@oeis 1,2,3,4,5,35 < 1399915262 107806 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Every base 6 digit of n is a base 10 digit of n.[1,2,3,4,5,35,123,154,215,33... < 1399915278 113745 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :This is almost silly < 1399915297 514757 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :this is the reason why people complain about "find the next number" puzzles < 1399915315 418791 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :@oeis 3,1,3,3,7 < 1399915320 236111 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 2^A000120(n)-1.[0,1,1,3,1,3,3,7,1,3,3,7,3,7,7,15,1,3,3,7,3,7,7,15,3,7,7,15,7... < 1399915339 818784 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :"1, 2, 3, 4, 5, x" "x = 6!" "don't be silly, x = 35" < 1399915347 447774 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Wow very much 1337 < 1399915353 298690 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah, why would x be 720? < 1399915358 611968 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@oeis 1,2,3,4,5,720 < 1399915359 763575 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sequence not found. < 1399915363 266513 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :phew. < 1399915372 386120 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :@oeis 8,6,7,5,3,0,9 < 1399915373 685376 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Decimal expansion of (7^(e - 1/e) - 9)*Pi^2, also known as Jenny's constant.... < 1399915375 408627 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :let's invent a sequence < 1399915434 543959 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :@oeis 14,23,28,33,42,51,59,68,77,86,96,103,110,116,125 < 1399915435 138967 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Numbered stops in Manhattan on the Lexington Avenue subway.[8,14,23,28,33,42... < 1399915437 266058 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 258 seconds < 1399915445 434632 :conehead_!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399915448 666609 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wait, what < 1399915449 448251 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Good sequence < 1399915452 926665 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@oeis 3,6,9,21,24,27,30,33,36,42 < 1399915453 664095 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Numbers n such that 2*n^2 + 1 is prime.[1,3,6,9,21,24,27,30,33,36,42,45,66,7... < 1399915519 499681 :conehead_!~conehead@unaffiliated/conehead NICK :conehead < 1399915531 786751 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :> map ord "Za" < 1399915533 35799 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [90,97] < 1399915544 59304 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :@oeis 88,89,90,97,98,99 < 1399915544 534618 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sequence not found. < 1399915556 696061 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::O < 1399915590 717465 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I'm actually surprised there isn't a sequence for [A-Za-z] < 1399915667 867208 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :@oeis 53,54,55,57,58,63,64 < 1399915668 297363 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sequence not found. < 1399915671 818401 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::O < 1399915693 789640 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :maybe it only lists infinite sequences < 1399915694 150638 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :@oeis 14,18,23,28,34,42 < 1399915694 950829 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Local stops on New York City Broadway line (IRT #1) subway.[14,18,23,28,34,4... < 1399915713 100446 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :the lexington avenue subway does not have an infinite number of stops < 1399915713 420852 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :wait, that does kind of contradicts the subway stuff < 1399915714 717223 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I hope "Numbered stops in Manhattan on Lexington Avenue subway" isn't infinite < 1399915722 930921 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :space-filling subway < 1399915724 928451 :myname!~myname@84.200.43.57 PRIVMSG #esoteric ::D < 1399915768 111218 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It's a long ride, as they say < 1399915816 913288 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :There are also the sequences that may or may not be infinite < 1399915832 173112 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://www.youtube.com/watch?v=aP1bvY7IqZY < 1399915903 443639 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :@oeis 2,3,5,7,13 < 1399915906 859076 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Mersenne exponents: primes p such that 2^p - 1 is prime. Then 2^p - 1 is cal... < 1399915984 14251 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :@oeis 1,4,9,15 < 1399915986 183732 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Triangle of Mahonian numbers T(n,k): coefficients in expansion of Product_{i... < 1399916055 571689 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@oeis 2,6,7,8,22,23,28,37 < 1399916056 214760 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sequence not found. < 1399916060 925117 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@oeis 2,5,7,8,22,23,28,37 < 1399916062 220901 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Numbers n such that 2*n^2 + 3 is prime.[0,1,2,5,7,8,22,23,28,37,40,43,47,50,... < 1399916078 703211 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :they must have a really large database < 1399916099 830399 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :well, yeah, it's been running for like a billion years too < 1399916124 795993 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :"over 220000 sequences" < 1399916126 919884 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. my brute force blc search only goes up to 38 bits (doing up to 1000 reductions on each term) < 1399916170 27770 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(38 is as far as it gets within an hour) < 1399916192 36589 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: leaving < 1399916233 370757 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Free time on the local cluster? < 1399916236 562979 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :the predecessor function (with 0 -> 0) is another hard one. < 1399916247 415229 :drdanmaku!uid17782@gateway/web/irccloud.com/x-zbshimtqinimfddj JOIN :#esoteric < 1399916280 578092 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(my best is 43 bits) < 1399916334 210564 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, i got 43 bits as well < 1399916380 7474 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i now got pictures of both pred and fac on my office wall < 1399916438 725440 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what are you talking about < 1399916469 729861 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :about lambda diagrams http://homepages.cwi.nl/~tromp/cl/diagrams.html < 1399916474 415874 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :binary lambda calculus. again. still. I don't know. < 1399916659 982458 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :@oeis 7,11,14,20,21,30,31 < 1399916660 647687 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Sequence not found. < 1399916716 410911 :Tod-Autojoined!~Tod@50-198-177-186-static.hfc.comcastbusiness.net QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1399916730 321274 :TodPunk!~Tod@50-198-177-186-static.hfc.comcastbusiness.net JOIN :#esoteric < 1399916818 312614 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :i don't get the K example < 1399916818 511198 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Wait, how many 38-bit blc programs are there? < 1399916839 664515 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Somewhere up to 2^32 < 1399916870 875898 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Oh, I thought int-e tested 2^38 programs in one hour. < 1399916881 27110 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :*38 < 1399916927 932420 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :I'd imagine a lot of them are invalid or don't terminate in a nasty way < 1399916928 80235 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :@oeis 0, 0, 0, 0, 1, 0, 1, 1, 2, 1, 6, 5, 13, 14, 37, 44, 101, 134, 298, 431, 883 < 1399916928 512751 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : The number of closed lambda calculus terms of size n, where size(lambda x.M)... < 1399916948 4098 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :https://oeis.org/A114852 < 1399916973 189875 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :38071898 of size exactly 38 < 1399916985 413439 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :See, less than 2^32 < 1399916998 33016 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :MUCH less < 1399917044 598365 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :okay, i start getting it < 1399917055 356962 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :hmmm, https://oeis.org/search?q=brainfuck&sort=&language=&go=Search < 1399917273 252158 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :right. 82811806 total. < 1399917273 671418 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :Hmm, I do have free time on a cluster < 1399917299 334376 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :waste of resources, one should first write a faster evaluator. < 1399917346 107413 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399917461 47200 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :the ultimate blc challenge is finding more bits of the halting probability omega < 1399917472 436920 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i've only managed the first 4 bits < 1399917490 711659 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :it requires deciding halting behaviour of many programs < 1399917524 744124 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 255 seconds < 1399917533 495098 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :only a finite number of omgae bits can ever be proven < 1399917551 394045 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :in a fixed, consistent logic < 1399917576 672348 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, more can be proven in inconsistent logic:) < 1399917594 383737 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :in fact such logic proves they're all < 1399917596 521660 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :in fact such logic proves they're all 0 < 1399917609 221474 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :and also all 1 < 1399917617 606543 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :tromp_: ooh < 1399917622 967440 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I remember when that was posted to /r/haskell < 1399917789 737782 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :can you say more about why only a finite number of bits can be proven? < 1399917820 945016 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :by a close analog of berry's paradox < 1399917851 486931 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :let's say you can enumerate theorems of the form K(x) >= n < 1399917877 981044 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :that give lower bounds on Kolmogorov complexity of finite strings < 1399917893 455519 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. I wonder which is the "best" memo library on hackage. (I'm using memotrie but only because that's the first usable one I found) < 1399917898 604994 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i.e. there is no blc program less than n bits that outputs x < 1399917941 792820 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :then you can write a short program that enumerates such theorems until it finds one with n >= N, and outputs the corresponding x < 1399918002 781647 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :this would show K(x) < logN + O(1), a contradition for large enough N < 1399918030 98186 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ah! neat < 1399918030 275708 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :so any consistent theory can only prove finitely many theorems of that form < 1399918070 630229 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :the argument for bits of omega is a little more technical < 1399918100 280352 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but basically, if you have the first n bits of omega, you can identify all x with K(x) <=n < 1399918116 357046 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :and thus also an x with K() > n < 1399918271 360025 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i like Data.MemoCombinators < 1399918388 748687 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :in fact i used that for the OEIS entry: https://oeis.org/A114852/a114852.hs.txt < 1399918454 9069 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but also for April 2014's Ponder This problem, where i needed to memoize a function on a bounded list of Integers < 1399918470 949999 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :eh, referring to memoization and dynamic programming asthe same thing... < 1399918533 844630 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :i'm disappointed that Memo.integral means integers and not, somehow, integration < 1399918628 574864 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :newest band name: Gigabit Bonghit < 1399918653 23025 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://gigabit.bonghit < 1399918718 981468 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :i clicked that, thinking it would lead somewhere < 1399918723 914291 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :thanks again, ICANN < 1399918727 588832 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :you can't tell anymore < 1399918728 570887 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1399918738 573438 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ICANN has cheezburger < 1399918816 868062 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Bike: Yes that confusion happens a lot. To be fair, memoization is a very common implementation strategy for dynamic programming. < 1399918889 488013 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :oh sure < 1399918923 269100 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :unrelatedly, does anyone else think it's funny when fib is used as an example for recursion and memoization, since you can do it way better with linalg < 1399918957 345953 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: what I like about memotrie (possibly because I came up with the same design at some point) is the split memo = untrie . trie, where 'trie' and 'untrie' give you access to the actual data structure used for memoization. < 1399918990 377160 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: (personally I call 'trie' 'populate' and 'untrie' 'loopkup', but that's just colors of a bikeshed) < 1399918997 179909 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :int-e: everyone came up with the same design at the same time, or so i hear < 1399918999 624869 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :*lookup < 1399919000 917844 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :i prefer salmon < 1399919031 710741 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :shachaf: not everyone; plenty of memoization libraries revolve around 'memo'. < 1399919067 622861 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :conal and luqui released their memoization libraries within hours of each other or something < 1399919111 68042 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run words --eng-1M 1000 | grep -o '\w*b' | sed 's/$/ong/' | sort | uniq | /usr/bin/paste -sd\ | head -n 20 < 1399919112 499218 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :bong hbong subong < 1399919133 573436 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :`run words --esolangs 1000 | grep -o '\w*b' | sed 's/$/ong/' | sort | uniq | head -n 20 | /usr/bin/paste -sd\ | rainwords < 1399919134 566197 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​09bong < 1399919138 324609 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Bike: I think it's a fine exemple for introducing the memoization concept. You want people to think about the structure of the computation rather than the actual computed values. < 1399919161 73419 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :yeah sure < 1399919172 426244 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :just for my understanding: in the K lambda diagram, one could have left out the upper half of the vertical bar? < 1399919186 637674 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :erm < 1399919189 730088 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :nvmd < 1399919195 665242 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :it's a good example for recursion too, i just imagine a million programmers using these implementations in actual programs < 1399919223 127569 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Bike: fortunately fibonacci numbers aren't all that useful in practice ;-) < 1399919241 120179 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :how rude! i have to simulate fuckbunnies all the time < 1399919244 756350 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :especially the larger ones where the linear algebra starts to pay off. < 1399919254 706131 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :But memofib is such algebraic, much compositional < 1399919345 954055 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :unlike linear algebra < 1399919730 698238 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :) mp < 1399919731 140216 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :FireFly: |value error: mp < 1399919813 447137 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fix ((0:) . scanl (+) 1) < 1399919814 991278 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... < 1399919816 814165 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399919873 876563 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what the hell is fix < 1399919884 710428 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :a fixed point combinator < 1399919892 851064 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ah < 1399919893 87047 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric ::t fix < 1399919893 965418 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric :(a -> a) -> a < 1399919914 830220 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :> fix error < 1399919916 21168 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... < 1399919959 729634 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(Sorry, that one is getting old.) < 1399920030 945481 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :> fix unsafeCoerce :: Int < 1399920032 146763 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Not in scope: ‘unsafeCoerce’ < 1399920056 144462 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :) mp =. +/ . * < 1399920056 768187 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :FireFly: |ok < 1399920064 695296 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :) <"2 mp^:(<10)~ 0 1,.1 1 < 1399920065 342335 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :FireFly: +---+---+---+---+---+----+-----+-----+-----+-----+ < 1399920065 489970 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :FireFly: |0 1|1 1|1 2|2 3|3 5|5 8| 8 13|13 21|21 34|34 55| < 1399920065 490053 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :FireFly: |1 1|1 2|2 3|3 5|5 8|8 13|13 21|21 34|34 55|55 89| < 1399920065 490091 :jconn!~va@1-130.ipswich.cc.colocall.com PRIVMSG #esoteric :FireFly: +---+---+---+---+---+----+-----+-----+-----+-----+ < 1399920081 23332 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :J <3 < 1399920150 973030 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :oh of course j, the language whose linenoisiness is only beated by teco < 1399920173 865895 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :at least it's ASCII < 1399920179 626262 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :what is teco? it sounds like i want to learn it < 1399920179 773668 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :unlike APL < 1399920182 252537 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :can you really say that in the land of haskell oneliners........... < 1399920187 952139 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :teco is the editor emacs is based on, or something < 1399920192 902058 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :emacs = editor macros (for teco) < 1399920199 480232 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :ew < 1399920211 193054 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :teco is like the esotericest esolang ever < 1399920224 505011 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :teco actually does not resemble emacs in normal use at all < 1399920225 990668 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I understand that it (emacs) wasn't based on Lisp at that time. < 1399920235 68029 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :and people used it seriously! < 1399920245 205372 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I used ed seriously < 1399920256 49669 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :That's not as weird < 1399920259 387039 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :int-e: yep, it was basically a screen editor written in a scripting language for another editor < 1399920282 49631 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(ok. a clone that was implemented in lpmud) < 1399920309 940340 :shikhout!~shikhin@unaffiliated/shikhin NICK :shikhin < 1399920367 603103 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :Actually that's about the fragment of vi that I know to use. I use emacs for larger edits. < 1399920388 879194 :myname!~myname@84.200.43.57 PRIVMSG #esoteric :so, emacs was written with an editor that was written in a language for a third editor? < 1399920397 794265 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(where s/vi/vim/ because I use the cursor keys) < 1399920438 975933 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :myname: no, it run on the teco editor's scripting language < 1399920449 426546 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :and how did we end up discussing text editors anyway ... such a loaded topic is best avoided on programming channels. :) < 1399920491 460925 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :there are things to avoid. politics, religion and text editors (or is that part of the second one?) < 1399920504 190137 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :or maybe the former < 1399920507 456709 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :or both < 1399920525 670553 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yes. < 1399920545 253625 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :it came up because nortti mentioned it, like, five minutes ago < 1399920559 995122 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :7 mins, actually < 1399920587 372622 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :/like/ < 1399920599 8298 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :no, I do not < 1399920606 761099 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :So, uh, thoughts on Unity? < 1399920615 287620 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :the DE? < 1399920617 264674 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :ACTION attempts to divert the channel to a less controversial topic < 1399920628 213852 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :yes < 1399920644 764017 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :terrible. literally the antichrist, foretold in the holy texts < 1399920657 168655 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :last I used it (12.04?) it was still kinda buggy but I could see how they could make it usable < 1399920677 446570 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :then again, I could more easily see how they could fuck it up completely < 1399920691 905793 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :I have not yet had the displeasure of using Unity, and I have no plans to change that. < 1399920702 651975 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :usability doesn't matter. it's perfect and it's evil < 1399920713 993954 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :why is it evil? < 1399920722 489895 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :once its market share has increased the goat shall release the third seal < 1399920809 317636 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :yay, DDG ranks the game engine before the desktop environment. < 1399920927 515221 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :probably ranks gnomes before gnome as well < 1399920966 706250 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :nope, gnome.org is the highest < 1399921186 603207 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :I am somewhat worried that I haven’t seen a serious project to provide a waylandish xmonad-alike yet. < 1399921202 285641 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :what, is xmonad that tied to x < 1399921222 785267 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :uh, in wayland the wm itself also does display server < 1399921232 498869 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I think most WMs are < 1399921241 647625 :Melvar!~melvar@dslb-092-072-186-068.pools.arcor-ip.net PRIVMSG #esoteric :What nortti said. < 1399921302 846134 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :ACTION wonders into how small space can be a complete wayland impl be fitted into < 1399921325 940461 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I'm a bit worried about that too.. I've been meaning to try out wayland, but I've gotten too used to tiling window managers to be comfortable with weston < 1399921566 389471 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399922002 103500 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :fungot: g'evening < 1399922002 348435 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :FireFly: i didn't mention that. i think there's my name in for a bit more < 1399922136 88221 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is also why i'd have a hard time switching to OS X < 1399922140 640792 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that and the dismal state of package management < 1399922339 304125 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :what is why? because fungot didn't mention that? < 1399922339 600711 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :Bike: eck, not for efficient programming :) < 1399922344 915173 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :yeah < 1399922408 389863 :conehead_!~conehead@unaffiliated/conehead JOIN :#esoteric < 1399922542 387440 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :perhaps fungot will fix my makefile < 1399922542 637839 :fungot!fis@eos.zem.fi PRIVMSG #esoteric :kmc: i'm building off of esr's pronouncements is highly questionable. < 1399922585 444367 :conehead!~conehead@unaffiliated/conehead QUIT :Ping timeout: 264 seconds < 1399922641 333828 :Bike!~Glossina@75-175-77-18.ptld.qwest.net PRIVMSG #esoteric :it is < 1399922667 456905 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :confirm < 1399923292 869811 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :they put quantum::superpositions in perl6 lol < 1399923309 127163 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Read error: Connection reset by peer < 1399923314 723605 :AnotherTest!~turingcom@94-224-17-246.access.telenet.be QUIT :Ping timeout: 240 seconds < 1399923321 136702 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Is that for the & and | (or whatever it was) operators? < 1399923330 74389 :fowl!~fowl@unaffiliated/fowlmouth PRIVMSG #esoteric :yea < 1399923337 715526 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399923363 116781 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I never really understood them < 1399923422 992599 :nortti!nortti@nano.smar.fi PRIVMSG #esoteric :were those the ones detailed in the talk about perl and physics? < 1399923575 64006 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I don't know, but they're explained in http://en.wikipedia.org/wiki/Perl6#Junctions < 1399924063 261519 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1399924109 717081 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Ping timeout: 252 seconds < 1399924197 742515 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net JOIN :#esoteric < 1399924595 755241 :mhi^!~mhi@unaffiliated/mhi/x-9993184 JOIN :#esoteric < 1399924747 349651 :Sprocklem!~sprocklem@unaffiliated/sprocklem JOIN :#esoteric < 1399925081 465645 :^v!~notnot^v@c-71-238-153-166.hsd1.mi.comcast.net QUIT :Quit: http://i.imgur.com/Akc6r.gif < 1399925251 354798 :tertu!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1399925776 397794 :tertu!~tertu@143.44.70.199 JOIN :#esoteric < 1399926110 795689 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 255 seconds < 1399926371 509558 :tertu!~tertu@143.44.70.199 QUIT :Disconnected by services < 1399926371 657302 :ter2!~tertu@37.sub-174-238-224.myvzw.com JOIN :#esoteric < 1399926687 432365 :nucular!~MOO@unaffiliated/nucular QUIT :Quit: Excess Food < 1399926914 358886 :Bike!~Glossina@75-175-77-18.ptld.qwest.net QUIT :Ping timeout: 258 seconds < 1399927011 430735 :Bike!~Glossina@71-222-58-113.ptld.qwest.net JOIN :#esoteric < 1399927741 354627 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1399927754 252209 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: would 0000101110110 = \\(0 2 1) ==> U(p,z) = <2,z> contribute to the halting probability or is it limited to closed terms? < 1399927858 155776 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1399927887 266387 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :impl<'sink, In, Out, Hold: TreeHandle, Sink: TreeSink> TreeBuilder<'sink, Sink> { < 1399927889 223090 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. < 1399927890 360017 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :B| < 1399927941 226722 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :kmc: what is that? < 1399927961 651877 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :a mess. < 1399927969 526857 :ter2!~tertu@37.sub-174-238-224.myvzw.com QUIT :Ping timeout: 276 seconds < 1399927978 661148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :is kmc making an esolang < 1399927997 684525 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Yeah, I think it's called "rust" < 1399928003 546637 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :that depends, is HTML parsing turing complete? < 1399928006 745442 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i'm not making Rust < 1399928008 859087 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :just using it < 1399928018 830183 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well I have a few patches in rust < 1399928027 706293 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :See < 1399928034 84106 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :Contributing to an esolang, then :P < 1399928038 188571 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric ::D < 1399928043 89653 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's less eso than C++ < 1399928046 762722 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: Oh. I see you're "only" requring the <_,z> context to be in normal form. that also answers my question then. < 1399928101 15170 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :hm I have 10 commits in rust, that's more than I thought < 1399928117 999313 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :several of them are in code that no longer exists < 1399928118 744473 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my wild guess is that standard html parsing is not tc but that html-that's-actually-used parsing is. < 1399928123 577620 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :two of them are fixing the same thing that broke twice < 1399928131 553646 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :oerjan: the idea of HTML5 is to unify those two things < 1399928179 6427 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good. < 1399928188 786541 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so probably uncomputable, then. < 1399928209 632512 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it's a precise spec for how to handle even very broken content, so that all browsers will do it the same way < 1399928222 771802 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :as a result it's stupifyingly complicated < 1399928382 745773 :monotone!~monotone@room208.org PRIVMSG #esoteric :The spec is really just taking the crazy way in which browsers have already been parsing broken HTML and formalizing it so that you can continue to write the same broken HTML in perpetuity. < 1399928405 879993 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :well, yes and no < 1399928406 315294 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: yw < 1399928414 296824 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :it specifies which constructs are considered broken < 1399928423 211513 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :conformance checkers will reject them, but their meaning is still specified < 1399928461 609583 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :int-e: yeah, the halting prob. definition is subtle. i believe the normal form requirement is necessary to allow identifying all programs that contribute to an omega prefix < 1399928478 332382 :MindlessDrone!~MindlessD@unaffiliated/mindlessdrone QUIT :Quit: MindlessDrone < 1399928497 947289 :monotone!~monotone@room208.org PRIVMSG #esoteric :Yeah, but that's not really different than how it's been previously. The upshot is that it still renders. < 1399928567 156301 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :IE6 somehow manages to parse tag-soup mess into where an element could have a child whose parent isn't the first element < 1399928580 823164 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :s/into where/so that/ < 1399928592 171773 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i don't want to have U(p:z) = in there either < 1399928681 485010 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au JOIN :#esoteric < 1399928700 186563 :monotone!~monotone@room208.org PRIVMSG #esoteric :The non-tree DOM, right? Looking at the graphs for those was "fun." < 1399928726 159566 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: Actually, why not? As long as it reaches that point without looking at the 'z' part ... hmm. Tricky. < 1399928761 642678 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :monotone: yeah, Hixie has some fun diagrams in an old blog post: http://ln.hixie.ch/?start=1037910467&count=1 < 1399928793 249364 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: Anyway it looks to me like you have no unique definition of \Omega. The BLC.pdf draft does not mention a normal form property at all, stating that you might just as well not have it. < 1399928802 396582 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : but i doubt if the goodstein function can avoid recursion <-- i wonder if the functions expressible in system F are the same as those that can be proved total in peano arithmetic, or something like that. < 1399928844 379337 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i want to be able to prove the famous symmetry of information thm < 1399928847 901902 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :oerjan: that excludes fix? < 1399928857 952403 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: yes < 1399928867 120281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :for this purpose, at least < 1399928880 891057 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :that paper has an obsolete definition:( < 1399928886 538326 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :which i shld update < 1399928913 493767 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :non-tree DOM? :( < 1399928924 253798 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :this is why we can't have nice things < 1399928949 450015 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I wonder how the HTML5 algorithm would parse that example.. < 1399928957 841663 :Sprocklem!~sprocklem@unaffiliated/sprocklem QUIT :Quit: Watching rugby < 1399928963 178043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :int-e: but importantly, it includes church numerals. < 1399928969 622543 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :to prove symmetry of information, you must be able to take any halting computation and see if the output is a pair starting with some given x < 1399928981 847300 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(forall a. (a -> a) -> a -> a) < 1399929007 203703 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: anyway, as I read it, 'z' would be a symbolic variable (to prevent the program from inspecting the input beyond the "consumed" part), but then z is also a normal form, so U(p:z) = would be allowed. < 1399929174 524215 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :no, z is not in NF < 1399929199 688392 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm no system F is stronger than that https://en.wikipedia.org/wiki/Second-order_arithmetic#Definable_functions_of_second-order_arithmetic < 1399929200 755069 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :NF should be closed terms < 1399929270 297832 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :that works. < 1399929325 922159 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :FireFly: http://www.whatwg.org/specs/web-apps/current-work/multipage/the-end.html#misnested-tags:-b-i-/b-/i < 1399929343 797087 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i've been meaning to rewrite that paper for ages:( always other stuff getting in the way < 1399929362 266822 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :right now i'm preoccupied both with cuckoo cycle and 8x8 connect-4 :( < 1399929377 572757 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :what are you doing with connect 4? < 1399929384 883067 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(is that standard? in first order term rewriting, free variables are everywhere (there's no way to bind them...)) < 1399929389 346754 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :trying to solve it < 1399929421 36312 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :so variables as normal forms are also everywhere. < 1399929424 495163 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :as in which player wins with optimal play? < 1399929441 862733 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :yes, kmc < 1399929446 98411 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :width 8 ... oh that would upset my intuition about the game a lot. < 1399929456 317121 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how are you going about it? < 1399929467 715279 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :i should edit that article to make explicit what that i mean closed normal forms, int-e < 1399929516 443280 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :kmc: hm, that seems to match the Mozilla behaviour from 2002 < 1399929526 431872 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :well, i have a solver that works some dozen plies into the game < 1399929537 267167 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :kmc: you should see http://homepages.cwi.nl/~tromp/c4/c4.html < 1399929538 6556 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :the element cloning is a bit bizarre, but it's invalid to begin with so I guess it doesn't matter too much < 1399929543 659245 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :now i need to play lots of games and build an opening library < 1399929595 188334 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: the last link + the first parentheses in https://en.wikipedia.org/wiki/Goodstein%27s_theorem would seem to imply that the goodstein function _can_ be expressed in system F. < 1399929607 708822 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*that last link < 1399929754 165318 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :you mean "The Power of a Detour via Infinity", oerjan? < 1399929777 54210 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no, i mean _my_ last link https://en.wikipedia.org/wiki/Second-order_arithmetic#Definable_functions_of_second-order_arithmetic < 1399929838 450232 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i realized my sentence was ambiguous and that's why i changed to "that" < 1399929882 808125 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :hmm, how does definability in system F related to definability without recursion? is that equivalent? < 1399929895 827316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :system F has no recursion < 1399929912 424925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's rank-N typed lambda calculus < 1399929999 875443 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :ic. so i should be able to redefine my function g without using haskell's recursion < 1399930026 898205 :tromp_!~tromp@rtc35-154.rentec.com PRIVMSG #esoteric :but it may not be pretty:-( < 1399930045 429758 :Patashu!Patashu@c27-253-115-204.carlnfd2.nsw.optusnet.com.au QUIT :Ping timeout: 265 seconds < 1399930076 707608 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :tromp_: the church numeral thing should JUST WORK, if you give church numerals the right type (forall a. (a -> a) -> a -> a) < 1399930084 910538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'd sort of expect you'd need to represent ordinals. < 1399930120 481509 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes, another property of system F is that you can _define_ church numerals as the terms of that type < 1399930161 209645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :this also works for church representations of many other data types < 1399930290 919456 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :e.g. the only system F terms of type forall a. a -> a -> a are the church booleans < 1399930367 377178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :system F is the original system with parametricity, and unlike haskell's version there are no subtle caveats for when it applies. < 1399930402 188623 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :which subtle caveats < 1399930407 840775 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :bottoms and seq < 1399930438 470562 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@let scow = seq < 1399930440 340137 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : Defined. < 1399930649 857892 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://s.cow < 1399930665 251280 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :https://cow < 1399930692 307252 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tromp_: btw if the implementation of g in system F depends heavily on higher rank types, then it's likely you may need explicit type annotations to make it compile as haskell. < 1399930709 387358 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com QUIT :Ping timeout: 258 seconds < 1399930714 885448 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(with ghc's rank-n extension) < 1399930757 425435 :Bike!~Glossina@71-222-58-113.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1399930784 752911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :because haskell's type inference only infers rank-2 types with all foralls outermost. < 1399930796 345899 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :um < 1399930827 73597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm not sure if that is considered rank-2 < 1399930862 849937 :Bike!~Glossina@75-175-75-106.ptld.qwest.net JOIN :#esoteric < 1399930868 599056 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ghc doesn't infer rankine types hth < 1399930943 727549 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`frink 100 rankine -> kelvin < 1399930948 853180 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :Warning: undefined symbol "rankine". \ Warning: undefined symbol "rankine". \ Unconvertable expression: \ 100 rankine (undefined symbol) -> 1 K (temperature) < 1399930958 261538 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :darn < 1399930980 625841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :apparently frink doesn't support them at all < 1399930985 92201 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :even with explicit annotations < 1399930990 347905 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shocking < 1399931069 317960 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover QUIT :Ping timeout: 250 seconds < 1399931548 77642 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :I didn't even know about it. Is it actually used for anything? < 1399931554 256172 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :It seems like a terrible scale < 1399931645 639486 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think a lot of engineering in the US is still done with ye olde units < 1399931685 438128 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION wonders if BART gauge is 1676 mm or 5'6" < 1399931802 234310 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :a difference of 400 microns < 1399931840 394724 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :100 microns sounds much smaller than 0.1 mm < 1399931845 568290 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Isn't that less than the error caused by heat fluctuations? < 1399931846 391914 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover JOIN :#esoteric < 1399931851 618018 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: probably < 1399931877 833098 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : it's easy to prove that arbitrary long gaps in the sequence of primes exist, just use the CRT [...] <-- n! + i, i = 2..n hth < 1399932190 897721 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :true < 1399932413 714444 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :Taneb: hm, no, I think it's about an order of magnitude larger < 1399932450 729638 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric ::( < 1399932457 805041 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :steel expands by a factor of 13e-6 / °C; record temperature range in SF is 43 °C < 1399932484 86261 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :What's really scary is the age of my university is of the same order of magnitude as my age < 1399932496 62676 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :top of a rail is about 7 cm < 1399932503 268129 :HackEgo!~HackEgo@162.248.166.242 QUIT :Remote host closed the connection < 1399932513 788949 :HackEgo!~HackEgo@162.248.166.242 JOIN :#esoteric < 1399932518 353034 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :which comes out to about 40 microns < 1399932524 216917 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 7 * 43 * 13e-6 < 1399932525 530351 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.913e-3 < 1399932533 741378 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 0.01 * 7 * 43 * 13e-6 < 1399932535 259141 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : 3.913e-5 < 1399932604 919604 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :> 3.913e+1 < 1399932606 550704 :lambdabot!~lambdabot@silicon.int-e.eu PRIVMSG #esoteric : mueval-core: L.hs: removeLink: does not exist (No such file or directory) < 1399932610 26121 :Taneb!~Taneb@runciman.hacksoc.org PRIVMSG #esoteric :Yeah < 1399932703 437721 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :hmm. < 1399932718 361629 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :Munkkikorppikotka. < 1399932753 376981 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :(this reminds me that I don't know for certain why this happens. mueval copies that file to /tmp, but can several muevals run concurrently?) < 1399932837 447919 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :hmm, it copies L.hs to /tmp/L.hs? < 1399932891 71179 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Thermal_expansion#Examples_and_applications "Thermal expansion of long continuous sections of rail tracks is the driving force for rail buckling. This phenomenon resulted in 190 train derailments during 1998–2002 in the US alone." < 1399932916 786224 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :i think that's buckling because it gets longer, not thicker < 1399932921 581764 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :olsner: sadly, yes. that's where it puts the temporary haskell file to be loaded, and it doesn't set an include path in ghci < 1399932940 269624 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :where by ghci I mean ghc-as-a-library. < 1399933096 73566 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :then I assume/hope that only one evaluation can be running at a time? < 1399933135 705025 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :is it lambdabot that copies the file and runs mueval on it, or is that in mueval? < 1399933137 436604 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :00:10:06 mueval-core: L.hs: removeLink: does not exist (No such file or directory) <-- this is evidence to the contrary < 1399933144 878732 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :it's mueval < 1399933191 714212 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :which should probably create a temprary subdirectory in /tmp each time instead. < 1399933212 695498 :int-e!~noone@static.88-198-179-137.clients.your-server.de PRIVMSG #esoteric :just to avoid this problem. oh well. < 1399933313 429808 :impomatic!~digital_w@43.16.208.46.dyn.plus.net QUIT :Ping timeout: 264 seconds < 1399933603 329378 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 240 seconds < 1399934149 419210 :impomatic!~digital_w@43.16.208.46.dyn.plus.net JOIN :#esoteric < 1399934179 70781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :via agora http://www.loweringthebar.net/2014/05/sign-installer-cited.html < 1399934643 313048 :Eritzap!574032db@gateway/web/freenode/ip.87.64.50.219 JOIN :#esoteric < 1399934746 267647 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net JOIN :#esoteric < 1399934885 618800 :Eritzap!574032db@gateway/web/freenode/ip.87.64.50.219 QUIT :Client Quit < 1399935126 727970 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Who's kumool < 1399935135 457997 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Maybe not part of here < 1399935178 803405 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :`coins < 1399935180 495737 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :​13papacoin 04flumpezzycoin 07vergenigmationcoin 08dupcoin 09earenamcoin 02percoin 06regxcoin 13fullcoin 04adedcoin 07andomcoin 08carcoin 09closuricoin 02inctcoin 06funandcoin 13voltacoin 04bearecoin 07ozakcoin 08numpcoin 09brbcoin 02acrcoin < 1399935193 842375 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :I think we've seen dupcoin before. < 1399935220 693639 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: wat? < 1399935225 432049 :nooodl!~nooodl@51.152-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1399935240 945603 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: might be a duplicate. < 1399935270 557910 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i also have a hunch we'll see brbcoin again < 1399935300 293195 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :oerjan: someone in tcl said < 1399935310 733016 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :"wow Sgeo i find an interesting language and you are already in channel" < 1399935551 304006 :augur!~augur@216-164-48-148.c3-0.slvr-ubr1.lnh-slvr.md.cable.rcn.com JOIN :#esoteric < 1399935565 794922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :spoooky < 1399935594 744408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: are you in all the language channels twh < 1399935619 482506 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :No, but I'm in a lot of them < 1399935704 517800 :yorick!~yorick@oftn/member/yorick QUIT :Read error: Connection reset by peer < 1399935739 949383 :mhi^!~mhi@unaffiliated/mhi/x-9993184 QUIT :Quit: Lost terminal < 1399935748 301586 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Java, Prolog... actually, seem to be banned from ##prolog :(, Ada, Agda, Atomo, Atomy, Chicken, Clojure, Concatenative (Factor etc.), Dylan, Elixir, Erlang, Guile, Haskell and some associated channels, Idris, Lisp (CL), Pharo, Smalltalk, Racket, Red-lang, Retro, Scala, Scheme, Self-lang, sgeolang, Tcl < 1399935771 24011 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :how did you get banned from ##prolog < 1399935772 517984 :Bike!~Glossina@75-175-75-106.ptld.qwest.net PRIVMSG #esoteric :haha how do you get banned < 1399935785 436257 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :was the ban message "No."? < 1399935817 685971 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: nah they just cut him off < 1399935824 99274 :kmc!~keegan@ec2-50-17-127-187.compute-1.amazonaws.com PRIVMSG #esoteric :-_- < 1399936245 159975 :impomatic!~digital_w@43.16.208.46.dyn.plus.net PRIVMSG #esoteric :ACTION notes that Sgeo isn't in Forth, Oberon or Pascal :-P < 1399936306 893160 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa, a language channel that banned Sgeo? < 1399936316 835166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i must investigate this < 1399936334 815992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :##prolog: ban *!*@*.dyn.optonline.net < 1399936345 708828 :Bike!~Glossina@75-175-75-106.ptld.qwest.net PRIVMSG #esoteric :oh. < 1399936347 969060 :Bike!~Glossina@75-175-75-106.ptld.qwest.net PRIVMSG #esoteric :boring. < 1399936358 882833 :HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :[wiki] 14[[07Special:Log/delete14]]4 delete10 02 5* 03Ehird 5* 10deleted "[[02Sngscsv10]]": content was: "todo" (and the only contributor was "[[Special:Contributions/Dggh|Dggh]]"); possibly spam? feel free to recreate when there's more content < 1399936363 458478 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1399936401 564495 :Sgeo!~quassel@ool-44c2df0c.dyn.optonline.net PRIVMSG #esoteric :Why block an entire ISP? :( < 1399936447 793593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :internet scow provider < 1399936584 781078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: if there's an ip-changing troll from there... < 1399936619 402943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(also, i hear cloaks exist.) < 1399936644 333336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually, do they help against that... < 1399936684 97033 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1399937305 355578 :tertu3!~tertu@143.44.70.199 JOIN :#esoteric < 1399937517 162911 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399937724 353632 :tertu3!~tertu@143.44.70.199 QUIT :Ping timeout: 258 seconds < 1399938567 74696 :ter2!~tertu@143.44.70.199 QUIT :Read error: Connection reset by peer < 1399938589 660404 :ter2!~tertu@143.44.70.199 JOIN :#esoteric < 1399938958 605226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : (ok. a clone that was implemented in lpmud) <-- ooh me to < 1399938969 181648 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also i learned lpc before real c < 1399938984 384107 :shikhout!~shikhin@unaffiliated/shikhin JOIN :#esoteric < 1399939017 525525 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that lpmud ed may be the reason i ended up a vim user < 1399939180 475476 :shikhin!~shikhin@unaffiliated/shikhin QUIT :Ping timeout: 265 seconds