< 1372032102 59286 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :why are you depressed? < 1372032155 663421 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :my life is bad < 1372032164 817816 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :no friends < 1372032434 795172 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :where do you live? < 1372032443 605118 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :uk < 1372032448 347266 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what kinds of things are you interested in < 1372032451 322989 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :katla: :( < 1372032458 31684 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :katla: clinically, or just sad? < 1372032466 251183 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :clinically < 1372032472 528240 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :aww, that sucks < 1372032487 507060 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :dont know about interests < 1372032498 635449 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i know that i need to pick up some < 1372032505 445504 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :not sure which < 1372032529 162797 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :can you think of anything you enjoy doing? < 1372032628 430350 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you were talking about haskell and theory of computation before, right? < 1372032676 284244 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :there are a few Haskell meetup groups in the UK < 1372032688 768766 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :yeah i used to be into programing languages but not really a nymore < 1372032698 564344 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :something something anhedonia < 1372032733 889647 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1372033074 47129 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372033082 227739 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1372033177 646297 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372033322 607669 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you play mahjong? < 1372033327 618454 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :no < 1372033431 213757 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you play chess? < 1372033461 201467 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :badly < 1372033488 973197 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Clinical depression is t3h suck. < 1372033559 858705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :t3h < 1372033579 731962 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh no now you said it too... < 1372033583 44079 :pikhq_!~pikhq@24-107-196-13.dhcp.stls.mo.charter.com PRIVMSG #esoteric :Yes. 73|-|. < 1372033590 526833 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh no < 1372033623 44131 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :los soque < 1372033643 635158 :nooodl!~nooodl@91.177.64.93 QUIT :Quit: Leaving < 1372034119 460713 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi QUIT :Ping timeout: 264 seconds < 1372035043 817457 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :damn i thought you guys would cure me < 1372035214 716013 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :fresh out of panacea, srry < 1372035246 513381 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry! I guess I was kind of in that trap a year or two ago (though I still kind of am) of "oh gosh I need to find non-programming hobbies and friends and communities and things" < 1372035253 26759 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but I'm not sure I have a magic answer < 1372035338 499598 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :Fiora how did it go? < 1372035364 729640 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :did you makeprogress < 1372035410 967541 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372035521 452494 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION tries to put it into words... I kind of went and dived into non-sciencey things (since I was already a hopeless wikipedia-absorbing science doof), especially things I could socialize with others about (even like, online) < 1372035554 287002 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :like for me I went and read homestuck and got involved with that, I played more games of the sort with fandoms I could bond with others about (Persona, Tales, etc) < 1372035596 905150 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and generally like trying to aim my attention at everything other than programming to counter way too many years of academia < 1372035599 522830 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :sounds good < 1372035652 869872 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and take the chance (10 years late) to be a bit more, well, girly about things, I guess < 1372035667 3803 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hmm maybe i should try that < 1372035669 598147 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't really have a desire for non-programming hobbies, so much as more non-programmer friends < 1372035678 131836 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :clearly these are related though < 1372035699 243077 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my girlfriend knows a lot about plants & birds & mushrooms and that sort of thing, and I've really enjoyed learning about that < 1372035703 202270 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and having more excuses to go outside < 1372035715 667860 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Does she know what birds are? < 1372035723 18163 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I had a very narrow focus growing up and now it's neat to learn some of the things I'd been ignoring < 1372035728 385596 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: probably < 1372035731 435158 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa < 1372035772 310534 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :speaking of whoa, "Mozilla/4.0 (compatible; MSIE 6.0; America Online Browser 1.1; rev1.2; Windows NT 5.1; SV1; .NET CLR 1.1.4322)" < 1372035784 943868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think that's a referer spam bot, though. < 1372035786 939265 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :user-agent strings own. < 1372035791 506903 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :america on line < 1372035801 680421 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :also, i'm clinically depressed and doing uhhhhh better. school and stuff. < 1372035836 277198 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: that's really how I felt to, I was like, gosh all this stuff outside programming is /so fun and interesting/. < 1372035856 410748 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :also learned a little bit about cooking, baking, etc < 1372035858 489551 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :fun stuff < 1372035862 343307 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :going to try homebrewing beer I think < 1372035867 5393 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I mean it wasn't totally new t me, like, I mean, I was bombarded with astronomy/physics stuff before I learned programming even but < 1372035911 614887 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :but that's not quite as far away from programming as fandoms or writing or cooking or... < 1372035988 412714 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Good if you know some things about astronomy and physics. I am also interested in physics. But I am also interested in mathematics. < 1372036013 54358 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :We should all aspire to be more like zzo38. < 1372036019 845682 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(Just a bit more, though.) < 1372036075 621135 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION goes to play Potion of Confusing again. < 1372036097 474398 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Four bombs only! < 1372036099 318849 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :zzo38 what mathematics are you interested in < 1372036101 715395 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :This time maybe you know how to do it better? < 1372036110 997928 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Notice also that Jesus saves. < 1372036119 424294 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does Jesus save all those who do not save themselves? < 1372036142 458901 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess it makes me kind of weird though because I'm now like, a programmer who sometimes would rather write fanfic than code... < 1372036153 231066 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :katla: All mathematics in general, really. However, I have studied various mathematical things in Wikipedia such as category theory and logic and surreal numbers too. < 1372036166 747146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: Why write fanfic and not just fic? < 1372036178 673070 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :because I'm even worse at fic <.< < 1372036182 84991 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Fiora: Well, I suppose some people don't always want to write the same thing. (That includes myself.) < 1372036196 346613 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: imo you should write fic < 1372036223 307659 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :maybe you can get your own fans < 1372036225 748351 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1372036242 556125 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: well I don't think it *should* be weird for programmers to sometimes want to do things other than programming < 1372036276 473084 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the archetypal obsessive programmer is not really a happy or healthy character < 1372036292 80486 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: I agree. Sometimes I play Dungeons&Dragons game. Sometimes you write on the IRC. See? < 1372036295 698373 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1372036300 718309 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't spend that much time programming really < 1372036319 150473 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it might be how i spend most of my 'structured' time < 1372036320 838569 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :Fiora but you didnt meet any new friends < 1372036323 474118 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :? < 1372036324 717931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: real programmers write n their weblogs all day about what real programmers do < 1372036330 161539 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :seriously < 1372036344 177741 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Actually I have a C program open right now which I am also working on. < 1372036353 328180 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Is it a Famicomulator? < 1372036375 668066 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe zzo38 should move to SF and work on Rust! < 1372036375 688744 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :katla: I met a lot of new people online I guess? I mean like almost everyone I know now, I know through non-programmer-related connections, I think < 1372036382 60640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Just imagine rust.zzo38.moed. < 1372036388 614812 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :oh thats cool < 1372036406 340728 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: No, it isn't, this one is a Z-machine interpreter with SDL. However, maybe I will try to make Famicom emulator too afterward at some time. < 1372036428 211271 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it suits business interests for young people to think that a singleminded obsessive is what they're supposed to be :/ < 1372036513 529565 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well, being obsessive of it can help too. < 1372036577 895539 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo you should be fix (obsessed with being) < 1372036639 308983 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: I think that might be difficult. But, you have to be (among other things too), to be genius. < 1372036743 376385 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://3.bp.blogspot.com/-kWGMkslnkdg/TzCiO7moT5I/AAAAAAAAKlE/OreQvmM8SxA/s1600/calvin_hobbes_dont_knock_smock_2.gif < 1372036793 91550 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fiora: you should become a fan of calvin and hobbes < 1372036803 867485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and then write calvin and hobbes fan fiction (or not) < 1372036816 449750 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1372036842 835984 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Hmm. Computability topology. A hypothetical topology on N, such that the set of all continuous functions N -> {0, 1} is equal to the set of all computable functions N -> {0, 1}, given the discrete topology on {0, 1}. < 1372036899 692106 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Is the intersection of two computable sets a computable set? Yes. Is the union of arbitrarily many computable sets a computable set? No. < 1372036951 999471 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.gocomics.com/calvinandhobbes/1989/07/15 < 1372036958 251026 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Wait, why not? < 1372036959 685402 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.gocomics.com/calvinandhobbes/1990/07/26 < 1372036973 460897 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :or wait you mean recursive and not recursively enumerable alt. i don't remember how anything works. < 1372036975 865156 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So that doesn't work. If we use the Sierpi(n with an acute accent)ski topology, nothing changes. < 1372036987 640548 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Yeah, I do mean recursive, not recursively enumerable. < 1372037005 667620 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :If we're talking recursively enumerable... then yes, if we say that the open sets are precisely the recursively enumerable sets, we have a topology. < 1372037014 588373 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Wait, do we... yes, we do. < 1372037025 636931 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :How is the union of recursive sets not recursive? < 1372037053 181553 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Wait, no, we don't. < 1372037074 572414 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Any set {a, b, c, ...} can be written as the union of the sets {a}, {b}, {c}, ..., each of which is recursively enumerable. < 1372037081 14169 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Recursive, for that matter. < 1372037163 791434 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :This seems like the sort of thing that ought to make a topology somehow. < 1372037175 526935 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Can we say the open sets are those sets which are *not* recursively enumerable? < 1372037205 396544 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Uh... clearly not, since the empty set and N are both recursively enumerable (recursive, for that matter). < 1372037566 373560 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :katla: sorry! don't feel compelled to stay, but I remember you used to be around quite a bit and everyone was wondering where you'd gone! < 1372037588 512104 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :#epigram still has your topic :P < 1372037599 62951 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :yeah < 1372037622 392716 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You are also not compelled to type something all the time even if you do stay. < 1372037631 36316 :carado_!~user4539@2a01:e35:8b61:e430:ae81:12ff:fe32:878a JOIN :#esoteric < 1372037651 124023 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, even if you don't, you can still read the message on the logs, so that's OK anyways. < 1372037705 381713 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :#epigram must have so many cobwebs < 1372037732 494592 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :didn't pigworker say that epigram is dead < 1372037747 317360 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :long live epigram < 1372037885 929905 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1372037988 980246 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372039150 810317 :NihilistDandy!~ND@c-24-128-161-213.hsd1.nh.comcast.net QUIT :Quit: NihilistDandy < 1372040243 963891 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1372040257 559226 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372040594 585843 :katla!~brook@172.245.33.194 QUIT :Quit: katla has no reason < 1372041144 101866 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Should I read that HoTT book everyone's talking about? < 1372041173 260949 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yeah < 1372041190 384762 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :damn, katla left < 1372041301 805526 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :eh, quit earlier too < 1372041308 836612 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they've been in and out < 1372042751 863584 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net JOIN :#esoteric < 1372042793 902883 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :good night kmc < 1372042807 627983 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@night elliott < 1372042807 910947 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Unknown command, try @list < 1372042809 209896 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oopse < 1372042813 779590 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :♞ elliott < 1372042852 101244 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :night elliott < 1372042872 926253 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nelliott < 1372042891 227266 :ion!ion@heh.fi PRIVMSG #esoteric :good nelliott < 1372042892 295143 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nellie lovett < 1372042902 342750 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott's secret identity?! < 1372042932 563692 :ion!ion@heh.fi PRIVMSG #esoteric :elliott's secret Identity?! < 1372042977 347730 :ion!ion@heh.fi PRIVMSG #esoteric :elliott's secret runIdentity?! < 1372043645 912594 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: it's monad joke o'clock in #haskell are you sure you don't want to join < 1372043675 241719 :ion!ion@heh.fi PRIVMSG #esoteric :I suppose, shachaf. I sachaf. < 1372043720 233881 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :y'all are really bad at convincing people to join #haskell < 1372043752 892779 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :;_; < 1372043757 174446 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: well it's an insider's club < 1372043769 849131 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :we never wanted y'all to join anyway < 1372043771 618680 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :too good for you < 1372043797 194947 :ion!ion@heh.fi PRIVMSG #esoteric :You wouldn’t be able to afford the monthly fee anyway. < 1372043857 758802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Bike: you should come to #haskell btw < 1372043861 131925 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's the best < 1372043900 494668 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i just made the monad jokes stop with my iron fist < 1372043906 440058 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@yarr < 1372043906 795225 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Is that a hornpipe in yer pocket, or arr ya just happy ta see me? < 1372043922 988713 :ion!ion@heh.fi PRIVMSG #esoteric :bike: You already have missed many monad jokes, you should join soon. < 1372043951 679906 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :Is that a monad in yer monad, or arr ya just ap-y ta see me? < 1372043973 111585 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :you're welcome < 1372044020 504958 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@arr < 1372044020 723408 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Swab the deck! < 1372044030 680389 :ion!ion@heh.fi PRIVMSG #esoteric :@array < 1372044030 701962 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Ahoy mateys < 1372044077 260976 :ion!ion@heh.fi PRIVMSG #esoteric :GHC should also just pick the closest match silently instead of erroring out and telling you about them. < 1372044087 979515 :ion!ion@heh.fi PRIVMSG #esoteric :A.k.a. DWIM < 1372044135 615156 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :DWIM is great because it's really do what you think i think you will think i think you will mean < 1372044143 151536 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :much better than just saying what you want < 1372044248 333672 :ion!ion@heh.fi PRIVMSG #esoteric :Also, in case of a type error, GHC should substitute values (including functions) with others in scope that make the type error go away. < 1372044294 341297 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :why limit it to scope!? < 1372044319 760701 :ion!ion@heh.fi PRIVMSG #esoteric :True, it might as well import modules when it seems to help. And install packages, too. < 1372044336 157936 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :it's just more convenient < 1372044379 519574 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ion: Simpler to use unsafeCoerce. < 1372044384 766848 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :never ever give the programmer an error message < 1372044386 319365 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they hate those < 1372044463 906106 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you must give an error message it should be inserted at an arbitrary location in the HTML you're serving to users < 1372044481 888967 :ion!ion@heh.fi PRIVMSG #esoteric :Upon finding the substitutions that fix the program, GHC should also modify the source file automatically. < 1372044639 904495 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :or delete it < 1372047620 585275 :TeruFSX!~TeruFSX@65-128-175-59.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1372047645 19289 :TeruFSX!~TeruFSX@65-128-175-59.mpls.qwest.net JOIN :#esoteric < 1372049095 835516 :asdfasd!bd045aae@gateway/web/freenode/ip.189.4.90.174 JOIN :#esoteric < 1372049312 725552 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder if hagfish can be caught in finland < 1372049323 978401 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :they exist in sweden apparently < 1372049353 329947 :asdfasd!bd045aae@gateway/web/freenode/ip.189.4.90.174 QUIT :Ping timeout: 250 seconds < 1372049514 140475 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net QUIT :Quit: This is me, signing off. Probably rebooting or something. < 1372050142 132204 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372050198 444605 :asdfasd!bd045aae@gateway/web/freenode/ip.189.4.90.174 JOIN :#esoteric < 1372050471 782392 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net JOIN :#esoteric < 1372050486 941361 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372050562 492208 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372052394 848926 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372052577 340011 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 248 seconds < 1372054202 161311 :FreeFull!~freefull@defocus/sausage-lover QUIT :Quit: Bye < 1372054907 740533 :asdfasd!bd045aae@gateway/web/freenode/ip.189.4.90.174 NICK :GOMADWarrior < 1372054967 40404 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: did you see http://www.concatenation.org/futures/whatsexpected.pdf by chiang < 1372054999 866624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(v. short, one page) < 1372055081 768711 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not yet but I just realized he wrote http://www.nature.com/nature/journal/v405/n6786/full/405517a0.html too < 1372055084 777971 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :which is good and i did read it < 1372055177 422392 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh, I think that was in the book. < 1372055253 179130 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :is this transhumanist < 1372055253 286517 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION has read it now < 1372055254 573539 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :v. good < 1372056990 713355 :augur!~augur@208.58.5.87 NICK :Israel_B_ < 1372057005 148232 :Israel_B_!~augur@208.58.5.87 NICK :augur < 1372057176 403772 :augur!~augur@208.58.5.87 NICK :israel_b < 1372057188 465581 :israel_b!~augur@208.58.5.87 NICK :augur < 1372057435 939036 :carado_!~user4539@2a01:e35:8b61:e430:ae81:12ff:fe32:878a QUIT :Ping timeout: 256 seconds < 1372057523 929726 :Bike!~Glossina@174-25-59-69.ptld.qwest.net QUIT :Ping timeout: 240 seconds < 1372057663 473303 :Bike!~Glossina@174-25-59-69.ptld.qwest.net JOIN :#esoteric < 1372058025 609210 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372058619 410267 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net JOIN :#esoteric < 1372059229 55315 :carado_!~user4539@2a01:e35:8b61:e430:ae81:12ff:fe32:878a JOIN :#esoteric < 1372060673 498689 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1372060831 568434 :conehead!~conehead@unaffiliated/conehead QUIT :Quit: Computer has gone to sleep. < 1372061814 987541 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1372062026 2585 :carado_!~user4539@2a01:e35:8b61:e430:ae81:12ff:fe32:878a QUIT :Ping timeout: 256 seconds < 1372062144 44272 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn QUIT :Ping timeout: 240 seconds < 1372062800 278433 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1372063899 967620 :SirCmpwn!~SirCmpwn@unaffiliated/sircmpwn JOIN :#esoteric < 1372064693 665204 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1372064705 257350 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 248 seconds < 1372064733 991433 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1372065617 978330 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Last week I found a book in the library titled "Can smart people believe in God?" I agree with much of what they wrote but I think they have too much Christian bias in some of their arguments. < 1372065656 984510 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(The author is Christian, and I don't blame that, but I think the argument is too much Christian bias anyways.) < 1372065716 429779 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They compared being scientific but not spiritual, or being spiritual but not scientific, as being like watching the universe with only one eye open. < 1372065742 805908 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose I can see the analogy there. < 1372065753 702351 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I do disagree with some things he writes, though. < 1372065981 264889 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :They say even atheists believe in things, depending on the atheists, such as Randomness, etc. Randomness? Isn't that like believing in your left hand but not the rest of your body and your surroundings? It is an analogy I made up, because, it is only a part of it! < 1372066094 580160 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What do *you* think of this????? < 1372066146 650934 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: I agree with you. < 1372066202 997816 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Entirely with what I wrote, or..... something else? < 1372066281 602759 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yes. < 1372066326 664900 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you have any other comments about this? < 1372066349 964558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Only this one. < 1372066405 215984 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, OK. But, I don't think you should agree/disagree without questioning it at first. If you do that at first, then OK. < 1372066439 861955 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I considered questioning it, but you had used so many question marks that I wasn't sure whether I'd have any left. < 1372066479 404982 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes you can have whatever you want left. < 1372066535 246028 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Do I have any rights left? < 1372066548 585613 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes, I think so. < 1372067507 598198 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372067628 16387 :nooodl!~nooodl@91.177.64.93 JOIN :#esoteric < 1372067803 640606 :sprocklem!~sprocklem@S010674440130be65.cg.shawcable.net QUIT :Remote host closed the connection < 1372068324 441549 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1372068393 559054 :GOMADWarrior!bd045aae@gateway/web/freenode/ip.189.4.90.174 PRIVMSG #esoteric :I can't into rivers < 1372068448 908538 :GOMADWarrior!bd045aae@gateway/web/freenode/ip.189.4.90.174 PRIVMSG #esoteric :oops < 1372068584 832260 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did you into river < 1372068721 63952 :epicmonkey!~epicmonke@host-224-58.dataart.net JOIN :#esoteric < 1372068885 100159 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh no, into river! < 1372068889 730855 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1372069877 599724 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: i read the rust tutorial. it looks p. good < 1372070453 12884 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372071978 506395 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1372072058 328948 :Taneb!~nathan@host-92-23-125-3.as13285.net JOIN :#esoteric < 1372072082 462053 :Taneb!~nathan@host-92-23-125-3.as13285.net PRIVMSG #esoteric :Aaaah hi < 1372072233 529011 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :why did you say aaaah < 1372072337 468540 :Taneb!~nathan@host-92-23-125-3.as13285.net PRIVMSG #esoteric :Because I just finished exams < 1372072779 368384 :GOMADWarrior!bd045aae@gateway/web/freenode/ip.189.4.90.174 QUIT :Ping timeout: 250 seconds < 1372075571 219070 :sacje!~sacre@unaffiliated/klet QUIT :Quit: sacje < 1372076807 485755 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1372076901 450892 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1372076905 255742 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1372077270 469748 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1372077431 991719 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :AAAA carpenters < 1372077439 765704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(i let them in, too) < 1372077529 480911 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : kmc: Does she know what birds are? <-- birds are dinosaurs hth < 1372077533 816055 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1372077730 600115 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :01:09:56: Fiora: imo you should write fic < 1372077730 657160 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :01:10:23: maybe you can get your own fans < 1372077742 245858 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :are there any fanfics that have their own fanfics < 1372078472 194977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Taneb: FREEDOM? < 1372078898 37336 :MindlessDrone!~MindlessD@141.70.114.6 JOIN :#esoteric < 1372079709 624094 :katla!~brook@172.245.33.194 JOIN :#esoteric < 1372079809 232149 :Taneb!~nathan@host-92-23-125-3.as13285.net QUIT :Ping timeout: 248 seconds < 1372079890 319240 :katla!~brook@172.245.33.194 PART :#esoteric < 1372079893 423362 :katla!~brook@172.245.33.194 JOIN :#esoteric < 1372081233 15575 :Koen_!~Koen@78.245.243.132 JOIN :#esoteric < 1372082212 367347 :Koen_!~Koen@78.245.243.132 QUIT :Quit: Koen_ < 1372082348 596160 :abumirqaan!uid2969@gateway/web/irccloud.com/x-nzrbjdblufnvvsbr NICK :upgrayeddd < 1372082513 886661 :ChanServ!ChanServ@services. MODE #esoteric +o :oerjan > 1372082513 908370 NAMES :#esoteric < 1372082534 83164 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -b :*!*elieser22@* > 1372082534 104838 NAMES :#esoteric < 1372082540 86182 :oerjan!oerjan@sprocket.nvg.ntnu.no MODE #esoteric -o :oerjan > 1372082540 95860 NAMES :#esoteric < 1372082558 119667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :let's see if his connection has fixed itself. < 1372082592 671747 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: that wasn't a connection issue really, they /parted not /quit < 1372082597 174948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well maybe they have a really weird bouncer or something < 1372082607 249240 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :probably they've gotten bored now though < 1372082608 535037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well ok < 1372082669 333478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2794285/86400 < 1372082671 626480 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric : 32.341261574074075 < 1372083048 376025 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i wish freenode didn't keep resetting the ban dates < 1372083073 104700 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hi < 1372083179 146238 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's sort of nice to be able to see which bans are old... < 1372083306 945777 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1372083415 907416 :Nisstyre-laptop!~yours@oftn/member/Nisstyre NICK :Nisstyre < 1372083798 514658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi kmc :) < 1372083890 555387 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i am up early to receive a shipment < 1372084028 194455 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@time kmc < 1372084029 130946 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Local time for kmc is Mon Jun 24 10:27:08 2013 < 1372084036 516595 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is early < 1372084046 170383 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :though later than what I expect when most people say "early" < 1372084062 24748 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :since apparently people are superhumans who think getting up at 9 am is reasonable or whatever < 1372084163 293553 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah what's with that < 1372084201 55560 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :people are superhumans who think being /at work/ at 9 am is reasonable < 1372084239 994229 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when i was in high school i had to be at school by 8 or whatever but I could also exist on zero sleep back then < 1372084252 264003 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you too have this power elliott: enjoy it while it lasts < 1372084276 47732 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: uh it depends what you mean by "exist" < 1372084297 582887 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like I frequently have not slept in 24 hours but I wouldn't say I function particularly well under those circumstances < 1372084353 271581 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :does mozilla involve being at work at 9 am "the worst possible thing" < 1372084359 534607 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't think it does < 1372084385 492249 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't mean absolute number of hours without any sleep at all < 1372084396 744606 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :more like can you function on 4 hours of sleep a night indefinitely < 1372084489 427604 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how can you take on a job without first figuring out whether you need to be up at an ungodly hour. adults < 1372084496 735404 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :anyway uh I haven't really tried < 1372084499 473561 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well I have a few times < 1372084510 804426 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess I can theoretically do it but would want to die pretty quickly < 1372084546 551698 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :being woken up by an alarm is the worst experience < 1372084562 917469 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Would Not Recommend < 1372084721 510764 :FreeFull!~freefull@defocus/sausage-lover JOIN :#esoteric < 1372084917 335380 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372085094 661157 :sebbu2!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1372085106 86657 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Ping timeout: 246 seconds < 1372086234 444642 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1372086667 244026 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it's usually expected that your working hours have at least some overlap with other people's working hours < 1372086681 887043 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :e.g. so you can talk at each other and pretend to collaborate < 1372087431 110044 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i recall my dad's workplace had something like "core hours" when you had to be there, but then a part outside that which you could choose more freely. < 1372087468 809824 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, that's common < 1372087494 120367 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Mozilla has lots of people working remotely and from different time zones < 1372087520 411013 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :their attitude about offices is like... if there's an office near you and you want space there, you can have it < 1372087526 264080 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but they do have really nice offices < 1372087543 788664 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: it takes a special kind of person to work from a different time zone without actually being in a different place < 1372087555 920670 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :haha < 1372087582 876192 :oerjan!oerjan@sprocket.nvg.ntnu.no TOPIC #esoteric :The channel for "special" people | http://underhanded.xcott.com/?page_id=5 | logs: http://tunes.org/~nef/logs/esoteric/?C=M;O=D < 1372087607 429614 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :hi < 1372087687 90099 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hi katla < 1372087689 224625 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi katla < 1372087713 11092 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :whats up < 1372087714 203009 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Bike: so i thought about the ai thing, and i seem to recall that once upon a time i used to call the stupid kind of ai stuff combinatorial optimization. perhaps seeing the arxiv feed every day has not been good for my brain. < 1372087725 120803 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the sun is up < 1372087801 445938 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :5talk < 1372087809 55027 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :btw google scholar updates are pretty magical, like 30% of its suggestions are interesting < 1372087816 663217 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :katla: i'm up early (by my standards), waiting for someone to deliver a huge box < 1372087822 621252 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i will then load my possessions into that box < 1372087827 245620 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :and they will ship it to california < 1372087831 280619 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :cool < 1372087840 664072 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i mean interesting enough that i feel like i should read them < 1372087888 105762 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :ooh i want a huge box too < 1372087938 731845 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :packing and moving is a pain < 1372087945 986484 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but it's not too bad this time < 1372087946 103976 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh that's what you're doing < 1372087954 607626 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i do not envy you anymore < 1372087970 876012 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :last time i moved it was like 50 meters, and it still took almost a day < 1372087980 792827 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :heh < 1372087990 291023 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in college we used shopping carts for that purpose < 1372088010 203070 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :stolen from the local grocery < 1372088017 188540 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :if you're really lazy you just park your shopping cart full of clothes and stuff in your new room and don't bother unpacking it < 1372088024 38556 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i didn't even have to go outside to move stuff from the old apartment to this one < 1372088031 243469 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it just becomes a piece of furniture like a dresser < 1372088052 953293 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :in the weeks leading up to moving day, people would hoard shopping carts and stash them in secret locations < 1372088059 199852 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric ::D < 1372088082 693811 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :i've always wanted a shopping cart but stores refuse to sell theirs and stealing is wrong or something < 1372088097 16246 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372088100 960421 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1372088111 461407 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I only stole carts from the people who'd already stolen them < 1372088114 751534 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that makes me a good guy right < 1372088116 744705 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yes < 1372088124 7422 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :unless they stole it from someone who stole it from a store < 1372088131 258626 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :in which case you are an asshole < 1372088134 243343 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh no < 1372088145 975616 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i'm going to have to move all my shit back from warwick in a couple of days < 1372088155 256410 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i am not looking forward to that < 1372088155 673088 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :to where? < 1372088237 942188 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :back to edinburgh < 1372088267 573443 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so today, me and my coauthor started our first article on cellular automata where our supervisor is also coauthoring < 1372088295 620614 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(i have something about picture languages with him, but we never did anything together before for some reason) < 1372088338 272926 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :Phantom_Hoover: are you quitting university < 1372088348 502321 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no, i'm just moving out of halls < 1372088360 693872 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh err what does that mean < 1372088371 840530 :nortti!nortti@nano.smar.fi NICK :nortiecat < 1372088382 372887 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :heh they're still going strong http://michaelnielsen.org/polymath1/index.php?title=Bounded_gaps_between_primes < 1372088395 900075 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :almost at 10000 now < 1372088426 734951 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, halls of residence are the on-campus accomodation you stay in for the first year < 1372088446 282786 :nortiecat!nortti@nano.smar.fi NICK :nortti < 1372088500 290832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: eventually it will turn out that the lowest you can go is 3, hth < 1372088511 618316 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1372088533 93651 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, was that deliberate < 1372088538 397771 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that's actually impossible) < 1372088551 321617 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: i thought of the quip before i realised the problem. then i realised the problem quickly. then i decided it made the joke better < 1372088562 51631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then i said it. < 1372088638 508551 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :pardon my stupidity, but why is that not possible? < 1372088653 197918 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh. < 1372088657 812855 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1372088668 268523 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklopol: because there are only two primes that are 3 apart hth < 1372088685 838291 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :which is the second... < 1372088688 68052 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh < 1372088691 65711 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION idiot < 1372088709 405912 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :happens to the best of us < 1372088711 648627 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe the twin prime conjecture is independent and the lowest you can go in ZFC is 8294 < 1372088733 766466 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :it's incredible they have a finite bound < 1372088756 473355 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :how would you even prove that < 1372088781 304737 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well the project started after someone found out how < 1372088886 297327 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :oerjan: 12,006 is very good < 1372089219 14534 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :the most recently published gap proof seems fun, it required a sufficiently large N, got an upper bound on that N, and manually checked every thing below it < 1372089246 27163 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :hurrah for computer-assisted proofs < 1372089260 387955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION looks at edinburgh in google maps, it seem to have a huge number of golf courses < 1372089285 4411 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*seems < 1372089294 845858 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :oerjan: okay, wow, that's incredible < 1372089331 66135 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I just assumed there was a proof or two discovered; there's actually over a dozen improvements a day on some days < 1372089343 822783 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i keep thinking my solution to moving should be to not have stuff < 1372089350 338799 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :but no matter how much stuff i get rid of I still have quite a lot < 1372089361 401715 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :though I think still a lot less than people my age are expected to < 1372089377 120294 :nortti!nortti@nano.smar.fi NICK :__builtin_nortti < 1372089379 182657 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :kmc: you have more stuff than you think, especially when you put it in boxes < 1372089385 461826 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep < 1372089390 677946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gracenotes: i think to improve on it now all they need to do is find a fairly small set of numbers which satisfies some decidable property or something? < 1372089399 566700 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or at least i remember reading something like that < 1372089404 650068 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so it's not surprising there's rapid iteration if so < 1372089432 200919 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :do you understand the proof < 1372089435 122157 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :of the original bound < 1372089466 760561 :__builtin_nortti!nortti@nano.smar.fi NICK :nortti < 1372089466 981112 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :ACTION does not understand the math, or the theorem that makes the bound possible < 1372089470 86809 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :anyone < 1372089483 700964 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i haven't tried < 1372089503 687585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :beyond what elliott said < 1372089523 954142 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :number theory is too hard for me < 1372089575 586160 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :I mean, we're computer scientists, the most we do with theoretically with numbers is represent them using unary < 1372089581 725659 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :right.... right < 1372089596 628075 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :(for those of us that are computer scientists) < 1372089654 509369 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oko and oerjan are both mathematicians... < 1372089714 207858 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :dunno, nowadays i think of myself more as a mathematician wannabe, my papers have no integrals < 1372089725 287464 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :not many at least < 1372089803 265675 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :so btw cool perhaps-result from today: a size 2 neighborhood surjective CA on a prime alphabet is permutive in one of the coordinates < 1372089837 174329 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what's a prime alphabet? < 1372089841 744600 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :(it's cool because no good characterization of surjectivity is known) < 1372089845 441217 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :alphabet of prime size < 1372089898 332662 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :acronym? < 1372089913 800317 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :CA = cellular automata if that's what you mean < 1372089935 648679 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :ah, I see, and size 2? < 1372089948 400411 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :its neighborhood has size 2 < 1372089960 813142 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the next state is based on looking at some 2 cells, relative to the current cell < 1372090023 880518 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: speaking of mathematicians, do you know much about permutations... < 1372090026 425807 :Gracenotes!~person@wikipedia/Gracenotes PRIVMSG #esoteric :mm, I see :o < 1372090051 970841 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :all cellular automata arise in this way, for some value of being the same as < 1372090054 34589 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: well a bit... < 1372090238 73482 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: well the cardinality of the set of permutations of A is |A|^|A| = 2^|A| when A is infinite and so I'm wondering about the details of the bijection between bijections between A and A and functions from A to A this should give you... < 1372090305 697812 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :oh i thought this would be about the symmetric groups < 1372090320 217051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :DISAPPOINTED < 1372090356 387293 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :dont you have to use axiom of choice to go from |X| = |Y| to a bijection X -> Y? < 1372090361 575389 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: you can pretend I said the cardinality of the symmetric group of A if that would help < 1372090375 319424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :katla: no, that's the definition of |X| = |Y§ < 1372090381 490103 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :surely it's easy to inject either in the other, and then just construct the solution with the axiom of constructable choice. < 1372090388 124487 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*|Y| < 1372090389 123683 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :no, it doesn't use choice it uses excluded middle < 1372090401 646850 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I'm also wondering if the bijection is a natural isomorphism or whatever or if it depends on the details of A... < 1372090420 488393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although _defining_ |X| may be awkward without choice < 1372090443 505898 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :point is you dont have an explicit bijection you just know one exists < 1372090476 221596 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway, if you have injections, then i believe the proof of the schröder-bernstein theorem is quite constructive. < 1372090493 229438 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :katla: i suppose < 1372090494 322541 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :there is some way to label permutations of A by subsets of A but it's probably completely arbitrary < 1372090495 250291 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah, but then my awesome joke doesn't work < 1372090501 617680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :katla: yeah... I'm interested in seeing what such a bijection looks like "in practice" < 1372090505 808465 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like if A is just the naturals or whatever < 1372090526 327014 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i imagine it as acompletely random (since we dont know anythinnf about it) < 1372090527 576850 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :katla: that may be, but i wouldn't say it's a priori clear < 1372090562 675766 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i suspect the bijection is hideously unnatural < 1372090573 148669 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah I realise it might not even be a computable bijection... < 1372090585 502291 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh i expect it's computable < 1372090613 142788 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: maybe the other form, a bijection between bijections between A and A and functions from A to 2, is cleaner?? I don't really know what I'm doing... < 1372090625 474431 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i dont think its computable, how could it be? < 1372090635 622433 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :you would need a constructive proof of its existence < 1372090646 198320 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm well maybe it depends < 1372090684 915050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh maybe you need choice to prove the cardinalities are the same. < 1372090686 530748 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :katla: well maybe for a specific A? < 1372090706 440675 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :like even just seeing an (N <-> N) <-> (N -> N) would be interesting to me < 1372090710 355182 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :it doesn't matter what A is as long as |A| = |N| < 1372090719 349252 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah < 1372090748 669443 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: N -> N should be easy. an injection from N <-> N to N -> N is trivial, of course. < 1372090754 374447 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :computable in what sense? like, for numerable A, you can compute the image of a \in A from knowing a long enough prefix of the characteristic sequence of the subset or something? < 1372090778 405743 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: just the identity you mean? < 1372090782 315045 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1372090804 364817 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :an injection the other way shouldn't be too hard. < 1372090826 54394 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and when you have those, the schröder-bernstein construction is constructive, as i said. < 1372090832 230182 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: well I mean in the sense of you can construct a Coq expression of type (bijection (bijection nat nat) (nat -> nat)) < 1372090834 273053 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :from N -> N to N <-> N is very easy too, just permute adjacent pairs and encode the images of every number < 1372090857 885929 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sounds reasonable < 1372090858 583017 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :like permu, permu, permu, no permu in the beginning would code that 1 goes to 3 < 1372090868 292400 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or well, maybe not constructive, but explicitly definable < 1372090897 786355 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm, is the reduced form actually (N -> 2) when you're doing it constructively or is it (N -> Prop)...? I know "powersets" are usually defined as the latter < 1372090963 420580 :Taneb!~nathan@host-92-30-153-154.as13285.net JOIN :#esoteric < 1372091042 389908 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :of course i don't really have a clue about real constructiveness hth < 1372091062 275082 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I need a faker mathematician :( < 1372091078 552972 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :maybe oklopol, I bet people call him a computer scientist all the time < 1372091085 724528 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :XD < 1372091127 641640 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suspect schröder-bernstein might use the excluded middle at least < 1372091138 613772 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :I pretend to be a mathematician sometimes < 1372091139 592943 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :they do :( < 1372091142 118802 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Can I be of service? < 1372091145 473147 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: my feeling is it's (N->Prop) ... (N->2) is "decidable subsets" or something like that < 1372091186 49266 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mnoqy: right but (N -> Prop) -> (N <-> N) sounds really unlikely to be non-trivial without excluded middle... (N -> 2) -> (N <-> N) much less so < 1372091192 194862 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the other day this dude who does all the practical computer stuff was like "so oklopol i bet you run virtual oses all the time" and i was like omg that sounds scary and just kinda disappeared < 1372091204 173063 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so my hunch tells me that either the reduction to 2^|A| doesn't work constructively or it's actually 2 < 1372091230 870081 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yeah An important feature of this theorem is that it does not rely on the axiom of choice. However, its various proofs are non-constructive, as they depend on the law of excluded middle, and therefore rejected by intuitionists.[1] < 1372091241 391943 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok < 1372091298 979431 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :o-oh < 1372091457 328284 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: yeah for the proof given, presumably you need LEM to determine whether it's A/B-stopper or doubly infinite < 1372091462 909587 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :the same guy (at work btw, seems i forgot that detail) always catcher me in the hallway and starts talking about his latest problems with installing stuff and i don't understand anything and just nod politely < 1372091472 649129 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh, or cyclic. < 1372091508 412253 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :is this the fun vertex matching proof < 1372091538 615475 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well there's a graph there, so probably < 1372091557 22834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Schröder-Bernstein_theorem#Visualization < 1372091561 849330 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hm maybe you can do (N -> 2) <-> (N <-> N) by taking the 2 to mean "displaced" or something... < 1372091568 75869 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :that seems to be the only one that's possible to remember < 1372091571 948256 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION starting the day with quackery < 1372091589 981362 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :yeah that thingie < 1372091808 960436 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :https://en.wikipedia.org/wiki/Myhill_isomorphism_theorem < 1372091821 737301 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :was this mentioned already < 1372091898 640306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :nope < 1372091915 240855 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :sounds related < 1372091921 620397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1372091928 74515 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :anyway < 1372091931 210863 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :bye < 1372091937 206222 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: CU < 1372091985 922577 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how did oklopol know oerjan was going to leave < 1372091998 316541 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :by the magic of reading < 1372092026 841334 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :reading... or conspiracy < 1372092034 181471 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah < 1372092038 75071 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric ::O < 1372092043 701014 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :shiiiit < 1372092066 624477 :oklopol!~oklopol@dyn60-339.yok.fi PRIVMSG #esoteric :you totally caught me < 1372092088 831133 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i love the blinking text < 1372092125 295227 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: Koen_ < 1372092631 595824 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how do you do it in irsi < 1372092640 262630 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :irssissippi < 1372092648 903085 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :^F < 1372092666 796445 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hallo < 1372092696 36551 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :im thankfully not seeing it < 1372092701 548494 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Moo? < 1372092711 449970 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :I am not either < 1372092724 407197 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Probably using the wrong terminal or something < 1372092725 347154 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Is this suppose to show up as something other than a unsupported-Unicode-character box? < 1372092733 99264 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :@messages < 1372092886 11080 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: it blinks in irssi < 1372092902 888346 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :welp < 1372092934 244206 :Taneb!~nathan@host-92-30-153-154.as13285.net QUIT :Remote host closed the connection < 1372093254 556572 :Taneb!~nathan@host-92-30-153-154.as13285.net JOIN :#esoteric < 1372093258 504531 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :well this is annoying < 1372093263 877096 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i've successfully annoyed myself < 1372093266 780163 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :thanks a lot Bike < 1372093385 19173 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :np < 1372093496 51278 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :my moving pod is here < 1372093502 924138 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :time to climb in < 1372093507 406503 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and wait < 1372093517 258880 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :could probably rent it for $800/mo in sf < 1372093529 361742 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: i have a friend who would do that < 1372093538 17822 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :bet people do it all the time < 1372093540 14347 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :he would hide in your clothes hamper for 3 hours just so he could jump out and scare the shit out of you < 1372093574 163252 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's sort of like being a sniper < 1372093586 933146 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think every time someone scares me like that I lose a few years of life < 1372093696 83327 :epicmonkey!~epicmonke@host-224-58.dataart.net QUIT :Ping timeout: 276 seconds < 1372094049 353494 :Taneb!~nathan@host-92-30-153-154.as13285.net QUIT :Remote host closed the connection < 1372094070 784300 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Every time someone scares me like that, the flashbacks kick in and I kill them. < 1372094084 796098 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :So, THEY use a few years of THEIR life. < 1372094270 919366 :Taneb!~nathan@host-92-30-153-154.as13285.net JOIN :#esoteric < 1372094288 250015 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :http://www.hexhamcourant.co.uk/news/breaking-news-dead-man-found-in-hexham-burn-1.1065270?referrerPath=home < 1372094345 439659 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Things happen in Hexham, apparently < 1372094538 740024 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :@wn courant < 1372094540 250553 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No match for "courant". < 1372094553 219121 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :is this like some crazy british spelling of "current" < 1372094602 920637 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the hexham currant < 1372094627 397440 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dead in a burn? < 1372094675 992678 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :mnoqy, burn also can mean stream sometimes < 1372094692 340884 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you crazy brits < 1372094867 853990 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :Yeah, it took me a while to realize that "burn" was not the verb. < 1372094884 819646 :Gregor!dlopen@libdl.so PRIVMSG #esoteric :I was thinking, "they found a burnt husk of a corpse?" < 1372094938 839738 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1372095149 443359 :Bike!~Glossina@174-25-59-69.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1372095247 44354 :Bike!~Glossina@174-25-59-69.ptld.qwest.net JOIN :#esoteric < 1372096232 728200 :samebchase!~samuel@codesurfers.net PART :#esoteric < 1372096668 167631 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :hexham voultage < 1372096856 891600 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i thought burn was scots < 1372096862 595344 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i guess hexham is basically in scotland < 1372096901 628226 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Phantom_Hoover, Northumbrian dialect bears much similarity to Scots in places < 1372096999 587400 :jsvine!~Adium@205.203.128.141 JOIN :#esoteric < 1372097054 931968 :hiato!~hiato@41-133-149-15.dsl.mweb.co.za JOIN :#esoteric < 1372097964 126198 :conehead!~conehead@unaffiliated/conehead JOIN :#esoteric < 1372098489 337238 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372098925 12597 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1372099047 928661 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Oh no I am still reliant on a website that will be discontinued in less than a week < 1372099410 182558 :Tod-Autojoined!~Tod@50-198-177-185-static.hfc.comcastbusiness.net JOIN :#esoteric < 1372099420 85141 :TodPunk!~Tod@50-198-177-185-static.hfc.comcastbusiness.net QUIT :Read error: Connection reset by peer < 1372099420 218373 :augur!~augur@208.58.5.87 QUIT :Read error: No buffer space available < 1372099431 342174 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1372099562 185416 :Bike_!~Glossina@174-25-59-69.ptld.qwest.net JOIN :#esoteric < 1372099595 992415 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 256 seconds < 1372099702 918409 :Bike!~Glossina@174-25-59-69.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372099780 560931 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, google reader (i thought that was already down) < 1372099789 3374 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Yeah < 1372099793 695711 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :It goes down on the 1st of July < 1372099827 21155 :Bike_!~Glossina@174-25-59-69.ptld.qwest.net QUIT :Ping timeout: 246 seconds < 1372100981 218852 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be QUIT :Quit: Leaving. < 1372100987 134477 :carado!~user4539@2a01:e35:8b61:e430:ae81:12ff:fe32:878a JOIN :#esoteric < 1372100996 411839 :Bike!~Glossina@174-25-59-69.ptld.qwest.net JOIN :#esoteric < 1372101199 177528 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so apparently Scala doesn't have parametricity. I blame copumpkin for making me discover this. < 1372101278 993557 :epicmonkey!~epicmonke@188.134.41.113 JOIN :#esoteric < 1372101294 628498 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :is that because the supertype shared by all objects contains enough rope to break it? < 1372101320 218327 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it seems to just literally give you typecase < 1372101321 36463 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : def const3[A](a: A, a2: A): A = (a, a2) match { < 1372101321 91562 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : case (s: Int, s2: Int) => if (s < s2) a else a2 < 1372101321 112552 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : case _ => a < 1372101321 112716 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : } < 1372101325 704900 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://failex.blogspot.co.uk/2013/06/fake-theorems-for-free.html < 1372101338 64850 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :very nasty < 1372101353 962258 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Hmm < 1372101355 304765 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess they figure, Java lets you do it, so there's no point hiding it because Java APIs will already break parametricity < 1372101369 762236 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Could subtyping work in a Haskell-like language? < 1372101398 273174 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but it's ugly (Scala has subtyping) < 1372101434 380170 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Like, data Foo = Foo {a :: Int, b :: Char}; data Bar extends Foo with {c :: Bool} < 1372101440 746435 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Would that work? < 1372101456 665219 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes but it's ugly < 1372101508 880292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott is prejudiced against subtyping < 1372101525 581077 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :a subtypist < 1372101549 589544 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :You would be able to use Bar with functions that are (Foo -> a) but not (a -> Foo) < 1372101662 558931 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :In away, all types are subtypes of () < 1372101677 469408 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :I am going to call that the "trivial supertype" < 1372101724 485821 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :not Void, huh < 1372101742 680638 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Bike, I think Void is sort of a subtype of every type < 1372101754 540268 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :I shall call that the "trivial subtype" < 1372101766 352106 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The type () is what is called a final object; does that have anything to do with it? < 1372101766 433259 :carado!~user4539@2a01:e35:8b61:e430:ae81:12ff:fe32:878a QUIT :Quit: Leaving < 1372101767 453131 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :wow this is so exciting huh elliott < 1372101780 625106 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :zzo38, I think so! < 1372101783 732836 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hello Bike < 1372101794 653226 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :helliott. < 1372101886 32966 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1372101887 239996 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :This subtyping thing becomes ugly when combined with polymorphic types < 1372101895 209055 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric ::( < 1372102013 456914 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do you need two extending, one for addition and one for multiplication? < 1372102022 559120 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372102056 601257 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :zzo38, I haven't thought about addition < 1372102082 88389 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: have you considered lens-subtyping vs. prism-subtyping hth < 1372102111 94260 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :With multiplication you get Bar->Foo and if you define Bar with addition then you will have Foo->Bar instead, I think, isn't it? < 1372102122 21153 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :zzo38, I think with sum types the subtyping would sort of be the other way rou --- yeah < 1372102201 64426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :No, the subtyping is still in the same direction. < 1372102210 403281 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's just that the function that you have is different. < 1372102217 936554 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or maybe you mean the same thing I mean. < 1372102219 344337 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: That is what I meant. < 1372102241 600453 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I meant Bar->Foo and Foo->Bar are the types of the functions that it would make. < 1372102242 131113 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :shachaf, with product types the larger definition is the subtype, with sum types the smaller one is < 1372102296 632122 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :This gets messy when you have more complicated types < 1372102301 280180 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :I shall now stop thinking about it < 1372102303 273055 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's not about cardinality, exactly. < 1372102307 128714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey no don't do that < 1372102308 114565 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1372102361 940902 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :taneb is my hero < 1372102417 933056 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :whats this about subtyping < 1372102435 610978 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I did write a Haskell program that will allow various modules that know a module defining a record type to each add fields without knowing each other, and the first module doesn't have to know about them either. < 1372102497 385802 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :However, you need to define a way to make default values of each fields, so that a value of such a type can be constructed. It is possible for the default value to depend on something, and whatever defines the record type also defines what type is needed to make up the default values. < 1372102587 452520 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It could be used as another way to make global variables, instead of using unsafePerformIO and NOINLINE. < 1372102588 752652 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: hey you know that haskell program that gave different output depending on which language extensions were enabled? < 1372102591 754751 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do you still have that? < 1372102627 410989 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :elliott: Yes I do have that. < 1372102639 976294 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :is it available over HTTP? < 1372102656 936739 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes. http://sprunge.us/edTV < 1372102673 511220 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :well. < 1372102679 703436 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thanks! may I share it with someone I know? do you want attribution? < 1372102716 965452 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :You can share it if you want, modify it if you want, give attribution if you want (it isn't required), etc < 1372102760 765027 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :thank you < 1372102768 733214 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :nicecode zzo38 < 1372102776 221290 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1372102817 311491 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1372102820 981735 :MindlessDrone!~MindlessD@141.70.114.6 QUIT :Quit: MindlessDrone < 1372103946 938171 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's too god damn motherfucking hot < 1372104311 789502 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@google boston weather < 1372104312 775786 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :No Result Found. < 1372104315 590608 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :help < 1372104366 632411 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :~metar EGNT < 1372104378 940470 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :METASEPIA < 1372104504 90784 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's going to hit 97°F / 36°C today < 1372104512 262258 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric ::O < 1372104578 499253 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@temperature kmc < 1372104578 608890 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Unknown command, try @list < 1372104582 829057 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh you said < 1372104583 342782 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :imo move to sf < 1372104586 565019 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that is very hot < 1372104595 25992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"it's the only way" < 1372104632 385670 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :shachaf, remind me < 1372104643 669189 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :How many people in this channel other than you live in San Francisco < 1372104652 497310 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't live in San Francisco. < 1372104663 477487 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :That is not what I asked < 1372104681 541575 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :It's what I /implied/, yes, but not what I asked < 1372104689 290624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: You should change your person-addressing character to use a colon instead of a comma. < 1372104703 870463 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :shachaf, I did for a while, but it felt wrong < 1372104704 820406 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how come < 1372104720 620086 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :, is the devil. < 1372104732 235390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It feels like part of a sentence instead of part of a protocol. < 1372104807 325381 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :why should it be a protocol < 1372104822 59410 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1372104836 116375 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that's what it is < 1372104849 352370 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Certainly I don't want people saying my name in every sentence. < 1372104860 214725 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :No, when I say, eg, "shachaf, hi!", in my head I am saying your name < 1372104883 133037 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but are you pronouncing the ch correctly < 1372104884 287133 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's the nominative! < 1372104886 863127 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :OK, then it's just rude. < 1372104909 603413 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Phantom_Hoover, what would the vocative be? < 1372104915 449401 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck < 1372104919 9983 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did i mean the vocative < 1372104930 530999 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :fuck, how are you? < 1372104936 124648 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :romanos eunt domus < 1372105211 797100 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1372105392 644795 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 256 seconds < 1372105468 157292 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1372106243 510336 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :19:59:06: it's too god damn motherfucking hot < 1372106243 654409 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :20:05:11: @google boston weather < 1372106256 326204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yeah, that's how it was the one time i was in boston too < 1372106270 300894 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :what time of year < 1372106270 407681 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :yep. < 1372106304 821460 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: around 4th of july < 1372106309 646390 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ok < 1372106314 147000 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(we watched the fireworks) < 1372106350 580627 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Last time I watched fireworks it was my birthday < 1372106387 306372 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs taneb.*birthday < 1372106393 189008 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION whistles innocently < 1372106400 222817 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :oerjan, 3rd of November < 1372106416 447743 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh. why are there fireworks then < 1372106432 684206 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.19940 < 1372106433 107223 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :Closest Saturday to Guy Fawkes? < 1372106438 591684 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ah < 1372106438 949269 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :2 days early < 1372106442 24786 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :efb < 1372106480 706417 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :... < 1372106483 281062 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :`? efb < 1372106484 891364 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :efb? ¯\(°_o)/¯ < 1372106485 325760 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69          | < 1372106485 543117 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69        o/`¯º < 1372106490 964114 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :hahaha < 1372106501 943304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :endorphins for barter < 1372106511 159304 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it's a drugz thing < 1372106511 356189 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`? myndzi < 1372106513 197893 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :myndzi? ¯\(°_o)/¯ < 1372106513 650214 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69             | < 1372106513 756584 :myndzi!myndzi@2600:3c00::f03c:91ff:fedf:3d4e PRIVMSG #esoteric :69           o/`¯º < 1372106515 827547 :Taneb!~nathan@host-92-30-153-154.as13285.net PRIVMSG #esoteric :electric flying bananas? < 1372106529 273042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`learn myndzi keeps us all on our feet < 1372106533 69789 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :I knew that. < 1372106676 916697 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :"edit: fuck, beaten" < 1372106747 882348 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :is that a sommethingawful thing? < 1372106827 334050 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's an internet thing < 1372106838 187556 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :maybe originating from SA (like so many internet things) < 1372106844 377 :epicmonkey!~epicmonke@188.134.41.113 QUIT :Ping timeout: 240 seconds < 1372107373 543990 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1372107490 69353 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net JOIN :#esoteric < 1372107933 133254 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if anyone is interested i am streaming the masterpiece of game design "dot action 2" http://www.twitch.tv/neostairs < 1372107952 21261 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :stairs 2: revenge of escalator < 1372108044 36240 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :wow what the heck is this < 1372108111 848530 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :dot action 2 < 1372108124 692734 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :elliott you have to jump all the way to the top come on man. < 1372108128 668852 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i know < 1372108129 867688 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm sorry < 1372108131 673116 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm so sorry < 1372108147 529471 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :u fucked up < 1372108165 172862 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :what's with all the japanese < 1372108165 796016 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :this looks so horribly unfun < 1372108165 817006 :fungot!fis@eos.zem.fi QUIT :Ping timeout: 248 seconds < 1372108179 825029 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lost terminal < 1372108192 131650 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :is it encoded in ascii somehow? i'm wondering if zzo made this < 1372108242 319057 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :what the hell do all these numbers mean................ < 1372108254 596376 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ZET lets you walk through lava < 1372108259 845432 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :oh < 1372108261 542026 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :ok < 1372108261 791502 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :katla: it's the greatest game ever made actually < 1372108294 128997 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :wow that was a "pretty intense jump" good job < 1372108312 381961 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that jump? not so intense < 1372108331 618732 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :yeah you need to rev up the intensity there, imo. < 1372108416 709043 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :good death animation < 1372108441 879733 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :whats great about it < 1372108487 235371 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :the circus music < 1372108488 715112 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's beautiful < 1372108496 71647 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :possibly it's a Dogma thing < 1372108500 202416 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also in like 40 levels it stops bothering to make sense < 1372108508 58761 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :cant wait 2 see < 1372108515 320523 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i forget how far i got in that game < 1372108529 567105 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :is this like. why are you doing this < 1372108542 930465 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1372108558 219068 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :oh < 1372108567 737573 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :you're just addicted to the beep sound < 1372108614 508284 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh i think i remember this level < 1372108627 86656 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :what time units are being used exactly < 1372108633 852496 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :TIME < 1372108654 370894 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :right < 1372108657 677735 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :katla: it's true < 1372108758 217941 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :how can you bare playing this < 1372108773 650226 :Taneb!~nathan@host-92-30-153-154.as13285.net QUIT :Quit: Leaving < 1372108797 796867 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i think it's a ritualistic thing < 1372108809 872460 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :I was hoping it was actually an AI he wrote for the purpose < 1372108916 309187 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :it seems like you could write an AI to play this game < 1372108921 913914 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :but it would take a lot of effort < 1372108937 226585 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :better just to get some chump to play it for you < 1372108979 794593 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i guess this game is what you get if you remove everything good from super metroid then try to make a game out of whats left < 1372109001 918857 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :wow i already hate this level. < 1372109003 693854 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :http://www.theonion.com/articles/register-number-one,32928/ < 1372109016 201054 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :katla: "this is N for people who don't like fun" < 1372109025 458527 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :hehe < 1372109110 640742 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote i guess this game is what you get if you remove everything good from super metroid then try to make a game out of whats left < 1372109114 703095 :HackEgo!dlopen@libdl.so PRIVMSG #esoteric :1061) i guess this game is what you get if you remove everything good from super metroid then try to make a game out of whats left < 1372109147 572556 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :the fact that it goes black when you talk on irc is scary since it implies that you're actually playing < 1372109201 208782 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott explained it elsewhere actually: this is just a youtube let's play and it goes black when he's switching to the next video < 1372109206 725982 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nobody played this gaem < 1372109216 144951 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :***Game < 1372109221 374551 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :ok phew. < 1372109247 232111 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :so uh. why are you streaming a let's play < 1372109296 341463 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mnoqy forgot to mention i was joking < 1372109311 398932 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :shut up don't ruin my dream. < 1372109328 606037 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im going to do this next level without sound to show how hardcore i am. < 1372109358 571657 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :whats ZET < 1372109376 802279 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :lava immunity < 1372109386 882573 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :lava being the beige orange dots < 1372109394 505109 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :ok i hate this level. < 1372109397 183799 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: i'm glad you recognise they're lava < 1372109400 610631 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :some people think they're electricity < 1372109402 312763 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but they're so wrong?? < 1372109418 921751 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :confession: i only know because monqy said so < 1372109428 996961 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oops < 1372109434 636263 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i knew it was lava without anyone telling me < 1372109440 648101 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :katla > bike, imo < 1372109453 391408 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :hey. hey there's sound!! < 1372109541 503626 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1372109541 623381 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im glad for this stage < 1372109545 170921 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :how have you been watching it without sound < 1372109565 366759 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :no i've been watching it w/ sound < 1372109565 569305 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :the sound is the only good thing about it < 1372109569 761809 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :but you said you were turning it off! < 1372109575 111159 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott: probably in reference to 14:28:49 im going to do this next level without sound to show how hardcore i am. < 1372109590 923486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh i just muted it on my computer < 1372109625 69915 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :i think this level is the worst. < 1372109645 71712 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :ha ha ha ha ha < 1372109655 428571 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :prepare < 1372109659 246545 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hey nooodl did you beat dot action 2 < 1372109660 450531 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Like at least seven worst < 1372109667 491694 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :what i dont understand is why you'd even want to complete this level < 1372109676 358270 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :no i got to stage 50ish and i'm on "post traumatic stress hiatus" < 1372109710 145675 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :katla: some people walk on coals. some people go to the dentist. some people play Dot Action Two < 1372109888 98590 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i can't even fail at this level in a good way < 1372109889 829141 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :basically elliott is a flagellant. < 1372109891 214163 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :only embarrassing ways < 1372109997 167311 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :elliott: You have to jump between the tall things. < 1372110003 498674 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes. < 1372110005 392633 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm aware. < 1372110025 432193 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Make sure you aim your jumps so that from each tall thing you land onto the next tall thing. < 1372110088 294372 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Don't touch the lava things. Really you shouldn't be anywhere near the lava on your return trip, it's way below where you should be (which is: on top of the tall things, or between them, in the midst of jumping between the tall things) < 1372110193 418710 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :WHY < 1372110206 889042 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :This level is at least nine bad. < 1372110209 6234 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :IMO. < 1372110304 837031 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :oh < 1372110312 67596 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :the jumps are blind < 1372110327 422291 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :god bless america < 1372110336 557747 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah it would be easy if you could see where you were jumping < 1372110343 359564 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what is bike playing < 1372110354 163328 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :The give elliott helpful advice game < 1372110377 569200 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott < 1372110378 212071 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no < 1372110404 54851 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you're playing a trial-and-error platformer < 1372110424 62175 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :you understand. < 1372110426 917190 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you should know better < 1372110437 845348 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :elliott knows nothing. < 1372110440 36606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you watching < 1372110443 135308 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :he's enlightened. < 1372110458 313531 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did you learn nothing from the support group! < 1372110472 252155 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :@ask sgeo i have a BYOND-related question for you. i know. i'm sorry world < 1372110472 588436 :lambdabot!lambdabot@2a01:7e00::f03c:91ff:fedf:9fdd PRIVMSG #esoteric :Consider it noted. < 1372110475 494773 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(also: are you using OSX???) < 1372110490 225349 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :he's using Haiku with reskinned windows < 1372110528 562019 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :arch just wasn't obscure enough i guess < 1372110560 375334 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: do you really < 1372110561 18045 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i dont want to watch any more of this horrid game < 1372110576 513633 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's like a cat rubbing sandpaper on my eardrums < 1372110589 904744 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :elliott: i'm sorry................................. < 1372110598 225517 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :what is BYOND < 1372110606 377749 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :katla: neither does anybody else. we're trapped < 1372110606 689870 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :some thing sgeo likes < 1372110624 662191 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :uh oh... this is < 1372110630 811452 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :wow < 1372110675 467221 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :thislevel is the worst ye < 1372110675 995897 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :t < 1372110683 394679 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's like VVVVVV < 1372110685 815936 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :except not fun < 1372110712 138963 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :technically the gravity direction never changes < 1372110716 370559 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :everything else does! < 1372110727 941369 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Bike: isn't BYOND the thing used for space station 13? < 1372110736 565130 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :yeah that's why im asking < 1372110762 767594 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :since i'm thinking about playing it but if it's a web client that would be nice and convenient. < 1372110769 801726 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :wow nicely done < 1372110775 752058 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yessss first time!!! < 1372110785 562364 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :good level < 1372110798 357479 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :what happened < 1372110802 306102 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :he won < 1372110802 627983 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : everything else does! < 1372110803 509196 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :the level < 1372110811 393551 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :there was an option for this in VVVVVV! < 1372110832 280357 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no elliott < 1372110834 909511 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you can't stop now < 1372110839 109600 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i don't stop < 1372110859 456016 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :omh < 1372110870 120242 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :this level's at least twelve worst for sure < 1372110871 925166 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :omz < 1372110872 685006 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :look at this shit < 1372110874 692870 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :definitely 12 < 1372110880 10928 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no < 1372110883 617277 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this is like 23 worst < 1372110884 755777 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :at least < 1372110917 13237 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1372110923 15998 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok i'm ready to reveal the secret < 1372110926 201316 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i already know how to do this level < 1372110934 806850 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i just wanted to give you all the experience of doing it spoiler-free < 1372110936 673618 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric ::o!!! < 1372110943 276816 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i warn you < 1372110947 32260 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's pretty bullshit < 1372110953 245918 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :so's the game < 1372110968 600900 :sacje!~sacre@unaffiliated/klet JOIN :#esoteric < 1372110971 124009 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you just hold down right < 1372110981 878032 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Phantom_Hoover: see, that's why it's 12. < 1372110988 473614 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :well, i'll bump it up to 13 for being misleading. < 1372110992 81744 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :take note elliott < 1372111112 514873 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oh < 1372111119 961671 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that's maybe 3 worst then < 1372111141 701090 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :the timer < 1372111147 666841 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :this one's like 10 worst < 1372111162 84431 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :horrible < 1372111306 420393 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :"wow i hate this game and i'm not even playing it" < 1372111311 256113 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it took me far too long to mute the stream < 1372111318 669960 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :"this guy is more of a masochist than i am" < 1372111374 969727 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how much of a masochist are you < 1372111379 879376 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :back to work < 1372111396 405679 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :do the jumps < 1372111523 312757 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what have i done to deserve this < 1372111543 451378 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :you made me read about functors being boxes that one time. < 1372111558 883061 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :functor? i hardly know 'er! < 1372111561 690517 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :ACTION will see himself out. < 1372111609 976086 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :must stay calm < 1372111648 286931 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :did you know that there's literally a time out on pausing < 1372111651 508838 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it doesnt' let you pause too often < 1372111681 883926 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ok 5min break < 1372111683 442269 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :nice < 1372111693 854447 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :congrats!! < 1372111805 619091 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, but it gives you infinite restarts < 1372111807 222694 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :doesn't it < 1372111810 579786 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :doesn't it.......... < 1372111829 34686 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :http://msnbcmedia.msn.com/j/MSNBC/Components/Photo/_new/pb-130617-obama-putin-meeting.photoblog900.jpg < 1372111903 259941 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :Phantom_Hoover: it does < 1372111922 629135 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, read that as 'obama put in meeting' < 1372111943 939518 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Ping timeout: 246 seconds < 1372112032 973515 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :im back < 1372112042 997278 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: yes < 1372112103 433355 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :are not splaying < 1372112110 744400 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :i see only black < 1372112133 853110 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :some of my viewers are mutinying < 1372112159 876061 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I have used templates having lines line {{Template:{{{1}}}|num=0|name=NROM|disc=Discrete|who=Nintendo|prgrom=32768}} in some MediaWiki but does Wikipedia or Esolang wiki uses it or anything else you have done anything like this? < 1372112162 672881 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't see < 1372112163 818209 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :anything < 1372112176 729701 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :yeah there's nothing playing. < 1372112367 871261 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :this is: unacceptable < 1372112380 659118 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :ACTION crosses arms, nods < 1372112460 432757 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :elliott: i'm disappointed < 1372112522 682191 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :happy now??? < 1372112527 681597 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :did you < 1372112530 161426 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :make that yourself < 1372112535 477270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1372112543 710977 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the alternative, see < 1372112544 721512 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :omg good < 1372112546 235565 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :very good < 1372112548 708153 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :fantastic < 1372112552 679211 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: what's interesting about templates like that < 1372112553 460289 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :it's so good < 1372112562 514388 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is that you found a banner with 'intemrisision' written on it < 1372112568 766457 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and i don't know which is stupider < 1372112583 338591 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm using $500 broadcasting software < 1372112586 636183 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it lets me do great things like this < 1372112622 596513 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: Look at http://ifwiki.org/index.php/List_of_Z-machine_interpreters to see how it can be used. < 1372112668 798844 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :looks pretty nice zzo38 < 1372112728 578988 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Wikipedia has a lot of those sorts of tables but I don't know what kind of templates they us < 1372112731 560584 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :e < 1372112761 190291 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :how does Z-machine piracy check work < 1372112773 123572 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :behold < 1372112790 527765 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: It is unspecified. < 1372112799 895007 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: How can it be implemented, then? < 1372112817 187368 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :My own interpreter just uses a command-line parameter to decide whether it is genuine or not. < 1372112822 446408 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :oh god it's back help < 1372112835 481797 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Also, no existing Z-machine games even use that anyways.) < 1372112839 354436 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: so this is like the Evil Bit in IP then < 1372112878 537964 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this level is 5,000,000 bad < 1372112879 273366 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fyi < 1372112887 693374 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Fweep does it by if you specified -p switch then it assumes it is pirated and if you don't specify -p then it assumes it is genuine.) < 1372112890 486162 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :which level `i wasn't watching' < 1372112892 12531 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :i don't know the bad->worst unit conversion. < 1372112893 739675 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :this level < 1372112894 873210 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :are you ready < 1372112897 512994 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :I'm ready. < 1372112899 56512 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :this is 30 worst < 1372112900 713228 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i'm NOT joking < 1372112902 910098 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :im redy < 1372112919 388946 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :im not ready < 1372112928 501418 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: I suppose it might be something like that. < 1372112939 334817 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :wow this level is a lot easier than it was when nooodl did it < 1372112942 99992 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :500 worst < 1372112942 743431 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :i see your point. < 1372113051 641423 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i like how with every retry you get ever further from success < 1372113052 518516 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The only Z-machine program I know that even uses the piracy check is CZECH, which is used to test if the Z-machine interpreter is working properly. Fweep passes 100%, unless -p is specified in which case it fails that test but still continues running; it just logs the failure and then reports at the end that one test failed. < 1372113103 78923 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :adjsfojortgfdvcoij m < 1372113179 508431 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i don't think you're going to get past this level this side of heat death < 1372113205 951732 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :whyyy < 1372113218 486976 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :intermeseinos < 1372113340 852933 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is recommended that an interpreter assume the game disc is genuine by default, and my interpreters do this too. No games use it; nevertheless, you could write a game that uses it in order to shorten the game if the game disc is pirated; you could use this to make a short demo version using the same story file, in case some players want to play the short version, or if you are providing it on a telnet server and want to sell the full version. < 1372113450 652745 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i should move to sf in a cube like kmc instead of doing this < 1372113488 6471 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :cube action 2 < 1372113519 139447 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yes < 1372113546 54652 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :it's like cube action 2 but 3d. < 1372113555 749891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :cube action 2 is very like cube action 2, yes < 1372113555 963318 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :did you warp the intermissions picture < 1372113563 703266 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :when the guy dropped it off today he said "think tetris" < 1372113565 618811 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :true story < 1372113579 499492 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :kmc: what's this story about < 1372113641 609595 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Bike: yes < 1372113700 16207 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it's about my cube < 1372113714 171678 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :is that a euphemism < 1372113774 735015 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :katla: you were so right < 1372113786 109028 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :about what < 1372113791 51270 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :it's been 24 minutes < 1372113796 830641 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :Unbelievable < 1372113797 796265 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :dot action 2 < 1372113842 584098 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :imo play more so it takes less time < 1372113864 474535 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :this is the run < 1372113872 619536 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :preparing myself, mentally and physically < 1372113899 40083 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i'm imagining a montage of elliott doing push ups < 1372113912 271510 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :just let out the most ungodly noise < 1372113935 224234 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :transcribe it for us (ps we really need mic commentary) < 1372113935 986322 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :elliott pushup montage < 1372113949 309271 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :don't make fun of me kmc < 1372113997 30692 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :auguhhh < 1372113997 462697 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i like how the first attempt went really well < 1372114003 766558 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i know exactly how elliott feels now...... < 1372114034 839330 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1372114241 263165 :jsvine!~Adium@205.203.128.141 QUIT :Quit: Leaving. < 1372114242 633129 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hmm < 1372114258 81923 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i want to link to the turkish star wars training montage but i don't know how to make it relevnat < 1372114260 306962 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*relevant < 1372114270 612620 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :turkish star wars is the best < 1372114282 935380 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't even remember that montage and yet I know it's the best < 1372114359 611660 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :http://www.youtube.com/watch?v=saOSPjm8cX0 < 1372114368 765937 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(there's another version but it is inferior!) < 1372114386 486411 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(it has push it to the limit in place of the original soundtrack and the quality isn't as shitty) < 1372114596 917941 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooodl: did you ever work out time <-> seconds < 1372114614 259101 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :it's a frame thing presumably? < 1372114634 248814 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :hmm no < 1372114642 306407 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i estimate it's about 1/3 second = 1 time < 1372114654 964127 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :or 1/4 ratehr < 1372114760 741805 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what was the trick for the last part again... < 1372114765 418888 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :there's no trick :-) < 1372114773 228127 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :the trick is suffering hth < 1372114774 175237 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well what are you supposed to even do, I've forgotten < 1372114805 787590 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :jump from the very edge of the thing < 1372114818 669898 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right but the water... < 1372114865 546861 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i just see itnemrisision < 1372114910 978823 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1372114912 506676 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i'm preparing < 1372114944 423706 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the push-ups thing was a joke elliott! < 1372114949 447305 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :btw i don't think it's even possible < 1372114952 131960 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :if you pause this long < 1372114955 632325 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :you have to be in the flow < 1372114971 439404 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :now you're gonna unpause and it'll be like Whoa < 1372114976 247271 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :and you'll mess it up < 1372114976 471352 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :In BlogNomic, currently you can get points by coming up with a theorem that you can prove, but nobody else can prove. < 1372114997 411211 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So I took two huge prime numbers, multiplied them together, posted the result, and asserted that that number is composite. < 1372115010 621917 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :eh < 1372115042 671761 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :you don't have to publicize your proof? < 1372115057 89047 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :that would defeat the point wouldn't it < 1372115058 827523 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :You do, but once you do, nobody else can submit a proof. < 1372115080 105155 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Also, you have to wait 48 hours before submitting a proof. < 1372115092 819879 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :something something zero-knowledge < 1372115104 264263 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Aren't there primality tests though? < 1372115109 687320 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :someone could run a primality test on it and show that it's not prime < 1372115123 631453 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Fiora: true, but nobody has done that. < 1372115128 643940 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, the idea is that modern encryption algorithms are based on multiplying huge primes isn't it? < 1372115134 933370 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or whatever. < 1372115150 351408 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and factoring the result is difficult < 1372115154 78204 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you can tell a number isn't prime without actually finding its factors i guess < 1372115174 286893 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Well, the idea is that the product of two really big prime numbers is hard to factor. < 1372115180 741930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also I think all the efficient primality tests are probabilistic? < 1372115181 838001 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Read error: No route to host < 1372115184 586202 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :The fact that this fact is used in encryption is just sort of a side effect. < 1372115195 958026 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :hthere's a fast algorithm to check if a numberis prime < 1372115200 183741 :katla!~brook@172.245.33.194 PRIVMSG #esoteric :withouut factoring < 1372115217 362818 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :elliott: I think that all of the common primality tests can tell you with certainty that a number is composite. < 1372115227 56341 :carado!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1372115234 701979 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :yeah AKS is assured < 1372115244 33410 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :it's factoring that's hard < 1372115261 283504 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Like, if the number is prime, it's guaranteed to say "the number may be prime", but if it's composite, there's a 25% chance it says "the number may be prime" and a 75% chance it says "the number is definitely composite". < 1372115263 682385 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :PRIMES is in P maaaaaaaaaaaaaaaaaaaaaan < 1372115677 790520 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.javascripter.net/math/primes/millerrabinprimalitytest.htm says it's composite~~ < 1372115739 208338 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what do those ~s even mean < 1372115747 916211 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :javascript seems like... not the ideal thing to do heavy arithmetic with < 1372115749 351028 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :are you saying "" in a really sarcastic tone < 1372115790 308518 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :they mean like tildes < 1372115791 813553 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :hth. < 1372115822 158453 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Someone told me what they mean once. < 1372115833 869597 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I think they indicate some certain thing. < 1372115851 127094 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Like, something related to something, or whatever. Like, when the one thing happens, then you use ~~ to indicate that. < 1372115877 853912 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Except that, like, it's not really a thing that happens; it's really, like, the sort of thing that *could* happen, if the people were talking face to face. < 1372115885 121539 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1372115899 604060 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :So, you know, like, when, uh... yeah, that. < 1372115945 901903 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :are you high < 1372115960 182602 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :It is very unlikely. < 1372115981 242194 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :In fact, I'd go so far as to say it's extremely unlikely. Or maybe not, depending on how you define "high". < 1372116080 709714 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :omg 24 time < 1372116081 467966 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :luxury < 1372116093 918796 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :good < 1372116160 902487 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :RIP < 1372116178 893869 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :remember when i did exactly that and i had it 3-4 tries later though! < 1372116282 178968 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :Oh wow, the miller rabin primalitytest takes a long time if it's a probable prime < 1372116302 373539 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :hmm < 1372116311 145513 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :35844088534668175608533550469325416140711880836358433520741183341559409752958417564900205152763659819317338304041228758958269744936094178001500112469790418773135543301899194065881801585777676220908369 tswett: yours isn't prime but this one is, I think! < 1372116317 112665 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what happens if you try and do cryptography with something that looks prime < 1372116354 38405 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :did tswett actually say the number? < 1372116356 497502 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION didn't see it < 1372116362 610159 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :where is tswett's number < 1372116363 610045 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :elliott: I guess I didn't. < 1372116369 129219 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Here it is, with muchos espacios: < 1372116376 510424 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :35 844 088 534 668 175 608 533 550 469 325 416 140 711 880 836 358 433 520 741 183 341 559 409 752 958 417 564 900 205 152 763 659 819 317 338 304 041 228 758 958 269 744 936 094 178 001 500 112 469 790 418 773 135 543 301 899 194 065 881 801 585 777 676 220 908 841 < 1372116396 633884 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :" FFT-based multiplication can push the running time down to O(k log2n log log n log log log n)" logs are officically the worst < 1372116396 937662 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :I know what you're thinking. That's not a number, that's sixty-seven numbers! < 1372116397 134615 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :nice spaces < 1372116421 110510 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :that's log² n, i gues < 1372116425 694468 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i really don't understand how algorithms end up being O(log log n) < 1372116428 923684 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :tswett, you could just ask them to prove that the digit sum of the factors is < 1372116435 692472 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Bike: what's k here? < 1372116453 653973 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Phantom_Hoover: or that it has a factor in a certain specific range. < 1372116468 594032 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :"The number of different values of a that we test" < 1372116473 403998 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :nooodl: http://en.wikipedia.org/wiki/Miller_rabin#Algorithm_and_running_time behold. < 1372116486 472079 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Bike, what's your BYOND-related question? < 1372116504 817516 :tswett!~quassel@unaffiliated/tswett PRIVMSG #esoteric :Bring your own nondeterminism? < 1372116517 970782 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Sgeo: already rendered irrelevant < 1372116529 765503 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :tswett: the deterministic version is down the page a bit. it sucks < 1372116532 819725 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no, Sgeo likes it so it's probably nostalgic in some capacity < 1372116559 811270 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :I was going to ask if I needed to download anything to play space station 13 < 1372116562 752896 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :the answer is apparently yes. < 1372116569 637756 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :The BYOND client < 1372116580 583016 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Called "Dream Seeker" < 1372116599 661771 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :All resources for the game itself should be automatically downloaded by the client when you connect < 1372116603 82728 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :i'm reading the blognomic post. what's this whole list nonsense < 1372116611 380952 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :did you obfuscate it for "fun".... < 1372116616 507101 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :An HTML5 BYOND client would be cool < 1372116629 316085 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Although would presumably need a proxy < 1372116771 83309 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :how long have you been playing this elliott < 1372116814 732516 :nooodl!~nooodl@91.177.64.93 PRIVMSG #esoteric :this level: one hour with breaks hth < 1372117451 524874 :Bike!~Glossina@174-25-59-69.ptld.qwest.net QUIT :Ping timeout: 255 seconds < 1372117459 334308 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :fuck this, i'm watching apocalypse now < 1372117480 669794 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :good movie imo < 1372117526 982273 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :are you watching the 3½ hour extended edition < 1372117532 340604 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i haven't seen that < 1372117578 78081 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I hear the making-of documentary _Hearts of Darkness_ is also very good < 1372117600 189717 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1372117608 58231 :Bike!~Glossina@174-25-59-69.ptld.qwest.net JOIN :#esoteric < 1372117624 288504 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :Sgeo: is the linux byond client functional < 1372117749 917677 :Sgeo_!~Sgeo@ool-ad034ea6.dyn.optonline.net JOIN :#esoteric < 1372117798 57020 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net QUIT :Ping timeout: 276 seconds < 1372117816 402761 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, i don't think i am < 1372117819 198574 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i hope i'm not < 1372117840 567997 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :you should imo < 1372117846 544675 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i... am not going to finish this tonight though < 1372118077 718754 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :welp, i'm torrenting it instead < 1372118103 652605 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, can apocalypse now in any way be compared to elliott's dot action 2 travails < 1372118145 635887 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i cannot say < 1372118250 185260 :Bike!~Glossina@174-25-59-69.ptld.qwest.net PRIVMSG #esoteric :apocalypse now has a better soundtrack < 1372118259 799718 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it has a v. good soundtrack