< 1366502408 239866 :benuphoenix|away!~benuphoen@ec2-54-214-2-99.us-west-2.compute.amazonaws.com NICK :benuphoenix < 1366502561 281029 :augur!~augur@c-68-34-26-189.hsd1.md.comcast.net QUIT :Remote host closed the connection < 1366502993 651359 :Koen_!~Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?" < 1366503126 680531 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : http://toronto.kijiji.ca/c-ViewAd?AdId=476525281 <---- Bike + wood = Classy bike < 1366503174 714486 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :is this a fixie < 1366503208 380236 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I didn't look at the link. < 1366504245 770845 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :fixie? < 1366504537 840114 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :bike slang < 1366504583 480156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: greeeetings < 1366504600 610074 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1366504622 222399 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :how many functions of type Bool -> Bool are there < 1366504634 80467 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :s/function/value/ < 1366504636 660365 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :is this a trick question < 1366504641 869825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1366504657 129967 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well we're counting ⊥s and things, does that count as trick................... < 1366504660 409934 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1366504662 570208 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh < 1366504664 19889 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :then yes < 1366504666 742546 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :27? < 1366504669 590070 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :but now you know the trick < 1366504673 873498 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :There's the obvious 4 < 1366504674 860695 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2^2 real functions, 1 for bottom, 1 for const bottom? < 1366504684 189751 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you're missing a bunch < 1366504691 480036 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :different flavours of bottom? < 1366504693 580741 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :like f True = True; f False = undefined < 1366504694 579655 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :can't you have bottom -> true, bottom -> false, bottom -> bottom < 1366504697 211453 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :uuuuugh < 1366504702 300426 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, we need to count outputting bottom on true, output bottom on false < 1366504705 500740 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i hate this question < 1366504706 100351 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :shachaf i think this may be a dumb question < 1366504711 932969 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it's so dumb < 1366504714 610920 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sooo dumb < 1366504716 503933 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So it's more than I forget which way the exponents go < 1366504718 21707 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3^3 and leave it at that < 1366504722 841201 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3^3 + 1? < 1366504725 599366 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :uuugh < 1366504727 349992 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy no..... < 1366504730 879837 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2^3 + 5 < 1366504733 270063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :3^3 is way too much < 1366504736 831512 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dont want any more of this < 1366504743 511377 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2^3 + 1 is my final answer < 1366504746 501665 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If it takes _|_ in then it has to be const true const false or bottom (or const bottom) < 1366504751 40062 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :er < 1366504754 229947 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :not 2^3 < 1366504756 71005 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3^2 < 1366504759 421301 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erm, takes _|_ in and outputs True of False < 1366504759 720350 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3^2 + 2 < 1366504760 470488 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :er < 1366504761 480241 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3^2 + 1 < 1366504762 240810 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :uugh < 1366504764 879876 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hate this question < 1366504766 190199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :13 is what i ended up with < 1366504766 405270 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Screw the bottom < 1366504782 180516 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh right theres also < 1366504788 789889 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yeah im not playing this game anymore < 1366504801 550176 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is this the real reason you use total languages < 1366504802 741029 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I'd play it if I just had time to write it down < 1366504804 90173 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :take your question and go back to "cares about bottom"land < 1366504820 700389 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :As in, mnoqy's guesses are confusing < 1366504829 52841 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :not all of my guesses were serious < 1366504852 643649 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :one of them was right i think "but was it only right by accident" < 1366504856 473620 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hlep < 1366504894 830673 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :m -> n are there (ign. bottoms) m^n or n^m I forget < 1366504913 200648 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :think of tuples < 1366504929 481261 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :think of () -> a vs. a -> () < 1366504934 780173 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :that works too < 1366504944 150123 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf's makes more sense < 1366504971 250343 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I,I f :: () -> (a vs. a) -> () < 1366504974 680587 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :m->n there are n^m then < 1366504990 979532 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ANOTHER CLUE THAT WE'RE WRITING FUNCTIONS BACKWARDS, IMO YES < 1366504995 100054 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Sgeo: tuples makes sense if you realize x^n is n->x < 1366505008 780775 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :a -> () is easy < 1366505032 240515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it a monoid........... < 1366505033 290124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :yes it is < 1366505048 840317 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So, ignoring input bottoms but not output bottoms, there are 3^2 Bool->Bool < 1366505050 606587 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :a _ = (); a x = x `seq` (); a x = a x; < 1366505133 500757 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :We can just add manually the 2 functions that are _|_ -> True and _|_ -> False < 1366505171 800423 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So let's assuming that the 3^2 functions all bottom on bottom < 1366505190 841741 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you also need bottom and const bottom < 1366505192 490685 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Since that will help avoid double-counting const True and const False < 1366505201 200046 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mnoqy, I can add those later or something < 1366505217 110358 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I.. think < 1366505227 521093 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :so what's the point of this question < 1366505230 97432 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes but then you're playing into shachaf's hand < 1366505273 210494 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :We can also be bottoming on True but not bottoming on False, and bottoming on False but not True < 1366505279 990556 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1366505291 670456 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Hold on, that may end up double-counting some in the 2^3 < 1366505293 843840 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erm 3^2 < 1366505294 290775 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1366505299 431435 :lambdabot!~lambdabot@li85-105.members.linode.com QUIT :Remote host closed the connection < 1366505334 590582 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Yes, I've already counted the sometimes bottomers < 1366505358 150316 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So it's 3^2 + 2 + 1 + 1 if I did not already count const bottom, but I did. < 1366505368 800447 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :So 3^2 + 3. I think. < 1366505397 670651 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :12. < 1366505413 399540 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :you're 1 off of shachaf's 13 < 1366505413 942162 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I guess I could try to make a list... < 1366505430 240173 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :yes just write them all out < 1366505436 190114 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :it's like phil 101 homework all over again < 1366505444 150148 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :imo dont bother < 1366505483 751491 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :mnoqy, where's the mistake in my logic, if there is one? < 1366505485 96095 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :i'm already bothered < 1366505489 531816 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :erm, shachaf < 1366505515 340339 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :We could try 3^3 and remove the invalid ones < 1366505524 870442 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sgeo./.... < 1366505538 100367 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Oh, 3^3 + 1, sorry < 1366505585 60558 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: did you count f = ⊥ < 1366505589 780136 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thats the + < 1366505590 520621 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :1 < 1366505602 450783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :o k < 1366505611 942212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well i don't know < 1366505620 890194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :list out all your functions and i'll tell you which one is missing/???????? < 1366505623 71314 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :srsly, why'd you ask < 1366505632 490424 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :it came up in #haskell < 1366505645 480047 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :why? < 1366505657 800224 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :don't ask why things come up in #haskell < 1366505672 260274 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :~_~ < 1366505696 525050 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :3^3 + 1. This includes a number of functions that given a bottom don't bottom but not given a bottom do sometimes bottom. There are 2 ways to not bottom. times ... argh < 1366505771 990377 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :times seven < 1366505778 120725 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :bot -> 2,true->2,false->bot; bot->2,true->bot,false->2;bot->2,true->bot,false->bot < 1366505814 247007 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :um < 1366505826 400786 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :2 indicates two possibilities < 1366505858 341151 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :4 + 4 + 1 < 1366505875 980243 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :wait why isn't it 3^3 < 1366505890 580647 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :3^3 + 1 - 9 = 3^3-8 = 19 = um < 1366505899 10715 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :Because e.g. f bottom = true, f true = false, f false = false doesn't work. < 1366505928 780158 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sgeo your way of counting them is exceedingly silly < 1366505950 639463 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :im getting 12 so i just have to figure out what im missing (why am i doing this, fuck) < 1366505952 970372 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :you have exceeded your silliness quota for the day Sgeo < 1366505953 570650 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION sees a thinko and revises down to 18, which isn't much better
< 1366505960 890428 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: which 12 are you getting < 1366505965 231039 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :y'all need to learn how to stop thinking about things. < 1366505966 386504 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :3^2 strict functions + const True + const False + bottom < 1366505969 122012 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :could shachaf be wrong < 1366505974 170340 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf is never wrong, sgeo < 1366505984 432492 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :what about id < 1366505995 240202 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :id should be in the 3^2 < 1366505996 750352 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :that's strict. < 1366506013 410987 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh right i forgot about < 1366506014 830406 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ughhhh < 1366506023 910482 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :noodls right < 1366506040 990751 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :id doesnt' need to evaluate its argument < 1366506048 21128 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :????????? < 1366506052 890993 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh wait < 1366506053 790841 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ugh < 1366506056 241551 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :just < 1366506057 200433 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ignore me < 1366506059 251029 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i hate this question < 1366506059 870709 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :But id _|_ = _|_ < 1366506064 40971 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i hate thinking about how things evaluate < 1366506069 110483 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i just < 1366506069 860644 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I hate typing _|_ < 1366506076 540901 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy this is 4denotational < 1366506079 582886 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :q: is haskell church-rosser < 1366506105 430422 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: bothering with how things evaluate is so low-level and also terrible and awful and i hate everything about it < 1366506107 491486 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :protip when talking about stuff like this, keep ⊥ in your paste buffer < 1366506117 301150 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i have to put that on my compos key < 1366506133 770799 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i just type ctrl shift u 2 2 A 5 space < 1366506228 713230 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :huh is ⊥ a valid Bool → Bool < 1366506261 616694 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok shachaf spill the beans whats the function im missing. it has to assign bottom to something that isnt bottom or i would have counted it with the strict stuff, but it cant be const true or const false. < 1366506266 770680 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://pastie.org/private/rekvmk4hgcukcck0ecwtw < 1366506268 800862 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :or was mnoqy just saying "const False + bottom" short for "const False + const bottom" ?????? < 1366506285 570418 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I count 12 there. < 1366506290 181519 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :What's missing? < 1366506294 820609 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :> asTypeOf undefined not < 1366506306 670876 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :ok. < 1366506323 260406 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :nooodl: bottom is a perfectly fine bool->bool in haskell < 1366506329 650270 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: i'm confused by the way you 're counting........... < 1366506333 980539 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :did you count const bottom < 1366506346 40682 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :is const bottom different from bottom?? did i answer the question < 1366506352 523697 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :const bottom is strict ((const bottom) bottom = bottom) < 1366506352 845399 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so < 1366506354 590323 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes i counted it < 1366506355 461027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl: yes it's "different" < 1366506366 952854 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :shachaf, I made a list. What function's missing? < 1366506376 926492 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :where'd lambdabot go. < 1366506380 281133 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :let me look..... < 1366506382 920285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :wait it's 12 not 13 < 1366506384 860383 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :sry < 1366506390 360900 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :oh < 1366506392 930701 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok < 1366506394 130639 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :someone in #haskell said it was 13 < 1366506403 452354 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and i said to him, no it's 12 < 1366506407 372075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and here i am saying 13 < 1366506409 961568 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :when it's 12 < 1366506413 240831 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :you fool < 1366506431 63931 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: i'm sorry :☹( < 1366506437 41754 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1366506462 701748 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric ::😹) < 1366506462 916664 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :http://25.media.tumblr.com/0a730e1546184ed8d363fce9a9c705e3/tumblr_mljz8bJ3t21qbhhv4o1_500.png < 1366506483 131206 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :const bottom should totally be counted as the same as bottom, so 11 < 1366506489 841486 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :sgeo no < 1366506495 41828 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :· · < 1366506495 257583 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : < 1366506495 257677 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : :☹( < 1366506495 257722 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : < 1366506495 257764 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : ------ < 1366506497 441342 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :/ \ < 1366506498 851677 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :seq is banished from reality < 1366506594 2026 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thats not very nice of you sgeo < 1366506594 751288 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :okay now how many functions :: Maybe () -> Maybe () are there < 1366506605 581791 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :imo ugh < 1366506609 247122 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :shachaf: ……………… < 1366506614 960689 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :12. < 1366506617 260657 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :uhh it's gonna be a trick but < 1366506618 370702 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Wait < 1366506619 981420 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :i still think 12 yeah < 1366506622 533287 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :sgeo no < 1366506624 820821 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :Just isnt strict < 1366506625 120671 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :nooooo < 1366506637 961799 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :Oh god < 1366506639 550775 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :Just bottom < 1366506663 350678 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :If a function gives n for Just bot, it has to give n for.. < 1366506683 860789 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :all Just x < 1366506687 814383 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Seems very pyramidy < 1366506701 471734 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :i think? at least < 1366506741 700991 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :3 + 3 + 3 I think < 1366506751 241377 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :(+1) < 1366506777 180727 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :well < 1366506784 661383 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :3 consts, 3 that bottom on bottom but are const on Just x, and 3 that bottom on bottom, ... crud < 1366506801 312439 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :there's at least 3^2 strict functions? < 1366506803 970637 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...crud is the new bottom < 1366506826 260818 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :have fun everybody < 1366506828 480713 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :(instead of True/False you have Just ()/Nothing) < 1366506839 133347 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I forgot that Nothing existed. < 1366506863 679345 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :shachaf you goddamned asshole < 1366506867 151005 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :everything exists hth < 1366506957 381058 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :so anyway, http://en.wikipedia.org/wiki/Outlawries_Bill what the fuck, england? < 1366507010 90774 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl: some things don't exist.............. < 1366507075 246471 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :quintopia: are existent things dense in the set of things < 1366507118 250798 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :oops wow xchat what the fuck is this < 1366507121 30990 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :that was "q:" < 1366507141 220729 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :oh i had the dumbest option ever on < 1366507163 81479 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :was it on by default < 1366507167 372030 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no < 1366507173 401755 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy;;; do you have it on < 1366507191 141138 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dont use xchat < 1366507192 771003 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :nope < 1366507200 322147 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: but you used to???? < 1366507202 660810 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :i turned it one because i thought it'd uh < 1366507202 997915 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1366507207 800982 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ive never used xchat < 1366507220 501046 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :you know in xchat when you want to tab-complete a name and there are multiple options < 1366507232 610937 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl: did you read that one book by raymond smullyan (_5000 B.C._) < 1366507235 471176 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :and instead of cycling through them it just displays them all, forcing you to type more of the name < 1366507249 601338 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :shachaf: nope < 1366507268 331292 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :anyway i thought this option could maybe solve that because its name was really vague < 1366507276 30938 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :and i left it on without ever noticing anything < 1366507283 542517 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :nooodl: imo read it < 1366507286 20701 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and his other books?? < 1366507288 632610 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :(i had googled it but it's undocumented like everything in fucking xchat) < 1366507300 220770 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :what's it about / why'd you bring it up < 1366507308 1515 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well it talks about existent things < 1366507311 881797 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and also a bunch of other things < 1366507322 661443 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :most books talk about existent things :-) < 1366507335 331115 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :i guess science fiction doesn't !!! < 1366507339 581160 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hey he's publishing another book this year < 1366507343 722064 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :let's look this thing up < 1366507345 546206 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :lessee... 4^2 strict functions not distinguishing Just bottom from bottom, add 3^2 for those that do, then youve got 3 nonstrict const's, and 1 for bottom < 1366507350 860970 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hey shachaf did i do it right why did i do that uuugh < 1366507370 961156 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: i don't know what do i look like a person who would do that.. < 1366507375 722076 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :because i didn't < 1366507437 971531 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::-| < 1366507463 31230 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is 29 your final answer < 1366507469 201551 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> 4^2+3^2+3+1 < 1366507480 752816 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot i summon you............................... < 1366507488 20952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :give it a minute < 1366507492 41587 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :~eval 2+2 < 1366507500 401643 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :16+9+3+1 = 25+4 = 29 < 1366507503 81329 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :`run echo $((2+2)) < 1366507508 411065 :HackEgo!codu@codu.org PRIVMSG #esoteric :4 < 1366507510 401363 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i'm casting my lambdabot summoning spell be patient!! < 1366507521 851302 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :lambdabot has summoning sickness :`( < 1366507530 471109 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :no < 1366507533 971169 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot will show up < 1366507536 641298 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :trust me < 1366507540 51063 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :by lambdabot summoning spell do you mean uhh that thing where you "obtain" lambdabot admin status < 1366507552 862485 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :mnoqy: no < 1366507575 482665 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :i mean the thing where lambdabot is back up now thanks to Cale < 1366507580 12020 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and i wait for the /join < 1366507580 282540 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ok is it the one where lambdabot dies and then just takes forever to join channels < 1366507582 794537 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :and then take credit for it < 1366507588 171006 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :that thing < 1366507591 1349 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :why does it take forever, poor engineering? < 1366507607 341841 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :well throttling "and stuff" < 1366507608 546532 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1366507614 57084 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot is in about a billion channels hth < 1366507627 59908 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a billion is a lot < 1366507638 32390 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :not as much as ten billion < 1366507645 510921 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :good point < 1366507654 61930 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 JOIN :#esoteric < 1366507656 961170 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TA DA < 1366507663 841276 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :thachaf < 1366507670 291611 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :mnoqy: You have 1 new message. '/msg lambdabot @messages' to read it. < 1366507670 591296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a billion isn't cool. you know what's cool? a trillion hth < 1366507682 21068 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oh no who's it from < 1366507688 901599 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :2 days ago < 1366507696 961647 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is it from me < 1366507698 881621 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :no < 1366507711 371339 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :is 29 your final answer < 1366507731 721418 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :unless it's wrong and i get hooked on it because im a horrible addicted to stupid things like this < 1366507749 151999 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :this thing is so stupid < 1366507753 411720 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes < 1366508519 983046 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 QUIT :Remote host closed the connection < 1366508562 911878 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :oops < 1366508597 235334 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :lambda bot < 1366508633 911903 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 JOIN :#esoteric < 1366508690 711905 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :time to summon lambdabot again < 1366508694 808868 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :4lambdabot < 1366508767 381942 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 JOIN :#esoteric < 1366508789 852285 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :shachaf++ # summoning lambdabot < 1366509136 721637 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) Im far better than lambdabot anyway < 1366509137 22025 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: Im (far better than lambdabot anyway) < 1366509151 871801 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) far better than lambdabot anyway < 1366509152 322076 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: far better than lambdabot anyway < 1366509156 20783 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :huh. < 1366509160 882016 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) im far better than lambdabot anyway < 1366509161 331783 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: im (far better than lambdabot anyway) < 1366509167 261605 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) a b c d e f < 1366509167 645818 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: a (b c d e f) < 1366509169 611951 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) a b c d e f g < 1366509170 102063 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: a b c d e f g < 1366509181 921615 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) c d e f g < 1366509182 372367 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: c d e f g < 1366509185 473512 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :) d e f g < 1366509185 932067 :jconn!~username@la-pinta.la.net.ua PRIVMSG #esoteric :Sgeo: d (e f g) < 1366509206 645980 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :j < 1366509225 172001 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :so glad we had this chat. < 1366509445 173101 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :that's because of how trains work < 1366509487 462309 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :well, actually because of how they're displayed < 1366509545 922041 :dessos!~dessos@c-174-60-176-249.hsd1.pa.comcast.net PART :#esoteric < 1366509675 226540 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :wow there's this exaple on the j wiki about converting a non-tacit expression to a tacit one using trains < 1366509678 97186 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :and it start with < 1366509679 470688 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :(^x) + (x^2) - (y^2) < 1366509686 72701 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :((^x) is exp(x)) < 1366509706 293556 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :then it makes some steps to arrive at this: (^@[) + ((([^2"_) - (]^2"_))) < 1366509712 861647 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :wat < 1366509719 532546 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :and then below that there's this < 1366509722 23307 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :In this case terser tacit expressions are possible: ^@[ + *:@[ - *:@] or, even better, ^@[ + -&*: < 1366509723 822376 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :"even better" < 1366509726 922274 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :i'm just... baffled < 1366509793 72183 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Aren't tacit verbs more reversible than explicit? < 1366509798 82240 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Or something? < 1366509816 212259 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :reversible? < 1366509817 766659 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :@pl \x y -> exp x + x^2 + y^2 < 1366509817 981780 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :(. (^ 2)) . (+) . liftM2 (+) exp (^ 2) < 1366510220 871915 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :@ty (+) <$> exp . fst <*> uncurry ((+) `on` (^2)) < 1366510221 742310 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :Floating b => (b, b) -> b < 1366510236 972724 :nooodl!~nooodl@91.179.162.173 PRIVMSG #esoteric :it translates into this, pretty much < 1366510330 533505 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Fiora: reading the GBC boot rom thing now o_O < 1366510470 902908 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :haha that thing was horrifying < 1366510487 732702 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what this < 1366510488 134474 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 PRIVMSG #esoteric :mnoqy: You have 1 new message. '/msg lambdabot @messages' to read it. < 1366510489 852332 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i like that it involves a TOCTOU swaparoo on the logo data as well < 1366510495 163787 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :mnoqy: http://www.fpgb.org/?page_id=17 < 1366510507 676141 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :TOCTOU? < 1366510513 512338 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :time of check / time of use < 1366510525 13334 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ah < 1366510529 702548 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :the FPGA ROM emulator reads out a Nintendo logo the first few times that area is accessed, and afterward reads out the dumper program < 1366510566 782975 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :I guess the boot ROM verifies the Nintendo logo so that any unauthorized cartridges have to be trademark infringing as well < 1366510598 32730 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that's... wow < 1366510610 82487 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :see? horrifying < 1366510633 992891 :carado!~carado@2a01:e35:8b61:e430:221:63ff:fe9a:3747 QUIT :Remote host closed the connection < 1366510652 55926 :nooodl!~nooodl@91.179.162.173 QUIT :Ping timeout: 258 seconds < 1366510679 662196 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :horrifying more like amazing and wonderful < 1366510723 722529 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :either/or < 1366511035 772955 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :oh since people were talking about autism and portrayals of autism in media, i thought i would share this link http://ada-hoffmann.livejournal.com/39870.html which i came across somehow, which is a list of books with autistic characters and/or by autistic authors < 1366511043 292963 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :dunno if it's any good < 1366511301 47772 :benuphoenix!~benuphoen@ec2-54-214-2-99.us-west-2.compute.amazonaws.com PART :#esoteric < 1366511302 2843 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I'm not sure I'd really enjoy that kind of thing,... I guess, like, I don't really like those "parts" of myself, so I'd rather not read a character that focuses on those things... maybe? I don't know, it's hard to express < 1366511365 163000 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :*nod* < 1366511393 792938 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :maybe some of the authors have similar feelings and you could find something to relate to there? < 1366511413 683351 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :maybe... I find sometimes I don't really relate that much to a lot of autistic people though, I'm not sure. < 1366511434 693384 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I guess a vaguely comparable example might be... < 1366511531 573176 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :among LGBT-focused romance manga/doujins/etc, there's a category that are more realistic and down to earth, and deal with a lot of day to day discrimination, stereotypes, and so on < 1366511543 163613 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and then there's the sort that are more idealized, take place in fantasy worlds, and so on < 1366511555 179900 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION has heard of The Curious Incident of the Dog in the Night-Time
< 1366511560 163229 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION wonders if he should read it
< 1366511569 613109 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and sometimes you want to read a story about all the problems that people face. and sometimes you just want to read a story far, far away from those problems < 1366511634 913120 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :and I guess, in the media I like, I don't really like to be reminded of pains that exist in reality but shouldn't exist < 1366511647 872943 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :fantasy should be fantasy, it should be a place where there doesn't -have- to be sexism, or bigotry, or any of that < 1366511672 794342 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :... if that makes any sense < 1366511718 862914 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :it does < 1366511845 774291 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :anyway I thought I'd pass on the link just because it came up in discussion earlier < 1366511859 853358 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i don't read enough fiction anymore to have opinions on whether I want to read about people like myself or different < 1366511874 938079 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, no problem ^^ < 1366511882 535199 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I don't want to chastise you for posting them -_- < 1366512038 933321 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :also I'm probably disillusioned by typical media portrayals so < 1366512111 333464 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :ignore me <.< < 1366512419 173496 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :I like characters like me < 1366512463 373918 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :books about people who sit around reading are pretty boring imo, so fuck books about meoids < 1366512520 914207 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :I like characters that are close enough to me to connect with, but are thrust into interest circumstances or in interesting worlds full of wonderful people, so they do more than sit around inside all day <.< < 1366512702 83999 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Huh. SGML had a predecessor. < 1366512751 233779 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :well what else would it standard-generalize < 1366512777 863778 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Its precedessor was already Generalized < 1366512812 423962 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ah, a backronym < 1366512837 744012 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :standard specialized markup language < 1366512861 934198 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :ibm gml looks.....cute...... < 1366512957 844084 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :...IE is directly descended from Mosaic? < 1366513519 903971 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :[About XMLHttpRequest] "This trivial mechanism was meant to be of little significance, merely an attempt to scratch an itch in the web-based version of Microsoft Outlook." < 1366514180 553893 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yep, haha < 1366514448 192099 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I suggested to my dad that online banking via app on phone may be more secure than via web, because of various web-specific issues that wouldn't occur in an app, but not sure if that's reasonable < 1366514513 310643 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Then you find out it's the bank server that's insecure < 1366514520 815870 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :(it normally is) < 1366514738 401139 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :
ACTION wtfs at firefoxurl:
< 1366514742 133786 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :and cf: < 1366514783 827149 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :Sgeo: you got your copy of Tangled Web? < 1366514804 441010 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, yeah, have been reading it < 1366514811 11240 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :cool < 1366515148 981398 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :How many pages is the physical copy? Nook says it has 1382 pages but I saw someone else say something like 300 < 1366515179 631690 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :if nook is like my shitty phone ebook reader it has smaller pages < 1366515232 505030 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fun fact: Nook pages don't correspond to page turns < 1366515360 779210 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :yeah the physical copy is definitely not that many < 1366515368 400466 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :300 sounds right < 1366515375 399059 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :a 1300 page book about the web sounds terrifying < 1366515667 709681 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http:example.com/ < 1366515792 709937 :TeruFSX!~TeruFSX@65-128-179-240.mpls.qwest.net QUIT :Ping timeout: 256 seconds < 1366515890 449417 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :geez the white dwarf/black hole gamma ray burst paper is really cool. it's amazing how like, tidal stretching of a white dwarf can steal energy from its orbit, letting it be orbitally captured < 1366516279 259590 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://www。example。com < 1366516357 710276 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :IDEOGRAPHIC FULL STOP? < 1366516391 384282 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Book said that most modern browsers treat them identically to . in the hostname of the URL but not elsewhere in the URL < 1366516414 229641 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :that... that's... that's really weird < 1366516474 610557 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Something to do with being easier to type on the Chinese keyboard < 1366516598 581134 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"In IDNA-aware (IDNA2003) applications, the "dot" character we see in domain names like www.example.com has several equals. Specifically the following characters are all equivalent under IDNA rules:" < 1366516601 590543 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :huh < 1366516607 131741 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Thought it was just an arbitrary thing < 1366516781 280923 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http:\\example.com (won't work with Firefox probably) < 1366516802 891157 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :it seems to work in chrome? < 1366516813 621376 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :http:\\\\example\.com < 1366516847 270881 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Jafet, that one did not work for me in Chrome < 1366516867 460760 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :Fiora, Chrome != Firefox < 1366516870 911120 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :Isn't this part of the URI RFC, not the web standards...? < 1366516937 251070 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Chrome ≸ Firefox < 1366516979 501210 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :that's quite a character < 1366517011 631240 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :sorry, I was just trying in another browser... < 1366517042 71072 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :⋚ LESS-THAN EQUAL TO OR GREATER-THAN < 1366517049 142817 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :For when you just don't know < 1366517058 362003 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :beautiful. < 1366517076 82842 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :i guess it says that you have an ordering on the objects? < 1366517207 446915 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :"comparable to"? < 1366517238 471086 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :right < 1366517246 1117 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :except we need a pile of symbols for it ofc < 1366517262 940825 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :http://example.com\@google.com/ < 1366517322 510867 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :kmc, book seems to be out of date. It said that that would take me to example.com in browsers other than Firefox. In Chrome, I landed in Google < 1366517337 362336 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :That got me to example.com in my chrome. < 1366517341 175711 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :n/m < 1366517359 352783 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think KDE tried interpreting it before sending it to Chrome < 1366517722 664297 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1366518015 574585 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :talking about a building in london "that's the gherkin" "no, what's it really called" "it's really called the gherkin" < 1366518020 463159 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :pls confirm / deny, british ppl < 1366518031 663664 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :i mean i think it has another name but < 1366518034 162856 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :that's what people call it < 1366518260 222967 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :30 St Mary Axe (informally also known as "the Gherkin" and previously the Swiss Re Building) < 1366518269 543060 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :so, the Gherkin < 1366518504 415275 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :I think zzo38 would not like this book < 1366518524 804582 :Bike!~Glossina@71-34-73-31.ptld.qwest.net PRIVMSG #esoteric :Why not? < 1366518534 524476 :Sgeo!~Sgeo@ool-ad034ea6.dyn.optonline.net PRIVMSG #esoteric :"... built-in support for the gopher: scheme, one of the failed predecessors of the Web..." < 1366518549 335906 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :http://gamasutra.com/view/news/190865/Peter_Molyneux_may_have_just_monetized_trolling.php molyneux < 1366518657 524673 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :curiosity is amazing in that i guess people actually play it? < 1366518663 674691 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :and pay money on it? < 1366518670 475686 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net PRIVMSG #esoteric :i dont understand anything < 1366518701 814848 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :literally. adding a feature. to pay. to /reverse other peoples' progress/ < 1366518955 514827 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :St Andrew Undershaft < 1366519851 726794 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi QUIT :Ping timeout: 258 seconds < 1366520051 280667 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :kmc: also did you get to the snes coprocessor reverse engineering thing < 1366520059 163393 :Fiora!~Fiora@ec2-50-17-93-47.compute-1.amazonaws.com PRIVMSG #esoteric :um, since you read the gbc rom thing < 1366520878 373387 :kmc!~keegan@ec2-50-17-26-83.compute-1.amazonaws.com PRIVMSG #esoteric :not yet < 1366522094 852414 :Lumpio-!~matti@89-166-34-164.bb.dnainternet.fi JOIN :#esoteric < 1366522664 141771 :Bike!~Glossina@71-34-73-31.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1366522672 21762 :Bike!~Glossina@71-34-73-31.ptld.qwest.net JOIN :#esoteric < 1366523051 947749 :Bike!~Glossina@71-34-73-31.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1366523095 482973 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1366523169 651822 :Bike!~Glossina@71-34-73-31.ptld.qwest.net JOIN :#esoteric < 1366523754 422678 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Read error: Connection reset by peer < 1366523773 622615 :sebbu!~sebbu@ADijon-152-1-54-17.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1366523811 793145 :sebbu!~sebbu@ADijon-152-1-54-17.w83-194.abo.wanadoo.fr QUIT :Changing host < 1366523811 999806 :sebbu!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1366523858 641240 :doesthiswork!~Adium@75.87.251.5 JOIN :#esoteric < 1366523947 611256 :doesthiswork!~Adium@75.87.251.5 QUIT :Quit: Leaving. < 1366525922 845306 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1366525946 83270 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1366526529 933634 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 QUIT :Remote host closed the connection < 1366526775 52504 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 JOIN :#esoteric < 1366527107 528898 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1366527384 528087 :lahwran!lahwran@python/site-packages/lahwran NICK :lahwran- < 1366527385 897506 :lahwran-!lahwran@python/site-packages/lahwran NICK :lahwran < 1366531455 255495 :epicmonkey!~epicmonke@188.134.41.112 JOIN :#esoteric < 1366531483 203327 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 QUIT :Remote host closed the connection < 1366531728 785433 :lambdabot!lambdabot@2600:3c00::f03c:91ff:fe70:53e1 JOIN :#esoteric < 1366531738 705220 :Bike!~Glossina@71-34-73-31.ptld.qwest.net QUIT :Ping timeout: 256 seconds < 1366532030 725175 :nooodl!~nooodl@91.179.162.173 JOIN :#esoteric < 1366532202 76322 :Taneb!~nathan@host-92-30-139-95.as13285.net JOIN :#esoteric < 1366532436 36199 :nooodl!~nooodl@91.179.162.173 QUIT :Ping timeout: 256 seconds < 1366532440 40376 :Taneb!~nathan@host-92-30-139-95.as13285.net PRIVMSG #esoteric :kmc, the crypto chaps have emailed me back < 1366532618 87541 :pikhq_!~pikhq@174-24-19-12.clsp.qwest.net PRIVMSG #esoteric :Random spurts of insomnia are fun. < 1366532743 176440 :mnoqy!~okay@pool-98-108-206-66.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1366533038 425875 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1366533650 88104 :Zerker!~zerker@2602:306:bd53:9ef0:6c69:4492:643d:c43 JOIN :#esoteric < 1366534995 846771 :nooodl!~nooodl@91.179.162.173 JOIN :#esoteric < 1366537866 258267 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be JOIN :#esoteric < 1366537881 717779 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Hello < 1366537972 467988 :mroman_!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :hello < 1366537988 512872 :pikhq_!~pikhq@174-24-19-12.clsp.qwest.net PRIVMSG #esoteric :'Lo. < 1366538621 568866 :Taneb!~nathan@host-92-30-139-95.as13285.net PRIVMSG #esoteric :Hi < 1366538874 58332 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 QUIT :Read error: Connection reset by peer < 1366538879 938553 :DH____!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1366539023 748672 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: You should change xchat to use "nick: message" rather than "nick, message" < 1366539050 29852 :Taneb!~nathan@host-92-30-139-95.as13285.net PRIVMSG #esoteric :shachaf, a) why and b) I don't know how < 1366539075 658469 :Taneb!~nathan@host-92-30-139-95.as13285.net PRIVMSG #esoteric :(b is now incorrect) < 1366539076 708630 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :a) because : is better and b) it's in the preferences somewhere < 1366539800 671051 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :shachaf: shachaf: shachaf: shachaf: shachaf: [] < 1366539892 479225 :Taneb!~nathan@host-92-30-139-95.as13285.net PRIVMSG #esoteric :shachaf: is this better < 1366540007 708800 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I actually got shouted at for using colons on a different IRC-like system < 1366540008 889354 :FireFly!~firefly@oftn/member/FireFly PRIVMSG #esoteric :A list of shachafs, eh < 1366540016 839240 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but that's because the default client uses colons to say who said a message < 1366540022 559083 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :e.g. ais523: not < 1366540028 819017 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so talking to someone with colons looks like you're quoting them < 1366540031 527417 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Taneb: Yep. Thanks. < 1366540064 138783 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ais523: Different systems are different. < 1366540142 178846 :Zerker!~zerker@2602:306:bd53:9ef0:6c69:4492:643d:c43 PRIVMSG #esoteric :ais523: but that's because the default client uses colons to say who said a message | woe be to us with nonstandard IRC clients < 1366540157 39142 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Zerker: you quote with |? < 1366540178 339847 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :what happened to quoting with " < 1366540183 639264 :Zerker!~zerker@2602:306:bd53:9ef0:6c69:4492:643d:c43 PRIVMSG #esoteric :When on a single line, yes < 1366540203 788636 :Zerker!~zerker@2602:306:bd53:9ef0:6c69:4492:643d:c43 PRIVMSG #esoteric :stuff here | separate stuff here < 1366540212 238697 :AnotherTest!~AnotherTe@94-224-28-191.access.telenet.be PRIVMSG #esoteric :Zerker: is the analogy with pipe-lining a coincidence? < 1366540279 809534 :Zerker!~zerker@2602:306:bd53:9ef0:6c69:4492:643d:c43 PRIVMSG #esoteric :Not completely intentional, but it does somewhat fit the idea of "appending to this in the history, " < 1366540430 39536 :carado_!~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1366540748 989584 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I used to use a ; -- it's a nice compromise, neither "the commists" nor "the coloners" like it. < 1366540927 394186 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :;//