< 1374368009 150020 :JesseH!~JesseH@ip72-210-71-131.mc.at.cox.net PRIVMSG #esoteric :What is a soul? < 1374368035 699288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Dead_Souls hth < 1374368727 232331 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1374368793 151740 :Tod-Autojoined!~Tod@50-198-177-185-static.hfc.comcastbusiness.net QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1374369050 371497 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1374369281 943213 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://www.kboing.com.br/fotos/imagens/49945052a453d.jpg < 1374369846 743360 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374370006 704016 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net JOIN :#esoteric < 1374370140 363234 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The other day I heard a radio commercial about people who "disguise learning as fun". < 1374370151 309449 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's a sad phrase. < 1374371300 330132 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1374372121 176811 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :They should have disguised that message better. < 1374373683 250188 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1374373696 750615 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374374261 702661 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1374374297 320608 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374374602 573856 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Remote host closed the connection < 1374374867 270923 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374375676 41270 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1374375714 100902 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why do VCRs newer than some certain date cannot record in LP speed? < 1374375762 690537 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :what the hell is a vcr < 1374375830 909951 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1374375851 430243 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have a VHS/DVD combination, which can record all speeds on DVD but on VHS it won't record LP (but it does support the non-standard VP speed). < 1374376079 560998 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Why would you use VHS? < 1374376147 291356 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Some movies we have are on VHS. Also, I use it when I want to record a TV show that I don't need to keep. (If I want to keep the recording, DVD can be used instead.) < 1374376308 823444 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :...get a DVR < 1374376334 61061 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :That's the thing normal people use for recording TV shows these days. < 1374376373 554517 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, I use VCR. < 1374376417 191099 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :Why < 1374376438 791345 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Lumpio-: You're asking a guy who runs a gopher daemon. < 1374376440 963330 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :It's harder and slower to use and has worse image quality. < 1374376449 961106 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :pikhq_: Yes but he usually has some sort of reasoning for things < 1374376456 801657 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Mmm, true. < 1374376514 751991 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The image quality is good enough, although mainly this is we already have VCR/DVD so it can be used. If the recording needs to be permanent, then I will use DVD instead. < 1374376533 539508 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi PRIVMSG #esoteric :You just ignored the two other things! < 1374376583 871738 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, it is fast enough, and it isn't harder. Especially this VCR has jet rewind, so it is faster than the other VCR anyways. < 1374376618 21543 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Shame you can't get D-VHS equipment reasonably. < 1374376761 31760 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Though i suppose with Bluray it's irrelevant now. < 1374376849 781759 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, what I have is good enough. Still, I don't know why they stopped making VCRs that record in LP speed (although for most shows SP is good enough, and we rarely need to record more than one show on a tape at once; it can just be recorded over). It can help though to have LP in case you want to record several TV shows while you are gone and don't want to reduce the quality too much to EP (unless there are enough shows that EP would be better any < 1374376868 11929 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Though amusingly it'd not be if HD-DVD had won. < 1374376883 482701 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :(D-VHS had a higher bitrate than HD-DVD? Seriously?) < 1374377173 373805 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I didn't know that. < 1374377319 733001 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Yeah. D-VHS had an absurdly high 30Mbps rate. < 1374377474 402176 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How can you add index marks to existing recordings in VHS tapes? < 1374377493 693870 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :pikhq_: what codec? < 1374377502 514273 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :kmc: MPEG-2, unfortunately. < 1374377520 252112 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :So HD-DVD *could* look better than it. Though it could *not*. < 1374377549 362934 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :At least MPEG-2 is halfway tolerable at that rate? < 1374377577 592258 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :(note, for 1080i and 1080p24 content. Obviously it's overkill at 480i) < 1374377585 122409 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you like "Worse-Is-Better" software design? < 1374377592 672905 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like worse is worse < 1374377606 867347 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Personally, I just believe less is less. < 1374377620 592771 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :worse isn't better. worse is better than better < 1374377637 533665 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i believe that features I need are "pragmatic" while features you need are "bloat" < 1374377649 443173 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :I believe my stomach is bloated. < 1374377650 694006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :perhaps worse is better up to isomorphism < 1374377676 683343 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: What software design is that? < 1374377684 613314 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :best < 1374377700 242272 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Biggest software is best software? < 1374377712 487939 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the software that can be good is not the true software < 1374377862 672878 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: oh, did you read that book < 1374377943 243141 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1374377946 764816 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the one you lent me? no I didn't start yet :( < 1374378170 353357 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :sure, you SAY you want a nervou system, but that's just bloat. My sponges have differing behavior without a nervous system, without bloat < 1374378474 198018 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1374378485 473874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it talks about the tao etc. < 1374378488 214461 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe you guessed < 1374378490 234347 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :from the title < 1374378490 434776 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1374378580 953947 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: do you need drugz to learn higher category theory < 1374378610 93688 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't know any higher category theory < 1374378614 454271 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so I cannot speak of this < 1374378655 844374 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i hear amphetamines help w/ math < 1374378671 793357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: only mathamphetamines do that hth < 1374378672 494738 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think erdős was p. upset that people drew this conclusion < 1374378682 887134 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :Really? < 1374378709 624883 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :anyway it was just a drugz joke < 1374378715 108274 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is the joke 'higher' < 1374378719 54338 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes < 1374378720 743867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's all < 1374378727 64712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like left adjoint and forgetful functor < 1374378729 223613 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1374378730 204020 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :we need some more in-depth drugz jokes, i feel < 1374378737 484166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i have a ""limited vocabulary"" that intersects drugz and categories < 1374378741 484040 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :they're getting samey, in that they are all the same < 1374378742 984138 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :given that i don't know much about either one < 1374378753 533667 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i got a vaporizer today http://www.ploom.com/pax < 1374378827 263706 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :black anodized aluminum shell, "Designed in San Francisco" etched on the back, clearly trying to be Apple < 1374378832 324648 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i honestly have no idea why someone would need this < 1374378835 395952 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also it has easter eggs: http://vaporpedia.com/wiki/Pax#Party_Mode < 1374378837 323863 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i'm great at drugz < 1374378858 804035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: you should help me come up with more categoriez/drugz jokez < 1374378864 764820 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it vaporizes the active ingredients from tobaccy (or wacky tobaccy) w/o burning the plant material < 1374378864 984567 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :wow you can use it in your car < 1374378900 784302 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :so it's a lot healthier and produces basically no smell, definitely not the awful lingering smoke smell < 1374378909 234585 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :oh good i hate that smell < 1374378931 106637 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you can use it in your car / you can use it in a bar / you can smoke it in your house / you can smoke it with your spouse < 1374378936 555406 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1374378937 817816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm maybe it's not actually smoking < 1374378944 14577 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :vaping < 1374378946 14713 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1374378948 516763 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :vapong < 1374378957 654868 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :apparently one of the big vape user forums is http://fuckcombustion.com/ < 1374378983 314405 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :To activate: Hold it horizontally in front of you and roll it towards you like 3 times. < 1374378990 204597 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i thought this was a wikipedia page at first < 1374378998 254402 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sadly not < 1374379088 384528 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i like combustion :( < 1374379092 814286 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i mean, not with drugz. just in general. < 1374379104 474756 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :do you like drugz < 1374379138 465780 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I like my "vaporator". it dispenses albuterol sulfate <.< < 1374379160 394692 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :that sounds pretty hardcore < 1374379165 424951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is an electronic version called an "evaporator" < 1374379369 405699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Oh, can I review Pointless now? < 1374379400 164854 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes you can be the first!! < 1374379408 385149 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :https://plus.google.com/115755278795768575583/about < 1374379459 585448 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :it's a realtor called pointless topology? < 1374379463 684957 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :why is it a "Vacation Home Rental Agency" < 1374379470 945225 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fucked if i know < 1374379489 568394 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: it's my house, which decided to register itself as a business for some reason < 1374379496 235121 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :sweet < 1374379498 525102 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :do you get a paycheck < 1374379502 675349 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1374379507 221974 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: should i suggest to change it to something < 1374379509 465744 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :can I buy shares in kmc's house < 1374379511 965712 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe "Housing Cooperative" < 1374379517 775201 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://pointlesstopology.com/ look how legit we are < 1374379519 725171 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :there's no "Housing Coöperative" suggestion < 1374379538 255289 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the use of twitter bootstrap alone should be worth a $2M seed round < 1374379546 978505 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oops, it wants me to sign in. < 1374379578 455862 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm, maybe a housing coöperative is something else < 1374379605 717115 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :actually maybe https://en.wikipedia.org/wiki/Housing_cooperative is ok < 1374379620 306144 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i've known of other places that are also "n friends living in a house" but actually incorporated and have house bank accounts and a credit card < 1374379634 77256 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :we just buy things individually and then get reimbursed through an accounting system based on a perl script and a makefile < 1374379693 938232 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 246 seconds < 1374379699 776747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I submitted a request to change it to "Housing Coöperative" < 1374379712 938485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Google kept trying to take my ¨ away but I think I managed to submit it. < 1374379722 917006 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good < 1374379726 25427 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thanxs < 1374379730 471519 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374379741 178603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ur wellcome < 1374379831 308797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :who reviews these things < 1374379893 786436 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe i should suggest Working Hours too!! < 1374380044 938620 :TeruFSX!~TeruFSX@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374380072 708756 :TeruFSX!~TeruFSX@65-128-181-81.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1374380090 208119 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374380397 328083 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How do you make ephemeris program including rotation of Pluto and the other planets of the solar system? Swiss Ephemeris has only the rotation of the Earth, but I want to have the rotation of the other planets too (and of Pluto, which is now properly considered a dwarf planet, but it is still an object in the solar system regardless of what it is called), and possibly even the objects beyond Pluto. < 1374380422 716733 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :what about asteroids < 1374380500 477048 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't need those for what I am doing, but it would be good for such ephemeris to have asteroids too, so that it can be used for other purposes too. < 1374380524 419000 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :hey, i have a paper on what THC does to your head. neat < 1374380586 835332 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :"There is not a single, elementary manifestation of mental illness that cannot be found in the mental changes caused by hashish..." < 1374380987 197954 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I did remove the extra comma by now. < 1374381021 120596 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I think I have read somewhere that someone once removed an extra comma to avoid someone being thrown in prison, or something like that. < 1374381364 368445 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i like how there's an entire class of important endogenuous chemical signals that are called "endocannabinoids" because THC and CBD happen to resemble them enough that a plant can get people high < 1374381428 355808 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Are you going to make udis86 bindings? < 1374381433 234831 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo you should do it hth < 1374381590 681115 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 252 seconds < 1374381706 495517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :JavaScriptCore uses a conservative GC right now too? < 1374381716 176301 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION is surprised so many things do.
< 1374381749 108885 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i wonder what a liberal GC would be like. data just disappearing everywhere < 1374381794 109243 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Er, not JavaScriptCore. I mean SpiderMonkey. < 1374382466 890213 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :communist GC < 1374382526 690417 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :every object gets the same amount of memory < 1374382540 31932 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :if it uses more memory than is allocated to it, it gets "garbage collected" < 1374382578 92867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :from each object according to its ability, etc. < 1374382599 130901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/,// < 1374382697 972348 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :hey kmc do you have any personal reports on the effects of thc on memory < 1374382745 904358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :he used to, but then he was left adjoint by a forgetful functor < 1374382750 494720 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :darn < 1374382752 354103 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(you can't blame him -- it was free) < 1374383593 120273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what shachaf said < 1374383735 396584 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :k < 1374384275 310759 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 JOIN :#esoteric < 1374384385 336849 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 248 seconds < 1374384453 223542 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Must a machine be able to output any bit string in order to be Turing Complete, or will some subset suffice? I'm considering de Bruijn encoding of closed lambda expressions, where not all bit strings will be able to be generated. < 1374384512 696140 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i don't see why you'd need all of them. you could have a machine that outputs a bunch of zeroes and then the usual, say < 1374384568 880412 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :You mean to say that as long as their is some kind of mapping between the subset of bit strings that can be output and all the possible bit strings, it can be Turing Complete? < 1374384578 343007 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :yeah, i think so. < 1374384604 443660 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :well, i don't know. naturals map to computable bitstrings i suppose, so that's useless < 1374384631 863727 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Are there any restrictions on what that mapping is? I feel like you could cheat by making the mapping function itself Turing Complete < 1374384648 232953 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the mapping should be computable < 1374384664 306547 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i'm not sure about "output" either honestly, i mean classic UTMs just have a final tape state < 1374384693 833455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the only output you really need is "halt" or "not halt" < 1374384758 84954 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Regarding de Bruijn encodings of lambda expressions, it is possible to count the encodings in sorted order, and construct a table which maps the encodings to their index, where the index is a natural number or bit string < 1374384817 447423 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :just do the usual i guess, have a machine that takes a description of a BCT program or whatever and returns a church encoding of a result, and call it good < 1374384828 623246 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :elliott, is that true? I haven't heard that before. < 1374384872 804327 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Bike, I'm not sure I follow that. I know what church numerals are though < 1374384894 445290 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :ChrisW: i mean, the usual "it can do this turing machine thing, so it's turing complete". < 1374384901 923627 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :bct = bitwise cyclic tag, but you could use anything < 1374384923 474651 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :as for halt/not halt, basically you just need to be able to have partially computable functions, which, well, either halt or don't < 1374385019 36989 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :plenty of formalisms don't hve, like, "output", such as lambda calculus which just term rewrites, and that rewriting either has a normal form or doesn't < 1374385034 85894 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Simulate BCT in order to prove Turing Completeness? I'm pretty sure Jot is Turing Complete, but I'm just wondering how to translate the resulting lambda expression into any possible bit string < 1374385058 848305 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Yes, lambda calculus is exactly what I'm using < 1374385062 154916 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :why bother doing that < 1374385078 343423 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :The input is a bit string, and I would like the output to be a bit string as well < 1374385081 425585 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :lambda calculus doesn't "output" and has no bit strings at all and there's no doubt bout it being turing complete, see < 1374385127 15960 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Couldn't you convert the resulting expression into a bit string using de Bruijn encoding to produce "output"? < 1374385130 110941 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :if you want to be able to output any bit string you could just define the map from encoded lambda expressions to naturals, nothing wrong with that < 1374385142 624315 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :yeah, but what's the point of calling that "output" < 1374385152 91875 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :you could also say it "outputs" the unencoded text < 1374385181 664655 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Ok, thanks. By unencoded text you mean the lambda expression? < 1374385185 54442 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :yeah < 1374385211 113921 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :I simply find it nice and symmetric to output the same form of data as the input, that is binary < 1374385226 264138 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :suit yourself. i'd just do the coding then. < 1374385242 124474 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :mapping to the naturals allows any bitstring, obviously < 1374385260 784162 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Are you familiar with Jot? Every possible bit string is a valid program. < 1374385273 697214 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1374385274 727062 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Yeah, that's probably the only way to do it < 1374385304 779320 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :not familiar with jot, sorry < 1374385366 904292 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :but since partial computable functions are enumerable you could define any formalism like that by having an encode natural to program step first < 1374385451 955033 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :there's certainly no notion of "bitstrings" in the old style math; i mean, turing machines can have N states, not just 2, obviously < 1374385470 364926 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :binary just happens to work "pretty well" with electromechanics < 1374385492 511555 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Ah, basically it converts all "1"s into the terms "S K" and all "0"s into precedence operators for application. For example, "101" translates to "S K (S K)". Interestingly, the S and K combinators individually can be constructed using the bit strings "11111000" and "11100" respectively, which essentially proves Turing Completeness right there. < 1374385510 135967 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :What exactly is a partial computable function? < 1374385562 526260 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :sounds like you could use some basic computability class, lemme see if i can find something nice < 1374385613 27002 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :basically, a partial computable function is something a turing machine can do; or something µ-recursive; or a lambda expression; or any number of things like that < 1374385640 990259 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :intuitively you can think of it s something an idealized computer can do, i guess, you already have some idea of that < 1374385655 219204 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :and that includes not halting, which is what the "partial" is for; a total computable function "always halts" < 1374385682 24749 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :oh I see < 1374385682 288722 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1374385711 165347 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374385782 111743 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :unfortunately i mostly learned computability from wikipedia and dicking around, but "Kolmogorov Complexity and Applications" had a pretty nice review; i could dig through it's bibliography for something dedicated if you want < 1374385801 177128 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :you probably don't need much if you already understand how SK works and all. < 1374385812 465285 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :and de bruijn encoding and all these other things. sorry if i'm bugging you, on that note < 1374385930 995828 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :I'm not sure if I'm equipped to understand most of that. And really all I want to do is write some nifty Jot programs like a Fibonacci generator perhaps. I wrote an interpreter for Jot in Python, and I have been working on some code which converts Python's internal lambda structures into strings like (\ab.a (b a)) < 1374385995 515530 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :hopefully "all of that" is equipment for helping you understand :) < 1374386133 498680 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :heh, I say that because I only started learning about lambda calculus a week ago, and scraping the Internet for this stuff isn't as easy as I thought it would be < 1374386167 366500 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :do you want some recommendations for computability / complexity theory books < 1374386230 521709 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :I'm not sure how deep into this stuff I really want to get. It's just a hobby of mine once in a while < 1374386388 800296 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :well, it can be nice to know where to look if you get interested later < 1374386414 224958 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :that's true, what do you recommend? < 1374386516 910867 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :_Introduction to the Theory of Computation_ by Sipser and then _Computational Complexity_ by Papadimitriou < 1374386522 216101 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i really enjoyed both books < 1374386538 292221 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Scott Aaronsons blog has some interesting posts < 1374386545 750453 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :there's also the complexity zoo wiki and stuff? < 1374386547 335911 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they're both nicely self-contained but the latter covers a lot more stuff and is generally more challenging so I suggest both in order < 1374386598 879659 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :does Complexity Zoo have content beyond a listing of complexity classes? < 1374386622 728509 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not sure? I use it as a reference mainly < 1374386627 229157 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like when something I read says like < 1374386630 538943 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"BPP-path" < 1374386636 517052 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I'm like oh gosh what the heck is that < 1374386649 109990 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1374386655 789833 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's complementary to the textbooks in that way < 1374386687 671338 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 PRIVMSG #esoteric :Great, thanks guys < 1374386736 285216 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: should I read the HoTT book < 1374386747 63695 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :or should I read the Smullyan book first < 1374386770 643328 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :complexity zoo hs cite doesn't it < 1374386776 418226 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :cites < 1374387002 560178 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i guess papers aren't really that friendly, though. < 1374387124 572533 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :both of those textbooks are really good as far as presenting the field in a logical order from 'first principles' and explaining how things work and such < 1374387147 477051 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i think just reading complexity zoo and research papers would be... challenging < 1374387268 31180 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Erie Gauge War would be a good name for a band < 1374387320 381490 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :are your last two messages related < 1374387335 90074 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :and yeah i don't een understand most of complexity zoo >_> < 1374387337 786556 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1374387368 485181 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :isn't most of complexity zoo like ultra special purpose stuff from someone's PhD thesis that five people in the world understand < 1374387374 696005 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :yeah < 1374387388 629185 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i have an addiction to such stuff. it's a problem < 1374387405 948622 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :remember when you could get a PhD just for inventing an esolang and then proving it turing complete < 1374387445 480533 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :now you have to invent a recursively enumerable family of esolangs and prove them monotonically increasing from presburger arithmetic to turing complete in the limit < 1374387448 374754 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :imo kids these days < 1374387464 459918 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in coq < 1374387511 528483 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://coq.inria.fr/V8.1/faq.html#htoc4 < 1374387552 419881 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :huh, presburger evaluators have to have a worst case runtime that's doubly exponential. v. prctical < 1374387586 473410 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :"On the other hand, a triply exponential upper bound on a decision procedure for Presburger Arithmetic was proved by Oppen (1978)." < 1374387741 439962 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 QUIT :Ping timeout: 250 seconds < 1374387821 369920 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 JOIN :#esoteric < 1374387887 593258 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 264 seconds < 1374387934 77558 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374389145 820963 :Bike!~Glossina@67-5-245-98.ptld.qwest.net QUIT :Ping timeout: 264 seconds < 1374389282 68535 :Bike!~Glossina@67-5-245-98.ptld.qwest.net JOIN :#esoteric < 1374389372 575181 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1374389509 770812 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1374389596 181216 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374389703 762194 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I like the old rule of mana burn in Magic: the Gathering cards. Such as, make up a card like: {T}: Add {WUBRG} to your mana pool. This mana is unusable. < 1374389743 335337 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 QUIT :Ping timeout: 250 seconds < 1374390132 610680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i haven't read the HoTT book :'( < 1374390329 479586 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how about read both concurrently < 1374391197 908151 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1374391297 287679 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 248 seconds < 1374391394 149843 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374391989 952514 :intosh!~intosh@staticline41658.toya.net.pl JOIN :#esoteric < 1374392032 892704 :Jafet!~jafet@unaffiliated/jafet PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Belt-sander_racing < 1374392049 267923 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 245 seconds < 1374392068 651280 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"-- the growing field of power tool drag racing --" < 1374392071 633573 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the growing field of power tool drag racing--yes < 1374392115 587356 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi mnoqy < 1374392120 178179 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how come you're never here anymore < 1374392120 806363 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1374392128 945988 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :never here? < 1374392141 320931 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is this the part where i sleep in the daytime or the part where i just don't say things < 1374392158 548867 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I meant the latter. < 1374392159 815024 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You sleep in the daytime? < 1374392179 934292 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :recently, to avoid the heat < 1374392184 573832 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's much nicer to be awake at night < 1374392474 945890 :Taneb!~nathan@host-92-30-129-102.as13285.net JOIN :#esoteric < 1374394144 58235 :Bike!~Glossina@67-5-245-98.ptld.qwest.net QUIT :Ping timeout: 260 seconds < 1374396113 603133 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1374396275 718253 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Client Quit < 1374396416 284726 :sacje!~sacre@unaffiliated/klet QUIT :Excess Flood < 1374396449 718046 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374396983 161807 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374397538 927070 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 252 seconds < 1374397744 840103 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374398444 715510 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1374400201 900653 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1374402023 237417 :yorick!~yorick@oftn/member/yorick JOIN :#esoteric < 1374404088 39182 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1374404208 67588 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1374405782 45762 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1374406531 57913 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1374409809 57896 :tertu!~tertu@65-128-181-81.mpls.qwest.net JOIN :#esoteric < 1374410972 284881 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 260 seconds < 1374411008 380638 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374411520 244424 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1374412686 553341 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1374413121 260627 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1374413288 120237 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 JOIN :#esoteric < 1374413298 570379 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Decided to write a little hacking/programming puzzle: Step 1: http://pastebin.com/TyV4Eqpa < 1374413320 320881 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :decode that moves onto step 2, then step 3, 4 etc. etc. < 1374413330 206391 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi person who cannot keep to one nick < 1374413450 946188 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't mind your puzzles though, although they're not my kind. < 1374413470 301634 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well most of them. < 1374413479 825157 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :oerjan: This si more lateral thinking :) < 1374413483 98006 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :is* < 1374413623 18111 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :oerjan: Get's more challenging :) < 1374413624 677419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm reminds me of the time i made a christmas crossword for the local gamer's club member magazine. i don't think anyone managed to solve that either. or maybe they just didn't say. and maybe i should have posted the solution in a later number, hm... < 1374413702 143924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's just say not everyone is good at estimating difficulty of things you make yourself. < 1374413727 69725 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :What do you think of the challenge though? < 1374413731 417952 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :What step are you on? < 1374413753 640385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i said it's not my kind. encryption seems too random for me. < 1374413766 911911 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :oerjan: How is base64 random? :P < 1374413776 950680 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :(also its not all encryption) < 1374413791 523953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok i guess i can see that it's base64 < 1374413812 102507 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :http://pastebin.com/kKn0mNNA < 1374413814 477869 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :step 2 :P < 1374413823 403778 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :step 3: http://i.imgur.com/FX3fAd7.png < 1374413853 303153 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hey no spoilers now you've just convinced me to try a bit :P < 1374413924 319763 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 245 seconds < 1374414107 734732 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :http://pastebin.com/WG0mSe6L < 1374414140 798445 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374414458 474864 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374415839 960357 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1374417434 448209 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :Read error: Connection reset by peer < 1374417451 94052 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1374417541 458641 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :nerflils: mmm i'm solving it < 1374417553 710367 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :it anagrams to "I am Lord Voldemort" < 1374417558 992196 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: step 4? < 1374417560 648438 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :what? < 1374417560 882082 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :no < 1374417564 363644 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :http://pastebin.com/WG0mSe6L < 1374417568 764939 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :jeez stop spoiling your own damn riddle < 1374417575 707026 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :i decoded the base64 now i'm trying to figure out what it means < 1374417603 824848 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: Oh sorry! < 1374417605 150336 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :with the °s < 1374417609 805961 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Ill leave you to it :P < 1374417630 405097 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :what kind of solution am i supposed to be looking for here btw < 1374417694 861823 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: pastebin link < 1374417701 520148 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :ahh < 1374417711 94814 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :like what comes after the pastebin.com/ < 1374417741 874919 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :oooh i was looking at the solution then, trying to figure out what it meant < 1374418224 641776 :tertu!~tertu@65-128-181-81.mpls.qwest.net QUIT :Ping timeout: 260 seconds < 1374418620 711996 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :no idea what '6sf' is < 1374418693 489751 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :This time, I am going to practise before entering a SSBB contest < 1374418707 953772 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :i think i found out how to apply the "tom marvolo riddle" clue to the base64 but it's not working so i probably need to use the integral thing somehow < 1374418794 202659 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: 6 sig figures? < 1374418801 697702 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :ah < 1374419073 259575 :clog!~nef@bespin.org QUIT :Ping timeout: 248 seconds < 1374419134 649604 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Hmm... 9:1 K/D < 1374419144 973196 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :9/0 and I'll handicap myself < 1374419150 178274 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: So you think you have figured it out? ;) < 1374419189 456952 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :maybe. no idea what to do with the value i got from the integral < 1374419258 482248 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :for the other two lines -- the second line refers to DEFLATE doesn't it? < 1374419287 830065 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :so i tried to zlib.decompress the string i get when decoding the third line but it's not working :< < 1374420410 67424 :Bike!~Glossina@67-5-245-98.ptld.qwest.net JOIN :#esoteric < 1374420727 82647 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :triple DES < 1374420755 602050 :clog!~nef@bespin.org JOIN :#esoteric < 1374421052 199515 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: Anything? < 1374421107 700690 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :oh hi < 1374421413 692325 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :the first clue is much too vague. i assume it's the tripledes key, but < 1374421426 773056 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :-0.212611? 0.212611? 212611? < 1374421455 561711 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :also how was i even supposed to know about it being triple DES? < 1374421476 714089 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nooodl: ignore that < 1374421479 447361 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :wrong channel < 1374421489 349466 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :nerflils> triple DES < 1374421848 1649 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :oh. < 1374422606 970849 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Read error: Connection reset by peer < 1374422615 453526 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374422932 429041 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be PRIVMSG #esoteric :(i gave up btw) < 1374422975 38893 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric ::( < 1374423322 553709 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 276 seconds < 1374423499 317008 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374424483 374676 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :say foo x:xs = foo xs, foo [] = "who cares"; is foo [1..] guaranteed to be bottom? < 1374424531 337698 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Surely. < 1374424532 974140 :comex!~comex@ec2-54-225-4-143.compute-1.amazonaws.com PRIVMSG #esoteric :what else would it be? < 1374424569 230389 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :"who cares", due to a liberal optimizer < 1374424632 382074 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :That... cannot possibly be correct < 1374424698 192244 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :well, i can't think of why you'd want bottom, so i'm wondering. < 1374424715 397363 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Infinite loops are one form of bottom. < 1374424725 91753 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Anyone able to solve the puzzle? :P < 1374424762 900651 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :yeah, but there's no side effects so why would you want that, is what i'm wonderin < 1374424785 839710 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :As specified it does not terminate. < 1374424792 331366 :pikhq_!~pikhq@24.107.196.13 PRIVMSG #esoteric :Therefore it shouldn't. < 1374424952 24782 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :hm... maybe you could want that as a sentinel so that a later summing doesn't eat memory with bignums, or something weird but conceivable like that < 1374424987 844226 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :as specified it's a syntax error hth < 1374425002 863110 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :¬_¬ < 1374425009 752191 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(needs parentheses around x:xs) < 1374425032 995576 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1374425034 593692 :Deewiant!~deewiant@deewiant.iki.fi PRIVMSG #esoteric :I guess the question here is: what breaks if you assume that all lists are finite, other than some bottoms becoming something else < 1374425111 25008 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :the question i have is actually just to what extent if any are bottoms allowed to become something else. < 1374425168 267650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: foo x `seq` whatever would be a reasonable way to force spine strictness of a list, which can be useful. < 1374425199 461722 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :yeah that's what i meant (assuming spine strictness means finity) < 1374425236 246501 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it means that every cons cell has been _evaluated_. < 1374425250 806564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which requires finiteness, but is something more. < 1374425277 805317 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :is that something more distinguishable, other than timing or something like that < 1374425278 715542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well except there's no way to ensure finiteness without evaluating all the cons cells. < 1374425318 833675 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :the static analyzer could hypothetically do some analysis couldn't it < 1374425347 803080 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :[1..n] is finite (or bottom) and so on < 1374425362 804150 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Who can solve this? http://pastebin.com/WG0mSe6L < 1374425384 793745 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :please rephrase in the form of haskell ephemera < 1374425398 145450 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :wow i can't even read this, fuc. < 1374425408 476895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Bike: anyway the rule in haskell is that recursions are defined as their denotationally least fixpoint, which is bottom if bottom _is_ a solution to the equation. < 1374425417 274534 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :it is true that Haskell gets a lot of its performance out of aggressive inlining (whole-function-call-optimization, from the point of view of functions being called...) < 1374425419 404059 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :oh, i see. < 1374425437 851274 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :how's the order defined exactly? < 1374425500 484830 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :Bike: scroll down for the pretteh graphs http://en.wikibooks.org/wiki/Haskell/Denotational_semantics < 1374425510 964526 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :oh nooooo < 1374425643 484012 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :http://en.wikibooks.org/wiki/File:List-graph.png oh ok got it. < 1374425648 25976 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :kinda sad i understand that. < 1374425835 616023 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"There is a mistake, ():[] appears twice. Only the one marked with a red ellipse is correct, the other one should be ():\perp." < 1374425842 119235 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :i saw. < 1374425883 334925 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :So Haskell evaluation would be monotonic in this lattice, or something < 1374425912 984501 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :which is actually a pretty boring statement < 1374425935 9012 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :well it was a boring and pedantic queestion on my part to begin with, so that works < 1374425985 248466 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 248 seconds < 1374426251 285704 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 JOIN :#esoteric < 1374426267 885944 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Later < 1374426570 348871 :Taneb!~nathan@host-92-30-129-102.as13285.net QUIT :Quit: Leaving < 1374426893 989360 :intosh!~intosh@staticline41658.toya.net.pl QUIT :Ping timeout: 240 seconds < 1374427287 397426 :ChrisW!403a0d6e@gateway/web/freenode/ip.64.58.13.110 QUIT :Ping timeout: 250 seconds < 1374427890 752517 :Taneb!~nathan@host-92-30-129-102.as13285.net JOIN :#esoteric < 1374428696 339877 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374429179 562711 :sacje!~sacre@unaffiliated/klet QUIT :Ping timeout: 264 seconds < 1374429258 524721 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374429350 64929 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Read error: Connection reset by peer < 1374429369 816114 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374430177 294337 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 248 seconds < 1374430265 328147 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1374430742 845086 :quintopia!~quintopia@unaffiliated/quintopia QUIT :Ping timeout: 240 seconds < 1374430750 910512 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1374430788 336840 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net NICK :augur-afk < 1374431373 845376 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374431586 187227 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :According to http://www.haskell.org/haskellwiki/Abbreviations HTH stands for Hope This Helps. I like Holy Toe Help or whatever it was better though. < 1374431668 547681 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 276 seconds < 1374431704 725316 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1374431907 786334 :upgrayeddd!uid2969@gateway/web/irccloud.com/x-tbaoccjpdmxnhtnw QUIT :*.net *.split < 1374431907 986325 :mtve!~mtve@10130.x.rootbsd.net QUIT :*.net *.split < 1374431908 186681 :ggherdov!uid11402@gateway/web/irccloud.com/x-krqrhkkvgfqiuopk QUIT :*.net *.split < 1374431908 186761 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e QUIT :*.net *.split < 1374432066 329065 :Sgeo_!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1374432214 677638 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1374432233 746655 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Who can solve this puzzle? http://pastebin.com/WG0mSe6L < 1374432381 945133 :nooodl_!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1374432491 509074 :mtve!~mtve@10130.x.rootbsd.net JOIN :#esoteric < 1374432543 539395 :nooodl!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :Ping timeout: 245 seconds < 1374432546 827609 :upgrayeddd!~uid2969@gateway/web/irccloud.com/x-njbyhykoalzzswva JOIN :#esoteric < 1374432567 954029 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1374432576 691111 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e JOIN :#esoteric < 1374432589 498236 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Write error: Connection reset by peer < 1374432624 157010 :ggherdov!uid11402@gateway/web/irccloud.com/x-qgcihmdapfxmiefd JOIN :#esoteric < 1374432646 168059 :Bike_!~Glossina@67-5-245-98.ptld.qwest.net JOIN :#esoteric < 1374432661 518656 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1374432668 331458 :Bike!~Glossina@67-5-245-98.ptld.qwest.net QUIT :Quit: Reconnecting < 1374432685 608533 :Bike_!~Glossina@67-5-245-98.ptld.qwest.net NICK :Bike < 1374432721 535473 :Sgeo_!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 273 seconds < 1374433114 769411 :nooodl_!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :Read error: Connection reset by peer < 1374433158 719681 :nooodl_!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1374433628 721436 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What would be the smallest Turing-complete sequent calculus? < 1374433648 608366 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 PRIVMSG #esoteric :Step 1: http://pastebin.com/TyV4Eqpa step 2: http://pastebin.com/kKn0mNNA step 3: http://i.imgur.com/FX3fAd7.png step 4: http://pastebin.com/WG0mSe6L < 1374433691 448716 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why don't you post the URLs for raw access instead? < 1374433792 429084 :Sgeo!~quassel@ool-ad034ea6.dyn.optonline.net QUIT :Write error: Connection reset by peer < 1374433918 341102 :nerflils!dcfdcefc@gateway/web/freenode/ip.220.253.206.252 QUIT :Quit: Page closed < 1374434171 510783 :nooodl__!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be JOIN :#esoteric < 1374434408 504333 :nooodl_!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be QUIT :*.net *.split < 1374434409 816178 :neena!~neena@codesurfers.net QUIT :*.net *.split < 1374434410 16833 :EgoBot!dlopen@libdl.so QUIT :*.net *.split < 1374434471 208375 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1374434522 524956 :neena!~neena@codesurfers.net JOIN :#esoteric < 1374435031 570942 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd QUIT :Quit: requested < 1374435297 371362 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd JOIN :#esoteric < 1374435548 231194 :Jafet1!~jafet@unaffiliated/jafet JOIN :#esoteric < 1374435710 534556 :FreeFull_!~freefull@defocus/sausage-lover JOIN :#esoteric < 1374435736 297887 :augur-af_!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374436069 527079 :Jafet!~jafet@unaffiliated/jafet QUIT :Read error: Connection reset by peer < 1374436069 727397 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I really need to get out of the habit of opening and closing my CD tray < 1374436130 444915 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :As far as habits go, that really doesn't sound like the most destructive of them. < 1374436238 513876 :Vorpal_!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1374436271 756923 :quintopi1!~quintopia@74.117.159.204 JOIN :#esoteric < 1374436354 539435 :jix!~jix@jixco.de JOIN :#esoteric < 1374436369 967196 :FreeFull!~freefull@defocus/sausage-lover QUIT :Ping timeout: 264 seconds < 1374436372 576363 :augur-afk!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 264 seconds < 1374436375 389904 :rodgort!~rodgort@li125-242.members.linode.com QUIT :Ping timeout: 264 seconds < 1374436381 51535 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Just did it while watching a movie < 1374436395 971789 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :*.net *.split < 1374436396 171908 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1374436396 402853 :Taneb!~nathan@host-92-30-129-102.as13285.net QUIT :*.net *.split < 1374436401 987057 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :*.net *.split < 1374436402 686015 :atehwa!atehwa@aulis.sange.fi QUIT :*.net *.split < 1374436406 447914 :Gracenotes!~person@wikipedia/Gracenotes QUIT :*.net *.split < 1374436407 726607 :jix_!~jix@jixco.de QUIT :*.net *.split < 1374436412 984287 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :did it again while maintaining the network < 1374436434 508504 :nooodl__!~nooodl@211.180-241-81.adsl-dyn.isp.belgacom.be NICK :nooodl < 1374436650 52767 :Sgeo!~quassel@173.3.78.166 JOIN :#esoteric < 1374436686 253501 :Taneb!~nathan@host-92-30-129-102.as13285.net JOIN :#esoteric < 1374436783 50640 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com QUIT :Write error: Broken pipe < 1374436792 825732 :atehwa!~atehwa@185.18.76.165 JOIN :#esoteric < 1374436798 276096 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com JOIN :#esoteric < 1374436900 623368 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :http://laughingsquid.com/terrible-jpeg-compression-transforms-the-tragedy-of-romeo-and-juliet-into-tej-uqahdfsmenolcr-dlculfgr/ cute < 1374436919 336107 :EgoBot!dlopen@libdl.so QUIT :Ping timeout: 244 seconds < 1374436946 327390 :EgoBot!dlopen@libdl.so JOIN :#esoteric < 1374436957 998500 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1374436986 766890 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: I was typing a lame joke assuming that the URL just cut off after "into" and that the rest was a base 26 identifier type thing < 1374436987 672339 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good thing I clicked first. < 1374437045 718493 :rodgort!~rodgort@69.164.210.242 JOIN :#esoteric < 1374437046 444011 :rodgort!~rodgort@69.164.210.242 QUIT :Excess Flood < 1374437063 2245 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :good thing < 1374437083 26119 :sacje!~sacre@unaffiliated/klet QUIT :Excess Flood < 1374437144 508502 :pikhq_!~pikhq@24.107.196.13 QUIT :Write error: Broken pipe < 1374437186 200994 :pikhq!~pikhq@24.107.196.13 JOIN :#esoteric < 1374437192 811386 :Sgeo!~quassel@173.3.78.166 PRIVMSG #esoteric :I have lost every game I have played on FICS, apparently < 1374437193 11860 :Sgeo!~quassel@173.3.78.166 PRIVMSG #esoteric :http://ficsgames.org/cgi-bin/search.cgi?player=Sgeo&action=History < 1374437203 97826 :Sgeo!~quassel@173.3.78.166 PRIVMSG #esoteric :At least the recorded ones < 1374437290 159709 :rodgort!~rodgort@li125-242.members.linode.com JOIN :#esoteric < 1374437299 223495 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1374437549 65620 :epicmonkey!~epicmonke@92.241.250.196 JOIN :#esoteric < 1374437652 227682 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1374437937 298482 :Gracenotes!~person@192.241.203.42 JOIN :#esoteric < 1374438112 247996 :Gracenotes!~person@192.241.203.42 QUIT :Changing host < 1374438112 448072 :Gracenotes!~person@wikipedia/Gracenotes JOIN :#esoteric < 1374438159 948412 :intosh!~intosh@staticline41658.toya.net.pl JOIN :#esoteric < 1374438265 616494 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Well, I've watched the Dark Knight < 1374438279 606686 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Tuesday night I'll watch Rises < 1374438729 567186 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Oh god I'm crying at Batman again < 1374438860 49409 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :https://en.wikipedia.org/wiki/File:Erill_2011_EBM_Conference_Researchsome.png < 1374438869 417762 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Bike, why does Batman make me cry < 1374438889 977515 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Why can't the franchise be more like the Avengers and kinda cheery < 1374438892 307522 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :That would be nice < 1374438903 647749 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :well batman is all about grittiness and sadness. < 1374438909 88078 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :you may recall that his parents are deeeeeead < 1374438929 717985 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :But so are Iron Man's < 1374438932 17630 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Well < 1374438933 915032 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :They're dead < 1374438938 788473 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Not quite deeeeeead < 1374439013 191317 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :iron man also works in the bright and cheery real world rather than gotham, land of darkness and not having a sun < 1374439053 537733 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :"The definition of home use excludes the use of this DVD at locations such as... oil rig" < 1374439100 927746 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :but people live on oil rigs........ < 1374439108 570473 :olsner!~salparot@c83-252-203-32.bredband.comhem.se PRIVMSG #esoteric :just because you're at sea you shouldn't think you can simply watch DVDs you bought < 1374439307 698568 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :In other news, I cannot wait for Thor 2 < 1374439323 528486 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Or about half a dozen other movies coming out this year < 1374439823 970346 :intosh!~intosh@staticline41658.toya.net.pl QUIT :Ping timeout: 240 seconds < 1374440748 441262 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Does anyone on any channel of the IRC can answer my questions about the ephemeris? < 1374440778 71329 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I don't even know what the ephemeris < 1374440869 951335 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I was asking how to make/acquire the program to make ephemeris which is also including not only the position of the planets but also the rotation of planets (including Pluto). < 1374440915 72166 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Relative to the sun? < 1374441016 294106 :coppro!raedford@taurine.csclub.uwaterloo.ca QUIT :Ping timeout: 260 seconds < 1374441050 772606 :coppro!raedford@taurine.csclub.uwaterloo.ca JOIN :#esoteric < 1374441081 271898 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I mean the rotations around their own axis. The positions can be relative to anything as long as it is consistent, although the position of the Sun still needs to be included, also relative to the same thing (it could be the Sun itself (in which case the Sun's coordinates are zero), or the barycenter, for example). < 1374441127 901611 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Well, you can approximate it with ellipses < 1374441159 152068 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :But thanks to chaos theory and that it'll break down after a few thousand years or so < 1374441216 572754 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :That reminds me < 1374441229 332596 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Well, it doesn't. but something else did, and I mayswell share this with you < 1374441239 22466 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I need to update my lists of things I need to thing < 1374441274 122670 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know there are existing ephemeris such as JPL and Swiss Ephemeris (which will use data files and then interpolate), although I don't think Swiss Ephemeris can calculate the rotation of anything other than the Earth (neither can Astrolog; it will always display geocentric houses). < 1374441329 402139 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Do you also want to trace the path of the Galilean moons and possibly other moons too? < 1374441385 52584 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It would be a good idea to have them. < 1374441594 122668 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :In what I am doing though, they aren't as important as calculating the rotation of Pluto. < 1374441600 754034 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :Hang on < 1374441605 602501 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I am going to sleep now < 1374441611 32329 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :And when I awake < 1374441619 742422 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I will go on an adventure < 1374441636 813238 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What adventure? < 1374441673 313275 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :I will embark on a train to the far-off city of Newcastle < 1374441685 55159 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :From where I shall walk south, into the heart of Gateshead < 1374441770 632749 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :When I get there, I shall receive a temporary boon in the form of clothing < 1374441785 374014 :Taneb!~nathan@host-92-30-129-102.as13285.net PRIVMSG #esoteric :And I'll play some Guitar Hero and Super Smash Bros and what have you < 1374442044 425790 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1374442218 695694 :Taneb!~nathan@host-92-30-129-102.as13285.net QUIT :Quit: Leaving < 1374442701 349372 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1374444587 918424 :augur-afk!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1374444799 224186 :augur-af_!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 245 seconds < 1374444876 880379 :augur-afk!~augur@c-75-74-129-116.hsd1.fl.comcast.net NICK :augur < 1374444982 276694 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :My next esoteric programming language shall be called ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,. < 1374444995 828504 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :> length ",,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,," < 1374444996 760758 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 33 < 1374444999 121198 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Yeah. ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,. < 1374445020 530281 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :Now, what shall it be????????????????????????????????? < 1374445051 715283 :tswett!~tswett@ec2-23-23-86-149.compute-1.amazonaws.com PRIVMSG #esoteric :I dunno. Probably something based on the idea of conservation of resources. < 1374445132 249044 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1374446598 781920 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ooh it has dropped http://www.rte.ie/news/2013/0717/463097-trinity-college-dublin-pitch-experiment/ < 1374446761 981876 :Bike!~Glossina@67-5-245-98.ptld.qwest.net PRIVMSG #esoteric :Finally, my pitch swimming pool will reach fruition. < 1374450110 329646 :conehead!~conehead@unaffiliated/conehead QUIT :Read error: Connection reset by peer < 1374450173 967529 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric