< 1342828914 288418 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1342828915 176242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: there's an entire hierarchy of category - functor - natural transformation - etc. although i don't really know anything about what comes after natural transformation. and there is something called an n-category which has something to do with a structure that has such a hierarchy up to step n. < 1342829010 165092 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the next one is "unnatural transformation" < 1342829035 272670 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :each step forms the objects of a category with the next step its morphisms < 1342829096 737385 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :john baez used to blog about these things, before the word blog was invented < 1342829138 857972 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and (i think) he started a forum called the n-category cafe < 1342829153 980752 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, the n-category cafe exists < 1342829190 29256 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(perhaps the least understandable blog ever???) < 1342829218 35431 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't know, i haven't tried reading it < 1342829248 690962 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://golem.ph.utexas.edu/category/ now's your opportunity < 1342829341 109924 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that wikipedia picture is definitely _not_ what i would imagine him to look like < 1342829359 189969 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not enough beard? < 1342829404 96726 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i don't have a very precise imagination, i just know that isn't it :P < 1342829409 218274 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :https://www.google.co.uk/search?q=john+baez&hl=en&safe=off&prmd=imvnso&tbm=isch&biw=1366&bih=685&sei=VfMJUNGpKoOr0QXDhtHoCg take your pick < 1342829542 657730 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :I TAKE THAT FELIX KLEIN PICTURE < 1342830226 907032 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1342830553 871075 :Nisstyre!~yours@oftn/member/Nisstyre QUIT :Ping timeout: 246 seconds < 1342831543 578679 :nortti_!~juhani@a91-154-82-93.elisa-laajakaista.fi QUIT :Quit: AndroIRC - Android IRC Client ( http://www.androirc.com ) < 1342831552 324662 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1342831883 772596 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I thought of what jumpers my computer design will have: Jumper 0 causes privilege mode to always be enabled (otherwise only the BIOS can do so). Jumper 1 enables the debugger. Jumper 2 allows ROM to be reflashed. Jumper 3 enters recovery mode. Jumper 4 changes the boot order. Jumper 5 slows down the computer. Jumper 6 and 7 set the region code (no code, NTSC, PAL, or SECAM). < 1342831933 591952 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is this OK? < 1342832036 131294 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Normally, once it boots, if autostart is not enabled or no media which can be autostarted is inserted, a Forth interpreter will be loaded, and you can type BASIC at the prompt to enter a BASIC interpreter instead.) < 1342832193 828434 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(More specifically, Jumper 1 allows the Forth interpreter to become a privileged task, so that it may load a debugger or do anything else that would otherwise require privelege mode. Jumper 5 simply cuts the CPU clock speed in half in order to save energy.) < 1342832438 281072 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Approval does *not* allow your program to bypass the security! Only a user physically adjusting the computer (instructions are provided in the manual and require only a screwdriver) can do that.) < 1342832722 690896 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1342832794 831385 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :"in Europe and the UK, lemonade is a carbonated drink" I... What? < 1342832810 703258 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, they have carbonated lemonade in UK? < 1342832822 347189 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I know some people have been in UK I will ask them. < 1342832854 102931 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's news to _me_ < 1342832903 920089 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :huh? < 1342832908 548639 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes, we have carbonated lemonade < 1342832919 688589 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i had some today, in fact. (the cloudy kind.) < 1342832943 662419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :our carbonated citrus drinks are usually orange based, fanta and the local competitor solo < 1342832966 43628 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*in norway < 1342832988 871460 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the standard carbonated lemonade is generally transparent. the flavour is hard to describe < 1342832994 412781 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i guess there are some even less well-known brands < 1342833009 805299 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but you can imagine cloudy lemonade basically like fanta if it was made with lemons, except less sugary and more bitter. well, that's not really a good explanation. < 1342833012 78293 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :but you get the idea. < 1342833021 981040 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm is sprite a carbonated lemonade? < 1342833033 886982 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :sprite is lemon-lime -- so close enough, yes < 1342833043 93123 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :imagine sprint without the lime :p < 1342833067 180012 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(for normal lemonade. cloudy/"traditional" is different still.) < 1342833210 10288 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Do they have carbonated television? < 1342833219 143696 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :I WAS JUST TALKING ABOUT THIS < 1342833224 688564 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :lemonade in the UK is clear < 1342833226 364284 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :what a country < 1342833230 696039 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: i'm a bit fizzy on that concept < 1342833240 886335 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :impossible < 1342833296 488248 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: not all! < 1342833304 784582 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: as established, cloudy lemonade is not clear < 1342833333 699006 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: have you tried cloudy lemonade? have you been to the uk < 1342833354 129357 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I have! < 1342833362 434327 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I therefore speak for all UK people < 1342833362 995361 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm in the UK as we speak < 1342833370 117122 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i have not tried cloudy lemonade in the UK < 1342833372 941598 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :oh, in that case I shall let kmc speak for everyone < 1342833375 333446 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i hear it's still fizzy < 1342833414 822635 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Cloud lemonade is fizzie? < 1342833439 993403 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: it is quite refreshing < 1342833466 537892 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Ugh, "cloudy" means "carbonated"? < 1342833470 970664 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I can't drink carbonated things. < 1342833481 833587 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, both cloudy and non-cloudy lemonade are carbonated < 1342833487 442886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What? < 1342833502 806322 :ais523!~ais523@unaffiliated/ais523 QUIT : < 1342833503 667858 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Oh. < 1342833515 113693 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :whoa < 1342833533 700774 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :non-cloudy lemonade looks exactly like water < 1342833551 928444 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: well, sparkling water, rather. < 1342833558 771055 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1342833561 395209 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i meant in the bottle < 1342833563 542447 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1342833564 328172 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it is fizzy < 1342833573 613047 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric ::-( < 1342833586 501394 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm in The Other Cambridge right now < 1342833603 482579 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Go visit elliott__! < 1342833621 927480 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i am not worth visiting < 1342833622 78897 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He is said to live in Hex hamuk. < 1342833682 503974 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__ is unvisitable, like me < 1342833692 354260 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: What makes your unvisitable? < 1342833701 915480 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: have I mentioned I'm going to visit Trondheim some day < 1342833713 303049 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i could tell you but then i'd have to kill you < 1342833730 728874 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I wrote an Android program. < 1342833734 355476 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's kind of terrible. :-( < 1342833741 90923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: maybe. < 1342833759 172900 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: if I was in Trondheim where would be an ideal to intercept you walking somewhere. theoretically. < 1342833824 676815 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why outside my favorite restaurant, of course. too bad it's closing in a month or so. < 1342833907 548324 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how big is trondheim < 1342833922 250400 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if i stand in the middle and shout OERJAAAAAN (with butchered pronunciation) really loudly, will you hear < 1342833922 447783 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hundredsomethingthousand people < 1342833929 664201 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: no. < 1342833936 5043 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i can shout really loudly. < 1342833953 167869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan would pretend not to listen. < 1342833958 145824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :that too. < 1342834040 921433 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :clearly i will just peek into the windows of every house in trondheim and compare to that one photo of you < 1342834054 746635 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :This whole "carbonated lemonade" thing is friggin' weird to me. US lemonade = diluted, sweetened lemon juice. < 1342834128 592496 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i am sure you can get some nice cloudy lemonade _somewhere_ in the us < 1342834137 28542 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: sounds like a plan. although my drapes are currently shut. < 1342834143 545451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :US lemonade is cloudy. < 1342834149 956194 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I mean, it's not clear. < 1342834152 523071 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :pikhq: vastly diluted, vastly sweetend < 1342834152 892913 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's just not carbonated. < 1342834167 988513 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :most lemonade in the US is high-fructose corn syrup with flavorings and 0-3% lemon juice < 1342834174 428041 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :kmc: Well, yes, it's the US. < 1342834200 960969 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :kmc: I mean, c'mon, look at sweet tea. It's actually saturated with sugar. < 1342834222 401766 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :kmc: whatcha doing in the one true cambrifge? < 1342834222 772435 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: first the houses will be broken into to open their drapes. < 1342834236 120555 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :copumpkin: here with an alum friend < 1342834244 17336 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :cool :) < 1342834244 868085 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :we dined at a college < 1342834248 296617 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :omg < 1342834249 247363 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :excessively nice food :) < 1342834254 80956 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i put on a suit < 1342834256 931692 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :wow < 1342834261 436111 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yeah, it's very fancy around there < 1342834261 587589 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it was worth it < 1342834264 175269 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I interviewed there < 1342834266 365874 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :then i drank many beers < 1342834276 203078 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :excellent < 1342834282 312151 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: you're secretly related to rube goldberg, aren't you < 1342834282 605355 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :I hope you wore a top hat and a monocle < 1342834287 98552 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :everyone knows that's what they do in england < 1342834333 199953 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quite. < 1342834377 216893 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :indeed: http://www.youtube.com/watch?v=Vy5SckoCX9s&feature=youtu.be < 1342834391 832149 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :Now I know what UK people must think of iced tea... < 1342834421 534395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What's iced tea? < 1342834431 159143 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :some rapper guy < 1342834451 434884 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :shachaf: Exactly what it sounds like. Tea, served cold. < 1342834466 647732 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :pikhq: In the US or in the UK? < 1342834472 930447 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :In the US. < 1342834480 989596 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What is it in the UK? < 1342834486 124333 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :Blasphemy. < 1342834515 83136 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is tea, served cold also a blasphemy? < 1342834537 193693 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net PRIVMSG #esoteric :It's the thing itself that's blasphemy. < 1342834986 828895 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: have you fish < 1342834989 493760 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is wondering if the internet connection is flaky today
< 1342835005 206718 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: Why do Java people use strings everywhere? < 1342835006 872327 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i keep having to reload webpages < 1342835038 99170 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: i have mackerel with tomato in a tube, does that count? < 1342835054 507424 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also cod caviar < 1342835057 918776 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: it is not like it is easy to describe more complex objects in Java expressions. < 1342835065 637243 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: wish i never asked < 1342835131 565239 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1342835156 982305 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: That's true, but come on! "foo".getBytes("utf-8") can throw an exception even though UTF-8 is guaranteed to exist. < 1342835169 960137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION recalls reading a newspaper article about http://en.wikipedia.org/wiki/Bubble_tea
< 1342835178 847246 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: isn't that usually the case. < 1342835182 124146 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION recalls consuming https://en.wikipedia.org/wiki/Bubble_tea
< 1342835207 63831 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: high five < 1342835213 923414 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION never tasted it, though
< 1342835215 909419 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: I mean that I consumed the "tea". < 1342835218 713595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Not the article. < 1342835225 433640 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Though I guess I consumed portions of the article. < 1342835283 791348 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Today, while on a BBS connected by Telnet, I read a message on alt.2600 that someone mentioned they wanted to use a BBS connected by Telnet... < 1342835295 871938 :david_werecat!~david_wer@24-52-224-101.cable.teksavvy.com JOIN :#esoteric < 1342835297 886699 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38: Was that someone you? < 1342835318 772851 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: No, it was someone else who posted that message, the message included a lot of other stuff too < 1342835358 887628 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did it have anything about Magic: The Gathering? < 1342835363 344182 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or Ibtlfmm? < 1342835365 779975 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No. < 1342835494 285993 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION ponders OGO
< 1342835503 175416 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :like php, but one step worse < 1342835521 856328 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION watches universe implode in paradox
< 1342836267 73148 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Mathematics is made of 50 percent formulas, 50 percent proofs, and 50 percent imagination. < 1342836271 314349 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Prove that for any natural N, 1000^N - 1 cannot be a divisor of 1978^N - 1 < 1342836326 544143 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :that sounds difficile < 1342836534 961805 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 1978 < 1342836535 143860 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh < 1342836537 274830 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1342836537 675223 :HackEgo!codu@codu.org PRIVMSG #esoteric :1978: 2 23 43 < 1342836543 477629 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no it isnt difficult < 1342836553 894512 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i thought it was like < 1342836560 435779 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :two different exponents < 1342836614 699980 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1342836620 268246 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yes it still is hard < 1342836623 212386 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: halp < 1342836630 886216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm slightly on it < 1342836710 340432 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph both sides are divisible by 3 < 1342836721 711361 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :left is divisible by 9 < 1342836756 150415 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1342836773 29974 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Yes I think you are correct it is divisible by nine I have not noticed that before. < 1342836783 423150 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [7^n `mod` 9 | n <- [1..]] < 1342836784 862337 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,4,1,7,... < 1342836821 986539 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the right side is divisible by 9 if n is divisible by 3 < 1342836830 585329 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :kk < 1342836868 718617 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :> 7^4 < 1342836869 649860 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2401 < 1342836877 899439 :Madoka-Kaname!~moe@inportb/loli/cirno-chan QUIT :Excess Flood < 1342836890 175672 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :is 1978 = 7 mod 9? < 1342836902 203994 :Madoka-Kaname!~moe@123.118.114.103 JOIN :#esoteric < 1342836902 510312 :Madoka-Kaname!~moe@123.118.114.103 QUIT :Changing host < 1342836902 662858 :Madoka-Kaname!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1342836906 52230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes < 1342836915 842354 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ah < 1342836922 569369 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :usual digital root calculation < 1342836949 660139 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so the other factor must be the interesting one < 1342836981 900777 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the left side is divisible by 27 if N is 1 mod 3 < 1342836990 299109 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but thats not super helpful :P < 1342837006 23643 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wait < 1342837006 760372 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :no < 1342837013 831460 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :the left side is always divisible by 27 < 1342837024 991644 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thats more helpful < 1342837042 625007 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's always divisible by 999, come to think of it < 1342837048 153705 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 999 < 1342837050 484129 :HackEgo!codu@codu.org PRIVMSG #esoteric :999: 3 3 3 37 < 1342837076 905102 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1978 `mod` 37 < 1342837078 140439 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 17 < 1342837078 514664 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh right < 1342837104 995716 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :999*1001, 999*1001001, 999*1001001001 etc < 1342837114 746125 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [17^n `mod` 37 | n <- [1..]] < 1342837116 60773 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [17,30,29,12,19,27,15,33,6,28,32,26,35,3,14,16,13,36,20,7,8,25,18,10,22,4,3... < 1342837128 624889 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :we need moreterms! < 1342837144 217937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hmph < 1342837160 61114 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i expect its a 37 cycle < 1342837167 509087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually we have enough to deduce that < 1342837168 805307 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :and it will be 1 at 37 < 1342837183 15339 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :17 and 37 rel prime < 1342837192 626042 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no < 1342837202 259928 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 17^36 `mod` 37 < 1342837204 332759 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 1 < 1342837208 908895 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :fermat's little theorem < 1342837214 963014 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :right right < 1342837238 985276 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thats the 37th term if you start at 0. also the first term :P < 1342837247 613141 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so n must be divisible by 36 :P < 1342837280 896680 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well still not an answer < 1342837287 816154 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 999999 < 1342837290 624280 :HackEgo!codu@codu.org PRIVMSG #esoteric :999999: 3 3 3 7 11 13 37 < 1342837297 870621 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HI OERJAN < 1342837299 592372 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :WHATS UP ? < 1342837305 228187 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :those are also factors once n is divisible by 2 < 1342837319 943998 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(which we have now proved) < 1342837335 37228 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: trying to prove 1000^n - 1 cannot divide 1978^n - 1 < 1342837335 854350 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :: / < 1342837342 822954 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OERJAN : THATS GREAT DUDE . < 1342837361 415000 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oerjan: maybe we can repeat this to show n is a multiple of 4? < 1342837365 684736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 1978 < 1342837368 212580 :HackEgo!codu@codu.org PRIVMSG #esoteric :1978: 2 23 43 < 1342837379 941735 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 999999999 < 1342837382 904509 :HackEgo!codu@codu.org PRIVMSG #esoteric :999999999: 3 3 3 3 37 333667 < 1342837397 354373 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 999999999999 < 1342837399 698902 :HackEgo!codu@codu.org PRIVMSG #esoteric :999999999999: 3 3 3 7 11 13 37 101 9901 < 1342837408 483419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: um we know n is a multiple of 36 < 1342837422 776103 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm just looking for smaller n so that factor can handle them < 1342837423 678937 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :then < 1342837433 228548 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :well < 1342837463 902283 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: if either 23 or 43 could show up, we'd be done :/ < 1342837492 76368 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh right < 1342837524 649389 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1342837525 932218 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :what if it doesnt show up til 10^108-1? < 1342837562 972223 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1000^n `mod` 23 | n <- [1..]] < 1342837564 287982 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [11,6,20,13,5,9,7,8,19,2,22,12,17,3,10,18,14,16,15,4,21,1,11,6,20,13,5,9,7,... < 1342837575 721580 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: hey, tell mike to make tup's output less ugly < 1342837584 464689 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :theres a 1 < 1342837586 591051 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1000^n `mod` 43 | n <- [1..]] < 1342837587 949942 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [11,35,41,21,16,4,1,11,35,41,21,16,4,1,11,35,41,21,16,4,1,11,35,41,21,16,4,... < 1342837593 893644 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :hurrah < 1342837596 757811 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: it has developed so many bells and whistles in the form of coloured progress bars that i can no longer stand to look at it. < 1342837608 873078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: alas, and in the 22 spot too < 1342837633 716646 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah < 1342837660 954949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm left hand is divisible by 43 if n divisible by 7 < 1342837714 162243 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but that doesn't tell about what to do when n isn't < 1342837726 664581 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :> [0..] < 1342837728 100816 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,... < 1342837730 497499 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :)i felt left out) < 1342837732 288185 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*(i < 1342837861 502937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm oh wait < 1342837971 134869 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION gets tired
< 1342838105 101929 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: im tire 2 < 1342838238 83686 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :copumpkin: Agda is a low-level language. :-( < 1342838246 723733 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :yup < 1342838587 633157 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: can you bring nsqx back < 1342838608 240323 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :he has been gone since **may**. that is forever !!! < 1342838615 840215 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i nominate kmc as the substitute nsqx < 1342838622 984085 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: tell me about unicode < 1342838676 873289 :david_werecat!~david_wer@24-52-224-101.cable.teksavvy.com QUIT :Ping timeout: 245 seconds < 1342839196 900507 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1978^n `mod` 9900 | n <- [1..]] < 1342839198 369947 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1978,1984,3952,5956,9868,6004,5812,2236,7408,1024,5872,2116,7648,544,6832,... < 1342839205 960296 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oops < 1342839229 105257 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1978^n `mod` 9901 | n <- [1..]] < 1342839230 654625 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1978,1589,4425,166,1615,6348,1876,7754,763,4262,4485,34,7846,4521,1935,564... < 1342839243 397580 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 276 seconds < 1342839289 101962 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> iterate (\x -> x * 1978 `mod` 9901) 1 < 1342839290 877086 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [1,1978,1589,4425,166,1615,6348,1876,7754,763,4262,4485,34,7846,4521,1935,5... < 1342839303 33078 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> findIndex (== 1) $ iterate (\x -> x * 1978 `mod` 9901) 1 < 1342839304 718939 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 0 < 1342839318 35453 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> findIndex (== 1) $ iterate (\x -> x * 1978 `mod` 9901) 1978 < 1342839319 696876 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 4949 < 1342839339 682308 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`factor 4950 < 1342839342 113998 :HackEgo!codu@codu.org PRIVMSG #esoteric :4950: 2 3 3 5 5 11 < 1342839346 431148 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :aha < 1342839350 936599 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :quintopia: i think i've got it < 1342839423 906602 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(1) the left hand side is always divisible by 999, which has 37 as a factor which only divides the right hand side when n is divisible by 36. < 1342839501 800410 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(2) thus n is divisible by 4, which forces the left hand side to be divisible by 999999999999, which has 9901 as a factor. this only divides the right hand side when n is divisible by 4950, which has 22 as a factor. < 1342839550 678448 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: are you the real elliott < 1342839554 235233 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(3) thus n is divisible by 22, which means the left hand side is divisible by 23. but 23 is a factor of 1978, giving a contradiction. < 1342839589 550325 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: ^ < 1342839637 533489 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1342839651 849953 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: no < 1342839655 423024 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although if the 1978 is a hint that this was in some math competition back in that year, then there is likely a less computationally intensive solution < 1342839717 710718 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't know. < 1342840108 148410 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net JOIN :#esoteric < 1342840138 987642 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi, monqy < 1342840237 425603 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :helo < 1342840237 877054 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :monqy: You have 5 new messages. '/msg lambdabot @messages' to read them. < 1342840277 494174 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :EHLO monqy < 1342840390 990934 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elho < 1342840409 698081 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ohle < 1342840416 207242 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hole < 1342840529 718383 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :eloh < 1342841235 413505 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how did you know 10^22-1 is divisible by 23 again? < 1342841269 538085 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net JOIN :#esoteric < 1342841274 365161 :pikhq!~pikhq@70-56-228-160.clsp.qwest.net QUIT :Ping timeout: 255 seconds < 1342841294 889789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> [1000^n `mod` 23 | n <- [1..]] < 1342841296 389299 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [11,6,20,13,5,9,7,8,19,2,22,12,17,3,10,18,14,16,15,4,21,1,11,6,20,13,5,9,7,... < 1342841301 563597 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thus < 1342841328 47296 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> (10^22-1) `mod` 23 < 1342841329 164120 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0 < 1342841384 523218 :david_werecat!~david_wer@24-52-224-101.cable.teksavvy.com JOIN :#esoteric < 1342841405 107431 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :oh i remember < 1342841406 983159 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :thx < 1342841437 749465 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@botsnack < 1342841438 102127 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric ::) < 1342841438 253567 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how did you get 4950? < 1342841456 618442 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> findIndex (== 1) $ iterate (\x -> x * 1978 `mod` 9901) 1978 < 1342841457 996373 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Just 4949 < 1342841490 504901 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :yeah that's definitely not the "math competition" solution :P < 1342841500 730206 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :u think < 1342841521 915627 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric ::) < 1342841524 855470 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :nitenite < 1342841529 965281 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bye < 1342841673 709595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :tswett: I think you're making things more confusing than before... < 1342842755 234162 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I see #haskell is still a shambling mess of people confusing themselves and others. < 1342843590 882709 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Is there a program to compile MML into a Csound score file? < 1342843754 331409 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose I could try to write one if wanted. < 1342844540 175961 :variable!root@freebsd/developer/variable QUIT :Ping timeout: 248 seconds < 1342845011 539786 :elliott__!~elliott@unaffiliated/elliott PRIVMSG #esoteric :goodnight < 1342845219 580910 :kallisti_!~eris@h174.46.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1342845276 129664 :elliott__!~elliott@unaffiliated/elliott QUIT :Ping timeout: 248 seconds < 1342845396 781017 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 248 seconds < 1342845522 95312 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1342845525 525761 :kallisti_!~eris@h174.46.18.98.dynamic.ip.windstream.net QUIT :Ping timeout: 252 seconds < 1342845646 61356 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MDream < 1342846554 452470 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1342849136 410465 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Geez, I can't even write a simple Tcl script without encountering a bug which static typing would have caught < 1342849148 538768 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :puts $file html < 1342849151 433513 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Instead of puts $file $html < 1342849289 282143 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :What's that do in TCL? < 1342849344 872004 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :s/TCL/Tcl/ < 1342849409 751277 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I mean, does it treat "html" as a string then? If so, you don't need static typing to catch that, just some simple syntax checking. < 1342849412 780536 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :[htkallas@pc112 ~]$ perl -e 'print STDOUT html; print "\n";' < 1342849415 257194 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :html < 1342849417 751667 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :[htkallas@pc112 ~]$ perl -Mstrict -e 'print STDOUT html; print "\n";' < 1342849420 284381 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Bareword "html" not allowed while "strict subs" in use at -e line 1. < 1342849428 750066 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :fizzie: html is a string literal with or without quotes in Tcl. < 1342849502 655472 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :As is puts. < 1342849550 203672 :kallisti_!~eris@h240.33.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1342849562 759999 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :Basically, he wrote fprintf(file, "html"); instead of fprintf(file, html); < 1342849583 587607 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Wait, static typing wouldn't have stopped it, I guess < 1342849597 500220 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Can easily make a similar mistake in Haskell, really < 1342849602 472717 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :Right. Type checking does jack shit there. :) < 1342849622 314138 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I see, but unquoted strings sound just as splubby as Perl barewords, which at least have been strongly discouraged in most contexts. < 1342849628 825664 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Though admittedly plain "print html;" passes use strict in Perl, too, because it's treated as a filehandle ID and prints $_... < 1342849655 579058 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(use warnings will burp about an unopened filehandle.) < 1342849680 360205 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :fizzie: If you had to quote strings he'd have to write that as "puts" $file $html or {puts} $file $html. < 1342849711 421758 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :Or perhaps even "puts" ["set" "file"] ["set" "html"] < 1342849755 174535 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :Ping timeout: 260 seconds < 1342849755 752908 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Tcl does seem nice for simple scripting < 1342849769 697689 :kallisti_!~eris@h240.33.18.98.dynamic.ip.windstream.net NICK :kallisti < 1342849781 40005 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Add opcodes "famicom_square", "famicom_vrc6_square", "famicom_disksystem", etc in Csound to emulate NES/Famicom audio. You can have "famicom_2a03" to emulate the internal channels together since they are capable of interfering with each other. < 1342849816 229516 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Is Tcl more consistent than Bash? < 1342849826 17977 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :Sgeo_: http://www.tcl.tk/man/tcl8.5/TclCmd/Tcl.htm says yes. < 1342849938 244915 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I think I'm falling back in love with Tcl < 1342849980 554782 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Nice documentation, easy access to sockets and files, GUI stuff easy to get to when I'm ready to learn it, easy to pack stuff into an executable (maybe? Haven't tried it yet) < 1342850003 320330 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Just wish AST manipulation was as smooth as in Lisp, but that's an academic point < 1342850068 931312 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :It's one of the few languages where that's even a concept, anyways. < 1342850127 529211 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :API-wise, Tk is perhaps the best GUI library around. < 1342850507 356200 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I do wish there was an easier way than using an library (such as an OO system) to make commands that take options like -whatever < 1342850578 721570 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Also add opcode "impulse_tracker" which emulates Impulse Tracker's playback, given the necessary parameters corresponding to the sample and instrument settings, including tables for sample data and instrument envelopes. < 1342851672 97793 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1342852097 996900 :Slereah_!~jackal@ANantes-259-1-250-207.w83-195.abo.wanadoo.fr QUIT :Read error: Connection reset by peer < 1342852116 522887 :Slereah!~jackal@ANantes-259-1-250-207.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1342852123 782106 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1342852649 315115 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1342854282 627512 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The frequency modulation in SoX does not seem to work...... < 1342854487 650732 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1342854504 695694 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1342854520 279503 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net PRIVMSG #esoteric :http://www.youtube.com/watch?v=joDonPTyMKA < 1342854849 993496 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :very cool < 1342854986 554479 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :it's as if, during the 80s and 90s, multimedia was an artform exploring it's constraints, and producing some wonderfully awful results < 1342855247 538771 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net PRIVMSG #esoteric :That is freaking surreal. < 1342855288 605497 :variable!root@freebsd/developer/variable QUIT :Excess Flood < 1342855334 101236 :variable!root@freebsd/developer/variable JOIN :#esoteric < 1342855535 524764 :david_werecat!~david_wer@24-52-224-101.cable.teksavvy.com QUIT :Ping timeout: 252 seconds < 1342855863 137645 :asiekierka!~asiekierk@078088172191.elblag.vectranet.pl JOIN :#esoteric < 1342857020 122268 :TeruFSX!~TeruFSX@184-97-228-13.mpls.qwest.net QUIT :Ping timeout: 248 seconds < 1342858063 849632 :pikhq_!~pikhq@168-103-251-174.clsp.qwest.net QUIT :Ping timeout: 246 seconds < 1342858075 201002 :pikhq!~pikhq@70-56-229-85.clsp.qwest.net JOIN :#esoteric < 1342859144 662361 :AnotherTest!~tim@94-224-21-17.access.telenet.be JOIN :#esoteric < 1342859307 435720 :AnotherTest!~tim@94-224-21-17.access.telenet.be PRIVMSG #esoteric :Hi < 1342861172 777195 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 248 seconds < 1342861303 177914 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1342861495 845145 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1342862610 542794 :derdon!~derdon@p4FD951D7.dip.t-dialin.net JOIN :#esoteric < 1342865930 741034 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :bork < 1342867831 78482 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1342867936 380107 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :{} = {x is good:x is a multimedia app from the 90s} < 1342867974 855940 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i have a feeling that i might not have got that right < 1342868437 558617 :AnotherTest!~tim@94-224-21-17.access.telenet.be QUIT :Ping timeout: 240 seconds < 1342868866 547132 :asiekierka!~asiekierk@078088172191.elblag.vectranet.pl QUIT :Read error: Operation timed out < 1342869110 746171 :derdon!~derdon@p4FD951D7.dip.t-dialin.net QUIT :Remote host closed the connection < 1342869342 776627 :asiekierka!~asiekierk@078088172191.elblag.vectranet.pl JOIN :#esoteric < 1342871802 164565 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1342871813 138974 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Max SendQ exceeded < 1342871842 169353 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1342872284 134946 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 248 seconds < 1342872315 769864 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1342872706 58151 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :augur: re: rent-a-friend. i almost thought he was steve martin for a minute, the way he was acting. very steve martinish feel. < 1342872869 499543 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :so is my set building working there? < 1342872896 603148 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :wha < 1342872913 338564 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :{} = {x is good:x is a multimedia app from the 90s} < 1342872933 794120 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :the wikipedia page wasn't very clear... {F(x) : P(x)} is the most general form of set builder notation. For example, {x's owner : x is a dog} is the set of all dog owners. < 1342872989 373292 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :the intended message is that the set of good multimedia apps from the 90s is the empty set < 1342873031 734916 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i understood it but it could have been written funnier < 1342873040 752670 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i don't write funny < 1342873070 162775 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :quintopia: well im wondering is it actually valid? < 1342873090 822322 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :the difference between F(x) and P(x) is so difficult to ascertain < 1342873110 831398 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :even in high school, i was criticized for not being funny when trying to apply academia to funny situations < 1342873216 642712 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :F(x) is usually a transformation of the selected element, for instance extracting a related value via a known relation, or just wrapping it in some FOL expression < 1342873233 174692 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :P is the predicate that determines what the set is < 1342873264 584217 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :so {x: x is a good multimedia app from the 90s} would have been more standard < 1342873297 664901 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :ahh.. so i basically didn't need to use F(x) :P < 1342873324 228014 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :but {x: good(x) and x in 90s multimedia apps} might be closer to what you were trying to convey < 1342873358 503868 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :hmm ok ill let you in on the secret < 1342873371 480949 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i like abusing notations to figure them out < 1342873376 945165 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1342873378 55053 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :or {x: good(x)} \bigcap {x: 90sMultimediaApp(x)} < 1342873378 618979 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :but it's not actually very smart < 1342873409 24973 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i don't know why < 1342873466 294097 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :basically i figure if i do things the way everyone else does them i will only produce what everyone else has produced < 1342873549 494149 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :my thought processes are really broken from the perspective of the things i try to think < 1342873597 70079 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :but, as an average joe they're not any more broken than the next person < 1342873638 793467 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :does it work? < 1342873655 980370 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i will endeavour to give a concrete example < 1342873671 438616 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :reading books can lead to an infinite regression of reading books < 1342873735 168386 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :i dont need an example. i just want to know if avoiding the conventional rigor leads to increased originality as measured by output of quality original work < 1342873840 142709 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i like to think so, but my belief in it's originality tends to be due to a lack of knowing what work has been done < 1342873904 493083 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :go you there, well < 1342873964 560393 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :what i am finding is that it seems the capacity to enjoy is fairly independant of the things being enjoyed < 1342874006 4615 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :and, i don't know if it's possible, if it's worthwhile, or how the capacity to enjoy things is cultivated < 1342874212 926341 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :also, it is easy to make the fallacy that enjoyment is inherently good < 1342874422 119986 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :... that is < 1342874454 454001 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :if the things which already exist are sufficient to enjoy then for what purpose do i strive to find new original things to do < 1342874483 11781 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :and if the things which already exist are not sufficient to enjoy, then why should whatever i do be any better? < 1342874542 33962 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :and from this position, it seems the thing to do is learn to appreciate < 1342874856 622980 :Taneb!~Taneb@78.146.167.0 JOIN :#esoteric < 1342874889 584503 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Hello < 1342877073 177805 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Only now, 6 years later, am I processing that a bug that I reported was fixed in WINE < 1342877087 633277 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://bugs.winehq.org/show_bug.cgi?id=4242 < 1342877093 519104 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I made a difference to software! < 1342877484 91422 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :byond... i might have known < 1342877807 592361 :MDream!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :NDyde < 1342878412 329175 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric ::) < 1342879344 114984 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Is it possible that a Turing-machine with a tape is unprovable whether it halts or not? < 1342879696 822003 :pikhq_!~pikhq@174-22-157-73.clsp.qwest.net JOIN :#esoteric < 1342879709 594563 :pikhq!~pikhq@70-56-229-85.clsp.qwest.net QUIT :Ping timeout: 255 seconds < 1342879760 399894 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :beef tartare < 1342879775 933590 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :I prefer medium-rare? < 1342880161 940435 :elliott__!~elliott@95.149.229.204 JOIN :#esoteric < 1342880412 181842 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 248 seconds < 1342880447 634922 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :if there was a means to use a complete imaginary turing machine, via magic at almost instantaneous completion rates, would anyone bother? < 1342880487 911199 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Nah, they're really hard to program in < 1342880514 491635 :nortti!nortti@smar.fi PRIVMSG #esoteric :I would < 1342880636 562290 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i think its really fascinating that a thing can be useful even when it only exists in the imagination < 1342880798 846485 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1342880853 673974 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :
ACTION manufactures a flying car in his imagination called an itidus mobile which can theoretically let you drive around town without roads.
< 1342880944 338658 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :world peace is for fascists < 1342880961 629004 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :`addquote world peace is for fascists < 1342880971 331897 :HackEgo!codu@codu.org PRIVMSG #esoteric :851) world peace is for fascists < 1342880989 676880 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`quote < 1342880993 359018 :HackEgo!codu@codu.org PRIVMSG #esoteric :520) That's the stupidest thing I've heard all morning. (Though I did wake up five minutes ago, so I haven't had a chance to hear very much.) The "Why are you still asleep? I told the cat to wake you up." comment does come pretty close, though. < 1342881010 619305 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :Taneb: beef tartare is different dish than steak < 1342881039 587402 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :itidus21, is it a gondola? < 1342881054 891686 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :hmm < 1342881061 493139 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i ought to define it < 1342881096 615635 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :it travels at O(n) speeds (which most powered vehicles seem to do) < 1342881118 289965 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :actually wait.. < 1342881121 253838 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :they don't... < 1342881146 550043 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :yes.. it travels at O(n) speeds as a function of the distance you wish to travel < 1342881191 230087 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :and it is composed mostly of vestigial automobile components < 1342881202 562013 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :O(n) speed? and n is... the number of items in the list? < 1342881218 337930 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :for example, < 1342881275 413053 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :the ratio of the time it takes to travel 1 kilometres, to the time it takes to travel 5 kilometres, is 1:5 < 1342881345 144294 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i quit this game < 1342881347 554026 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :that's O(1) speed < 1342881362 899229 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :aha < 1342881398 59741 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i think that metaphor would work better to describe the speed of a bus as a function of the number of passengers it collects < 1342881554 488250 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :... yeah i quit < 1342881808 803975 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1342882986 58382 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1342883230 224865 :pikhq_!~pikhq@174-22-157-73.clsp.qwest.net PRIVMSG #esoteric :elliott__: I seem to have gained your aptitude at not-sleeping. < 1342883250 104063 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :418 I'm a teapot < 1342883253 58370 :pikhq_!~pikhq@174-22-157-73.clsp.qwest.net PRIVMSG #esoteric :elliott__: It's 09:07. I have yet to sleep. < 1342883259 584161 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I seem to get a bit silly when I'm sleep deprived < 1342883273 887179 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Is it possible that a Turing-machine with a tape is unprovable whether it halts or not? <-- certainly, otherwise you could use a proof search to solve the halting problem < 1342883366 45851 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :
ACTION is assuming Taneb knows that the halting problem is unsolvable, although the difference to what he asks is not very big...
< 1342883374 242852 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Yes < 1342883385 198253 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :I didn't realise proof searches were possible < 1342883420 708297 :NDyde!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MDude < 1342883546 454393 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a proof is just a string fulfilling some requirements, and when the proof is totally formal and detailed it's easy to check them automatically < 1342883574 469015 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl PRIVMSG #esoteric :clomp < 1342883579 617195 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :That makes sense < 1342883583 659977 :oonbotti!~oonbotti@a91-154-82-93.elisa-laajakaista.fi QUIT :Read error: Connection reset by peer < 1342883620 873330 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net QUIT :Ping timeout: 246 seconds < 1342883639 866760 :augur!~augur@c-75-74-129-116.hsd1.fl.comcast.net JOIN :#esoteric < 1342883642 631770 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's just that there are exponentially many strings to check of any size, and there is no computable bound for how large a size you need (or else you could use _that_ to check whether a proof of halting exists) < 1342883722 544977 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means it is completely impractical to search for the proof, but still trivial as pure mathematical principle < 1342884111 977005 :oonbotti!~oonbotti@a91-154-82-93.elisa-laajakaista.fi JOIN :#esoteric < 1342884170 166993 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1342884390 212299 :oonbotti!~oonbotti@a91-154-82-93.elisa-laajakaista.fi QUIT :Read error: Connection reset by peer < 1342884418 45359 :oonbotti!~oonbotti@a91-154-82-93.elisa-laajakaista.fi JOIN :#esoteric < 1342884527 652160 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Remote host closed the connection < 1342884542 28714 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1342884630 317270 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :hi oerjan < 1342884690 163847 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi elliott__ < 1342884704 314337 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Read error: Connection reset by peer < 1342884753 144848 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1342884792 222186 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :so, i guess what that means is you never want to rely on a brute force search < 1342884844 361060 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :intuitively anyway < 1342885052 710968 :oonbotti!~oonbotti@a91-154-82-93.elisa-laajakaista.fi QUIT :Read error: Connection reset by peer < 1342885180 250880 :oonbotti!~oonbotti@a91-154-82-93.elisa-laajakaista.fi JOIN :#esoteric < 1342885722 178088 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 264 seconds < 1342886812 882574 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 246 seconds < 1342887146 993912 :oklopol!~nnscript@dyn58-51.yok.fi PRIVMSG #esoteric :i'm not sure it means that < 1342887224 505989 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :I'm pretty sure it means that there must exist a turing-machine such that the problem as to whether it halts or not is unprovable < 1342887245 823136 :oklopol!~nnscript@dyn58-51.yok.fi PRIVMSG #esoteric :that i can agree with < 1342887403 982850 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :unless you happen to have an oracle for the halting problem < 1342887525 221172 :oklopol!~nnscript@dyn58-51.yok.fi PRIVMSG #esoteric :or two < 1342887607 738231 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1342887688 165813 :TeruFSX!~TeruFSX@184-97-228-13.mpls.qwest.net JOIN :#esoteric < 1342887842 808430 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :no, using two is strictly less powerful due to interoracular bickering < 1342887856 148727 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Taneb, yes. < 1342887888 1122 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :hmm < 1342887899 42496 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :what would such a TM be, anyway? I can't imagine any such < 1342887904 621172 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :although obviously they must exist < 1342887907 382663 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's pretty simple to do, just compute a machine that halts iff . < 1342887921 994851 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Although admittedly formal proof is a bit harder. < 1342887926 160321 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :er? < 1342887932 269008 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :let's say you make a TM whose haltingness depends on goldbach's < 1342887936 817176 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :that doesn't mean its haltingness is _unprovable_ < 1342887942 584960 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :just that we don't know which it is < 1342887975 605820 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you just use the godel sentence for your proof logic, duh < 1342887994 480661 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :oh < 1342888015 766732 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :There's also that thing about proving whether you can reach I by multiplying a given set of 3x3 matrices which is unsolvable in the general case. < 1342888026 194832 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :oerjan: ...and you make a TM which depends on the truthness of that by implementing a proof search? < 1342888026 346359 :Madoka-Kaname!~moe@inportb/loli/cirno-chan QUIT :Ping timeout: 264 seconds < 1342888028 279848 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Which is pretty easy to implement on a TM. < 1342888031 980790 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :that's awesome :) < 1342888033 701876 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott__: yep < 1342888039 404624 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :er, by truthiness i mean provability, but < 1342888043 854049 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :*truthness < 1342888061 715261 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :but hang on, you /know/ such a machine doesn't halt, because there is no such proof... < 1342888069 53211 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :or, er, but you can't prove that < 1342888069 634159 :Madoka-Kaname!~moe@inportb/loli/cirno-chan JOIN :#esoteric < 1342888073 329019 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::P < 1342888073 480691 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric ::( < 1342888077 101804 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric ::''''( < 1342888086 575023 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :logic is depressing < 1342888096 224423 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :it keeps forgetting to make sense < 1342888102 238560 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :knowing that something is unprovable sadly means having a proof in some higher sense < 1342888146 47546 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :oerjan: has anyone figured out why logic is so fucked up < 1342888150 909883 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you can prove that something is unprovable without making a statement on whether that something is true or not, I guess ... unless true means provable? < 1342888154 403732 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :like why isn't it just NORMAL!!!! < 1342888173 89186 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :olsner: "true but unprovable" is a thing < 1342888655 710053 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1342888813 588155 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :elliott__: is that what the Gödel stuff says? < 1342888824 867135 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :olsner: yes < 1342888836 739335 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :(more or less. ask oerjan.) < 1342888856 64900 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but as I understood that, the truthiness is judged by a different system than the one it's unprovable in < 1342888945 918393 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Taneb's proof of the Halting Problem's undecidability: if there was a Turing-machine routine that could decide whether Turing-machines halt or not in finite time, there would be a Turing-machine that checked itself to see whether it halts or not, then if it does, goes into an infinite loop, otherwise halts < 1342888967 149457 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :It's probably either invalid or somebody else's proof too < 1342888972 167279 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :"Taneb's" proof < 1342888992 670393 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :elliott__, this is the internet. I go by Taneb here < 1342888995 36314 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :elliott's proof that 2 + 2 = 4: 2 = SS0, 4 = SSSS0, proceed by reduction < 1342889017 615879 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Taneb: no the joke is that it is the standard proof of the halting problem < 1342889027 555616 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Oh < 1342889033 181715 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :I guess it's a pretty good proof, then < 1342889040 25093 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Good as in simple and works < 1342889051 824163 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well more or less. you are missing the technical trick that makes you able to _do_ that < 1342889053 314768 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Either that or I'd heard it before < 1342889081 38939 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(diagonalization) < 1342889110 319083 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :i quite like tying the halting problem to a form of the Entscheidungsproblem < 1342889111 810532 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :It seems quite similar to Quine's paradox < 1342889130 241333 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :if you have a halting oracle, you can decide statements of the form (exists (n : Nat), p n) < 1342889136 635064 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :for computable predicates p < 1342889141 508477 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :q.e.d. < 1342889152 617498 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Ignore the fact that I am in possession of the book Gödel, Escher and Bach < 1342889259 236371 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1342889301 386144 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :who is oerjan saying ok to : ' ( < 1342889303 630372 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :is it me < 1342889307 926754 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :does oerjan not like my prueffe < 1342889323 624996 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no it's Taneb this time < 1342889363 230585 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :(I've pretty much permanently withdrawn it from my school library) < 1342889386 70433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good, good, keeps it out of the hand of innocent people < 1342889419 810830 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :BUT IN LESS THAN A YEAR I'LL HAVE TO RETURN IT < 1342890686 165165 :Taneb!~Taneb@78.146.167.0 QUIT :Quit: Leaving < 1342890816 910284 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net JOIN :#esoteric < 1342891468 666433 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1342893443 87462 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1342894118 974727 :TeruFSX!~TeruFSX@184-97-228-13.mpls.qwest.net QUIT :Quit: Leaving < 1342894425 92788 :pikhq!~pikhq@174-22-158-29.clsp.qwest.net JOIN :#esoteric < 1342894450 218066 :pikhq_!~pikhq@174-22-157-73.clsp.qwest.net QUIT :Ping timeout: 260 seconds < 1342894567 469308 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1342894808 539669 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net JOIN :#esoteric < 1342894852 85847 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: hello < 1342894856 395253 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :helo < 1342894881 839712 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :you dropped an l < 1342894883 487878 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :here it is: l < 1342895285 308295 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :helllo < 1342895293 173625 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: hellp :( < 1342895304 750315 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric ::( < 1342895341 431078 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric ::( < 1342895425 838883 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :you know what's hard? cleaning and unseizing bearings < 1342895434 956603 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :hi < 1342895439 726785 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :hi < 1342895460 2276 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :I've spent several hours over the past couple of days getting thoroughly mucky hands < 1342895479 927701 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :and I am in a BAD MOOD < 1342895482 702391 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :anyone remember the various identities of vixey/fax? can someone PM them to me? < 1342895499 236880 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :copumpkin: i do < 1342895544 804212 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :"vixey" makes me think of cron. Which is wrong, because that's Vixie < 1342895594 442414 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :discipline your brain < 1342895608 258264 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :Mmm, pixie cron < 1342895628 975175 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :good for running executables in ELF format? < 1342895674 108788 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: how do i discipline;,help < 1342895681 47370 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :elliott__: shock collar < 1342895697 424360 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: that sounds unpleasant :''( < 1342895702 213699 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :wear it as a headband for extra pow & bang < 1342895715 665700 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :pretend it's a bandana to feel cool < 1342895727 957885 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :monqy: are you in fact an SMTP server? < 1342895748 559387 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :yes how did you know < 1342895749 847567 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: i don't want pow & bang < 1342895754 433760 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: i don't LIKE pow & bang!!! < 1342895757 354051 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :monqy: you said HELO < 1342895763 72110 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but the bang is bang for your buck < 1342895768 965258 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: what's a buck!!! < 1342895770 704553 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :the pow is pow for your buck but nobody says that < 1342895786 468073 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :elliott__: I think it's a male deer < 1342895787 485883 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a buck is like money but instead of being worth anything it's a joke < 1342895793 89707 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :the opposite of a doe < 1342895804 798390 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: i don't want to spend money on getting electrocuted!!!!!!! < 1342895809 443233 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :that's the worst use of money i can think of < 1342895886 829866 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: release me from the pows & bangs :'( < 1342895895 351913 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :it was only a suggestion < 1342895904 153284 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :if you want your brain to run free & wild don't do it!!!! < 1342895929 307954 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1342895954 170365 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: i don't know what i want :,( < 1342896017 441939 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :alternate disciplined and undisciplined to get a taste of both < 1342896034 559060 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: but what if the discipline stops me from becoming undisciplined??? < 1342896081 16504 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :``too bad'' - brain < 1342896083 461967 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `too: not found < 1342896138 360094 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :monqy: who... who is brian < 1342896145 257643 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :does brian control me < 1342896148 202929 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a friend < 1342896149 309927 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :was i brian all along?????? < 1342896157 315699 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a friend who controls you < 1342896162 511901 :monqy!~swell@pool-71-102-219-42.snloca.dsl-w.verizon.net PRIVMSG #esoteric :a friend who was you all along < 1342896164 214201 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :that doesn't sound very friendly!!! < 1342896168 243495 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :can you tell brian to stop please < 1342896169 863979 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :I'm brian and so's my Wife < 1342896305 52408 :sirdancealot7!~sirdancea@98.82.broadband5.iol.cz QUIT :Ping timeout: 260 seconds < 1342896607 493558 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1342896639 593725 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1342896694 38550 :Taneb!~Taneb@78.146.167.0 JOIN :#esoteric < 1342896729 775846 :MoALTz!~no@host-92-2-126-226.as43234.net JOIN :#esoteric < 1342897067 700305 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Hello! < 1342897208 799625 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :hi < 1342897240 487835 :nortti!nortti@smar.fi PRIVMSG #esoteric :hi < 1342897609 472898 :ion!ion@heh.fi PRIVMSG #esoteric :hi < 1342897638 350366 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :What advantages does having first-class modules grant? < 1342897647 244236 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Have I got the right understanding of "module"? < 1342897688 776345 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :they're first class < 1342897696 984218 :asiekierka!~asiekierk@078088172191.elblag.vectranet.pl QUIT :Remote host closed the connection < 1342897707 632894 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric :it means the post office delivers them faster < 1342897711 935425 :soundnfury!~edward@109.176.211.127 PRIVMSG #esoteric ::) < 1342897761 70007 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it means you get a newspaper, free coffee and air conditioning < 1342897881 482195 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It means there's this graphical BBS client to use them with. < 1342897922 693972 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :wow it's an elliott__ < 1342897928 601819 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :you wanted me to say things about unicode < 1342897935 715174 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :you may have heard all my unicode trivia < 1342897943 465385 :nortti!nortti@smar.fi PRIVMSG #esoteric :elliott__: why are you not elliott? < 1342897947 238637 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :do you know about http://en.wikipedia.org/wiki/Multiocular_O < 1342897950 548522 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :eunuck-code < 1342898004 639477 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: tell me about unicode big endian < 1342898181 550273 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :-_- < 1342898470 69966 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1342898589 646380 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PART #esoteric :"Leaving" < 1342898756 963842 :pikhq_!~pikhq@168-103-253-130.clsp.qwest.net JOIN :#esoteric < 1342898901 888605 :pikhq!~pikhq@174-22-158-29.clsp.qwest.net QUIT :Ping timeout: 245 seconds < 1342899361 673961 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :How did they even write that. < 1342899395 978713 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :write what? < 1342899426 745175 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :The Multiocular O, I believe < 1342899445 956163 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they wrote it like this: http://www.stsl.ru/manuscripts/medium.php?col=1&manuscript=308&pagefile=308-0249 < 1342899491 145672 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :note that the unicode reference glyph has 7 eyes, but the only original document i've seen with this character (just linked) has 10 eyes < 1342899552 598738 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :originally wikipedia had no clue about this character < 1342899563 816121 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i spent some time tracking it down with the help of others < 1342899567 512518 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :that was an adventure < 1342899602 897513 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you probably hold the world record in unicode-derived fun-having then < 1342899603 819125 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's quite lucky that i was able to find a copy of a certain soviet era paleography text on russian rapidshare < 1342899606 777025 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :haha < 1342899609 358010 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i doubt it < 1342899628 266532 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :maybe someone on the committees < 1342899637 857429 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you think they have fun? < 1342899638 767237 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :or someone who has implemented a unicode-aware terminal emulator < 1342899651 645269 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :
ACTION works on a unicode-aware terminal emulator, but not much on that side of it
< 1342899653 837324 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :"fun" < 1342899745 904458 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :That's not even "Fun" < 1342900225 495397 :Taneb!~Taneb@78.146.167.0 QUIT :Quit: Leaving < 1342900242 871719 :Taneb!~Taneb@78.146.167.0 JOIN :#esoteric < 1342901544 292916 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Why is #haskell so crowded < 1342901828 338024 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1342902271 111998 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah i always wondered that < 1342902369 134454 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :If a language's popularity corresponded linearly with the amount of people in the appropriate channel in #freenode, Haskell would be the second most popular language, after Python < 1342902385 737353 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i mean, it is an interesting channel full of very smart people who say interesting, smart things < 1342902408 975031 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but i still don't understand how this supports 900+ lurkers < 1342902434 57999 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :many of whom I assume don't understand the majority of what's said < 1342902451 170340 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :People believe in intelligence by osmosis? < 1342902469 791777 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :That's why Discovery Channel is so popular < 1342902472 417964 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :also at this point the channel is largely noob questions and bad answers to noob questions, and arguments over how to answer noob questions < 1342902482 734982 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :all of which gets tediously repetitive < 1342902548 393178 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :and one assumes, unappealing to longtime lurkers < 1342902684 6170 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :also a lot of people have their client lurk in a channel but don't ever read it < 1342902717 668638 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :I've set my client to beep on new messages < 1342902724 771750 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :that < 1342902725 538384 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :must < 1342902726 44599 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :get < 1342902727 167673 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :annoying < 1342902727 530753 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :So I rarely actually lurk < 1342902739 878955 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :I'm good at ignoring things, I guess? < 1342902758 190046 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :so why have the beep at all < 1342902794 780430 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Because I get bored, and it sometimes distracts me from boredom? < 1342902831 971526 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Please don't try to get into an argument about this, because I know it's stupid < 1342902856 591029 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :fair enough < 1342903913 686326 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric : I've set my client to beep on new messages < 1342903914 249201 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :lol < 1342903927 341921 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric : i mean, it is an interesting channel full of very smart people who say interesting, smart things < 1342903927 925851 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :haha < 1342903928 445702 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :It stops if I leave it < 1342903934 972109 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :this is a good comedy routine, you two < 1342903962 253794 :Taneb!~Taneb@78.146.167.0 QUIT :Quit: BRB < 1342904041 249481 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :elliott__: do you disagree? < 1342904071 991388 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :well have you been in #haskell recently < 1342904078 507665 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :not in some months < 1342904084 889269 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i flip through logs occasionally < 1342904088 913899 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :try it sometime < 1342904110 212735 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's going downhill, but unless things have dramatically accelerated then i stand by my statement < 1342904126 862251 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :i mean there are smart people but there is too much noise to sustain any kind of smart conversation for long imo < 1342904162 303445 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1342904166 169841 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's been trending in that direction < 1342904178 552813 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :what are the main types of noise < 1342904202 182199 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :...as well as some usual suspects of people who think they are one of the very smart/knowledgeable people but are, in fact, not < 1342904212 766943 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: it is mostly just the typical newbie stuff < 1342904237 516126 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: the main problem is that it has a lot of people who answer questions and very few who are good at it < 1342904243 18624 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1342904245 768324 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :and the people who are bad at answering questions trip over themselves trying to salvage their explanation < 1342904250 5750 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :which fills a few secreens < 1342904251 679267 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :*screen < 1342904252 782808 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :s < 1342904255 403145 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1342904263 213140 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :the person who asked the question is ill-served by this < 1342904268 189985 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :and everyone else in the channel to < 1342904269 719801 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :too* < 1342904269 887556 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :everyone is ill-served by it < 1342904282 775462 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :this is why i kept agitating for people to write this shit down < 1342904294 305143 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :like, there is far too much oral tradition < 1342904301 643657 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :well it will not stop anyone < 1342904307 753791 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :things which are important to know which you can't find out except by lurking in #haskell < 1342904345 816915 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i wanted wiki pages which are curated by the community, which have not just someone's pet explanation but a collaboratively edited consensus of the best way to explain something < 1342904351 172992 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :if I cared I would probably ask and self-answer an SO question whenever I see a common question come up for the nth time but it is really above my pay grade to do that, so I just ignore it < 1342904363 824770 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but i realized that everyone (myself included) is too committed to their pet explanation and has no real data on which ones are better < 1342904388 408914 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :answering SO questions got old after a while anyway, I only answer them if I see one with a simple two-paragraph answer I know I can explain well < 1342904420 9929 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i had some other gripes with #haskell too < 1342904421 667053 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :besides the noise < 1342904426 900186 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't think those will get better either < 1342904429 296229 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :you don't say :) < 1342904437 467275 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :for the last N years I've only ever said anything in #haskell because I mistook it for either #esoteric or #haskell-blah < 1342904445 746401 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :so now I've set things up so that the next time I reboot, #haskell won't be joined automatically < 1342904462 418745 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i tried a little to get people to talk in #haskell-in-depth < 1342904466 10468 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but it didn't work :/ < 1342904569 239524 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ooh, managed to halve the size of the native code for my Android app by twiddling with some gcc flags < 1342904588 428507 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but I probably broke it too < 1342904607 682374 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :accidentally all the code or something < 1342904907 724376 :Taneb!~Taneb@78.146.167.0 JOIN :#esoteric < 1342905042 386663 :Taneb!~Taneb@78.146.167.0 PRIVMSG #esoteric :Hello < 1342905051 283419 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :bye Taneb < 1342905174 813582 :nortti_!~juhani@a91-154-82-93.elisa-laajakaista.fi JOIN :#esoteric < 1342905780 22229 :pikhq_!~pikhq@168-103-253-130.clsp.qwest.net PRIVMSG #esoteric :olsner: -fomit-text-segments? :P < 1342906446 202793 :20WAAXGSE!~sirdancea@98.82.broadband5.iol.cz JOIN :#esoteric < 1342906448 581864 :Taneb!~Taneb@78.146.167.0 QUIT :Read error: Operation timed out < 1342906983 76833 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :`welcome 20WAAXGSE < 1342906986 236752 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :pikhq_: actually it produced working code! :) < 1342906986 661158 :HackEgo!codu@codu.org PRIVMSG #esoteric :20WAAXGSE: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1342906992 162635 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :most of the magic was in the -fwhole-program and -fno-unwind-tables options < 1342907066 29677 :mroman!~roman2@fmnssun.ibone.ch JOIN :#esoteric < 1342907066 665654 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :-fwhole-program did remove some stuff, but a couple of attribute((externally_visible)) annotations put back the actually-needed part of that stuff < 1342907087 984319 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :why is it putting unwind tables in? did you try -fno-exceptions? < 1342907115 248268 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :android's default setting is -fno-exceptions -funwind-tables < 1342907135 320831 :nortti_!~juhani@a91-154-82-93.elisa-laajakaista.fi PRIVMSG #esoteric :what are you talking about? < 1342907138 597945 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :(for stack traces, which is silly since my software won't crash) < 1342907146 558437 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :of course not < 1342907289 46101 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :added some fun-safe optimizations for good measure too < 1342907461 48368 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :natch < 1342907486 194215 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :-funsafe-math -ffuzzy-math -fsilly-math < 1342907549 636567 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :-funsafe-math -fuzzy-math -friendly-math < 1342907568 156031 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1342907643 958105 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :-liberty < 1342907675 353129 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :-family-math -fantasy-math -finnish-math < 1342907702 482845 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :fun wind tables? < 1342907706 145059 :Gregor!codu@codu.org PRIVMSG #esoteric :Oh no, not -finnish-math D-8 < 1342907728 840943 :nortti_!~juhani@a91-154-82-93.elisa-laajakaista.fi PRIVMSG #esoteric :why not? < 1342907850 610966 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :-frog-math -flower-math -fetish-math -functional-math < 1342907862 232993 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :hooray for -fnew-math < 1342907874 213318 :itidus21!~itidus21@120.148.51.163 PRIVMSG #esoteric :i am not sure which set these belong to, and i don't care to know < 1342907923 861458 :nortti_!~juhani@a91-154-82-93.elisa-laajakaista.fi PRIVMSG #esoteric :-f1984-math. now 2+2 equaps 5 < 1342907926 421064 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Did you hear about the law fetishist? He got off on a technicality. < 1342907941 642732 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :-fold-math < 1342907961 223616 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :-folder-math < 1342907983 393705 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :-fugly-code < 1342907999 313998 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :-messy-math < 1342908024 986223 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :-fussy-math < 1342908040 497978 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i saw a road sign today: "Humped Zebra Crossing" < 1342908072 331801 :nortti_!~juhani@a91-154-82-93.elisa-laajakaista.fi PRIVMSG #esoteric ::D < 1342908231 706764 :oklopol!~nnscript@dyn58-51.yok.fi PRIVMSG #esoteric :olsner: good one < 1342908331 584689 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :i saw a road sign today that said "hi" < 1342908608 504831 :oklopol!~nnscript@dyn58-51.yok.fi PRIVMSG #esoteric :well did you say it back to it? < 1342908626 482104 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :maybe I should build a program to take an aspell database and find all words that can be prefixed with -f or -m and produce another words < 1342908674 925808 :MoALTz!~no@host-92-2-126-226.as43234.net QUIT :Quit: Leaving < 1342908916 274767 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :latroia < 1342908923 549088 :latroia!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1342909080 899729 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :olsner: aspell databse? just use /usr/share/dict/words :P (or is that an aspell database?) < 1342909131 429059 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh! that's true < 1342909170 283046 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I once wrote a program that used aspell to build a list of all swedish words (obviously the words file didn't have those) < 1342909180 494303 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :not aspell itself, but its files < 1342909495 413110 :Gregor!codu@codu.org PRIVMSG #esoteric :You mean aspell dump master `aspell dump dicts | grep '^sv_'` < 1342909812 249450 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Gregor: swedish lets you put words together, as I understand it < 1342909827 191236 :Gregor!codu@codu.org PRIVMSG #esoteric :Mmm < 1342909830 99779 :Gregor!codu@codu.org PRIVMSG #esoteric :Like German. < 1342909836 146260 :Gregor!codu@codu.org PRIVMSG #esoteric :So you need the powerset of all words. < 1342910094 991215 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 260 seconds < 1342911485 538851 :Frooxius|TabletP!~chatzilla@cust-101.ktknet.cz QUIT :Quit: ChatZilla 0.9.88-rdmsoft [XULRunner 1.9.0.17/2009122204] < 1342912955 376699 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :shachaf: Is nand` holding up the channel again? < 1342912957 553301 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I can't tell what's going on. < 1342912981 573297 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: It happens. :-( < 1342913008 475595 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Yesterday: < 1342913011 710776 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :03:28 In the grand scheme of things, #haskell is a stupid waste of time. < 1342913014 822395 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :03:28 I don't know why I even go there. :-( < 1342913045 654837 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :(Has anyone told nand` that he wastes a lot of time?) < 1342913094 852610 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :`addquote rogues using maces is traditional [...] not D&D tradition, people coshing people in back alleys tradition < 1342913097 288397 :HackEgo!codu@codu.org PRIVMSG #esoteric :852) rogues using maces is traditional [...] not D&D tradition, people coshing people in back alleys tradition < 1342913104 51802 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thand` < 1342913213 82289 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: where did you say that? < 1342913230 829714 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :#haskell < 1342913254 600431 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Maybe it's a sign. < 1342913264 875428 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :You say "there" to mean "here"? < 1342913281 984432 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Poor ski. < 1342913303 858459 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: ski isn't a waste of time! < 1342913308 329433 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :who's nand` < 1342913311 472857 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :shachaf: I mean, he seems to waste a lot of time explaining things meticulously to people it'll be lost on. < 1342913321 427409 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: Someone who was probably new to #haskell when you left, or perhaps not even there left. < 1342913339 672958 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i don't remember them < 1342913342 142557 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :reading logs < 1342913350 220634 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they remind me a lot of me in #haskell some years ago < 1342913362 637489 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :down to gratuitous use of non-ascii < 1342913367 613161 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :maybe i was also wasting a lot of time < 1342913376 788467 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :You know the people who develop a decent enough understanding of Haskell to write programs in it and then get frozen at that level of knowledge forever? And then start explaining things badly? < 1342913376 964664 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i certainly explained things meticulously to people it was lost on < 1342913386 167389 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1342913390 412671 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :And arguing with people over language mechanics they don't know enough about to argue on the topic of competently? < 1342913398 592036 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they get frozen because they don't actually have anything they want to *do* with haskell < 1342913398 790954 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :He's one of those. < 1342913405 587609 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :(Hey, did you know Google indexes the logs of this channel?) < 1342913407 68598 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: Am I one of those? < 1342913407 435109 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :( : ( ) < 1342913421 922699 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :shachaf: No, you're annoying in more creative ways! < 1342913426 931199 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I think that's a compliment? < 1342913431 901903 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: Are you one of those? < 1342913439 332855 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :No. < 1342913459 283960 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric : down to gratuitous use of non-ascii < 1342913465 747067 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :This irritates me more than it should. < 1342913473 137311 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :hmm, I think I'm one of those... except I don't explain stuff to people in #haskell < 1342913476 276648 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I just idle in there < 1342913477 227438 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What gratuitous use? < 1342913478 288163 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i only noticed because chrome fails to detect the encoding on logs < 1342913483 461831 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :nand` uses smart quotes < 1342913486 611961 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I mean, Unicode quotes and aposrtophes are obviously more correct. < 1342913490 537072 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :squotes < 1342913494 784544 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :But I can't help but perceive their use in casual conversation on IRC as posturing. < 1342913498 134464 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :squaschaf < 1342913505 81712 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah i don't know < 1342913512 584845 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I wonder if differentiated opening and closing quotes will live for much longer? < 1342913513 886747 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: How do you feel about «»? < 1342913515 193371 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :anyway yeah < 1342913521 914353 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :They're not on anybody's keyboards. < 1342913525 839177 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Wikipedia doesn't use them, by policy. < 1342913528 420747 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :people who "learn haskell" but don't ever use it get stuck at a particular level < 1342913531 732497 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :maybe he composes his messages in Word and pastes them into mIRC < 1342913533 435610 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm not sure if i'm one of these people or not < 1342913541 642530 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i've used haskell in a few cases where "use haskell" was not a design goal < 1342913543 497282 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but not that many < 1342913550 950564 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I guess typesetters take longer to forget about these things than everyone else. < 1342913553 735507 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :nothing really big or production grade < 1342913570 12488 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: I think you dislike nand` for whatever reason and that makes you find everything else they say annoying. < 1342913570 194395 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :some small scripts, and some research-quality / assignment-quality code < 1342913580 231292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :And if $PERSON_YOU_LIKE used the quotes, you wouldn't care. < 1342913595 75470 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :is it less annoying than ``ski-quotes'' ? < 1342913612 151357 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :My point is rationalization. < 1342913637 368484 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I like ski's style. He's very meticulous about quoting and not breaking use-mention and so on. < 1342913658 39662 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :ski is awesome < 1342913667 850943 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: it looks like nobody responded to your comment, either < 1342913670 59059 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Talking about people in the third-person is weird. < 1342913671 955510 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :perhaps they thought you were joking < 1342913676 911426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Which comment? < 1342913677 636923 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Let's talk about ski in the first person instead. < 1342913685 648119 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :that it's a stupid waste of time < 1342913693 369988 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I was just generally annoyed. < 1342913701 592553 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i really wish i could go to boston haskell this month < 1342913705 628489 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should probably leave #haskell before getting to the point of making those comments. < 1342913706 531247 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but i will be in the wrong continent < 1342913712 260118 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: worked for me < 1342913720 626226 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :elliott__: I think talking about me in first person could get confusing < 1342913721 915543 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Perhaps it's more accurate to say that Boston will be in the wrong continent. < 1342913722 689552 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i still like the people there, and the language < 1342913727 882238 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :if i stayed longer then maybe i would not < 1342913751 420861 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: perhaps! < 1342913757 83072 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i could go to Boston, UK and see if there's some Haskell there < 1342913775 867675 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it is... not a very significant town < 1342913783 842053 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :UK? < 1342913786 967500 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's not even a continent. < 1342913790 323682 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :olsner: Yes. elliott__ should stop talking about me. < 1342913795 281864 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :More like "I'm not on any continent" < 1342913803 933084 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :and pretty far away < 1342913813 86569 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: Coming to England? < 1342913820 874427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: There's a lot of Haskell in the area of Bellingham, WA. < 1342913871 417983 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i'm in England right now! < 1342913887 153713 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :(Wait, is nand` really arguing for putStrLn :: IO Void that returns undefined?) < 1342913887 740240 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Going to visit elliott? < 1342913894 463526 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :where's elliott__? < 1342913898 139547 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :*String -> IO Void < 1342913900 327127 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :whelliott? < 1342913900 877816 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: Hexham. < 1342913904 774993 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :elliott__: sounds like it < 1342913905 694294 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :North-east of the country. < 1342913907 449093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hex hamuk. < 1342913914 285350 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :Nearest city Newcastle. < 1342913922 141996 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Newcastle Upon Thyme < 1342913924 166859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something. < 1342913939 151631 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :is that a different Newcastle? < 1342913959 94228 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I read _Cat's Cradle_ recently. < 1342913964 616157 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It's enjoyable. < 1342913996 278752 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION is currently in a town with ~9000 people.
< 1342914016 987817 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :sounds small < 1342914049 55597 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :No, Newcastle upon Tyne is it. < 1342914053 322273 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: Whereabouts are you, anyway? < 1342914129 313553 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :I'm in Slough (plz. hold the throwing of rotten vegetables until the end) < 1342914141 92938 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I think you mean "pls.". < 1342914150 432533 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :That's the British abbrvtn. < 1342914182 116448 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :heh < 1342914187 528595 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :
ACTION wonders how kmc ended up in Slough.
< 1342914195 272735 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :friends of a friend live in slough < 1342914196 445889 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :TRAAAAAIN? < 1342914204 777533 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :so it's free accommodation in a place which is close enough to london < 1342914209 420511 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :(30 min train ride, comes every 30 minutes) < 1342914220 157266 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but actually i slept in cambridge last night < 1342914229 319598 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :I've never been to London. But I'm pretty sure it's awful. < 1342914237 188907 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I've been to London! < 1342914237 921912 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: yes, or rather train bus plane bus bus boat train train train train < 1342914278 936931 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :plane boston → dublin, ferry dublin → holyhead, trains holyhead → slough < 1342914289 576380 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :and some local transport along the way < 1342914333 584548 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I took a ferry the other day! < 1342914336 695719 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :where? < 1342914341 431560 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :wherry < 1342914376 91312 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seattle ↣ Bainbridge < 1342914403 631480 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Canada! < 1342914424 640323 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Seattle ↯ < 1342914431 473232 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric : Alaska? < 1342914436 899245 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Teleporterry < 1342914461 890556 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :you should hitchhike to alaska < 1342914463 856912 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :to one-up lexande < 1342914472 720001 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hmm, maybe that's Bellingham. < 1342914487 722186 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whence whither did lexande hitchhike? < 1342914497 812390 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :kmc: You should go visit Taneb. He's probably more interesting than me. < 1342914511 693939 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: You should come visit California! < 1342914516 673451 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Did you know kmc used to live there? < 1342914524 278080 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :
ACTION wonders if it'd be pointlessly derailing to tell nand` that's not what "non-total" really means.
< 1342914530 187165 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :(Yes.) < 1342914533 567001 :elliott__!~elliott@95.149.229.204 PRIVMSG #esoteric :(To my line, I mean.) < 1342914558 355647 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: he went from Cambridge, MA to St John's, Newfoundland (i.e. the End of the Earth) < 1342914571 405175 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :elliott__: you can't derail a train that's already fallen off the bridge into the river < 1342914586 81126 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :
ACTION used to live in California
< 1342914595 894995 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but I never lived in the parts of California which I would want to live in now < 1342914609 971917 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott__: Yes, don't visit Pasadena. < 1342914617 508994 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :pasadena is... fine < 1342914625 701094 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Visit the barea! < 1342914627 727987 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but there's little reason to visit as a generic tourist thing < 1342914643 454386 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :if you know someone there or have business at caltech, then go, it's fairly nice < 1342914658 446493 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Isn't there NASA stuff there or something? < 1342914662 498887 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Pasadena is a decent city of middling size, if you ignore that it's glommed onto LA < 1342914671 332193 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Phantom_Hoover: yes, JPL is out there, although technically it's in the next city over < 1342914684 823041 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I only really know of it from the twist ending to the musical version of the War of the Worlds. < 1342914685 237568 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :La Cañada Flintridge < 1342914719 13189 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's far enough that the summer students who had jobs at JPL had to wake up at butt o' clock to get a bus out there < 1342914871 825112 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :shachaf: I think I don't really like the Bay Area, only SF < 1342914899 337477 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Berkeley and some of the other bits right around SF are all right < 1342914904 497393 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :but South Bay is super sprawly < 1342914913 812812 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"Bay area man prefers science fiction to bay area" < 1342914919 172514 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it's nice-looking sprawl full of people i like, but... < 1342914952 875771 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Didn't you say how nice-looking sprawls are even worse than regular sprawls? < 1342914960 787052 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :yeah < 1342914970 189124 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because they contribute to the downfall of American society. < 1342914970 739795 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :well i don't know if south bay counts in that < 1342914971 814075 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Or something. < 1342914976 886668 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they all do to varying degrees < 1342914982 951196 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i think i meant a different sort of nice looking sprawl < 1342914992 689361 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :south bay seems to at least have apartment housing at similar density to pasadena < 1342914995 279100 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :
ACTION isn't an expert in sprawls.
< 1342914999 497901 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :mixed in with the detached houses < 1342915020 725619 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i was talking about rural-burbia places where everyone has a huge custom house on a nice landscaped plot set way back from the road < 1342915044 765356 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they look nice but are even more shackled to cars than south bay type stuff < 1342915072 732473 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :though some of these people also make part time money from actual agricultural activites < 1342915102 640120 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it seems to be a thing in new hampshire and vermont that, you live in vaguely suburban area and commute to work, but you also have a few cows and chickens, partly as pets, but you can sell the milk and eggs as well < 1342915106 635843 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :or something < 1342915119 989830 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :i met someone who had 3 geese, 2 chickens, and 2 dogs as pets < 1342915125 539919 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :man did you know i used to think new england was a state < 1342915125 908269 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :one of those dogs was probably the largest dog i have ever seen < 1342915132 227655 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :it was bigger than many bears < 1342915135 176584 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Phantom_Hoover: :) < 1342915147 995647 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :there is... little reason for non-USians to distinguish the different states of New England < 1342915153 330118 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :they're all small and close together < 1342915171 832672 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :Phantom_Hoover: did you also think New Scotland and New Wales were states? < 1342915172 402783 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :and i got really confused when i was looking at a map and i was like "where's new england, isn't it near new hampshire" < 1342915189 599192 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :"it would make sense, old hampshire is in old england" < 1342915197 695926 :kmc!~keegan@c-65-96-1-204.hsd1.ma.comcast.net PRIVMSG #esoteric :New Scotland is a state in France < 1342915199 740587 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kmc, well there is Nova Scotia.