< 1331251269 700104 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :it's the partitive case of "shallow and spot" < 1331251282 148298 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :where spot means the dog < 1331251308 4524 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :sorry < 1331251308 908476 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :shallows < 1331251341 285668 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :(shallows meaning shallows spots in a body of water) < 1331251461 500129 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :it's a popular finnish game where you get on a boat with our family and throw the family dog and your kids in the water. the game is that you try to shoow the family dog before your kids find a shallow spot. if they can't find one fast enough, they drown and you shoot the dog, otherwise everyone's safe < 1331251472 713246 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i know it sounds cruel but it's actually a lot of fun < 1331251485 82754 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :if you hate your life and are a sociopath with a shotgun < 1331251495 31441 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i'm very sleepy. < 1331251517 753516 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :*shoot < 1331251565 730720 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :also pun not intended with shallow spot vs. dog name spot. didn't even notice that, i'm very tired. < 1331251592 979214 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :also we use the partitive because you cut them into pieces if they lose < 1331251636 306644 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :if they win, you cut them into peace easy, which sounds like a good thing < 1331251641 18374 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :*peace ease < 1331251655 873084 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :so this one time there was cheese < 1331251803 991651 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi PART :#esoteric < 1331251824 732306 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i feel partially responsible for that < 1331251883 227347 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :wonder what i should say next < 1331251886 337936 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :something about clocks < 1331251889 144726 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :nah that's too easy < 1331251895 177157 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :maybe i'll talk about feelings < 1331251926 878877 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :feelings are interesting because while they don't really have physical form, you can still "eat them", i'm sure you know which idiom i'm referring to < 1331251942 158060 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :this probably stems from some sort of conspiracies in history when i was going to sleep < 1331251944 48719 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :night < 1331253164 439762 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1331253695 430999 :PiRSquared!~area@wikipedia/PiRSquared17 QUIT :Remote host closed the connection < 1331254405 927125 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Has the Bible ever been translated into Egyptian hieroglyphics? < 1331254452 753060 :Friendship!codu@codu.org PRIVMSG #esoteric :I doubt it. < 1331254516 472831 :Friendship!codu@codu.org PRIVMSG #esoteric :Probably much of the Torah is. < 1331254519 224099 :Friendship!codu@codu.org PRIVMSG #esoteric :*has been < 1331254544 719105 :Friendship!codu@codu.org PRIVMSG #esoteric :Or more likely into hieratics, but same idea. < 1331254545 753741 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The bible was written in Egyptian hieroglyphics, man! < 1331254718 815120 :Friendship!codu@codu.org PRIVMSG #esoteric :(That was a bad joke by the way, I don't think the Torah has been translated into ancient Egyptian ;) ) < 1331254973 450723 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Some of the texts probably did have origins in Egyptian ideas. However, what I mean is the modern text, including the New Testament as well. There are probably are Ehyptian texts with similar ideas to texts in the Bible; but that is not what I meant. < 1331255674 62628 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1331255716 999867 :Jafet1!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 265 seconds < 1331255737 477998 :cswords!~cswords@c-98-223-234-80.hsd1.in.comcast.net JOIN :#esoteric < 1331255935 87618 :Jafet1!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1331255972 67806 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 260 seconds < 1331256541 772731 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Ping < 1331256792 6809 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Pong; just got home from work. < 1331256940 285771 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I forget, do you have to do anything special to get Quod Libet playing gapless? < 1331257352 62486 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I would like to know if there is ephemeris software which includes rotation of objects other than the Earth. < 1331257410 52090 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: stellarium includes jupiters great red spot.. is that what you mean? < 1331257411 215401 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Pingping. < 1331257428 824814 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: (so you can figure out when it'll be visible) < 1331257466 602274 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :calamari: That would be one example, I suppose. < 1331257490 412248 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: and it might do other planets as well, but I don't know their surface features well enough to say for sure < 1331257701 401838 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :elliott: Nothing special. < 1331257742 243557 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: well I was curious so I fast-forwarded on mars.. it spun the planet, so I'm assuming yes < 1331257793 203126 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: what project are you planning? < 1331257834 770496 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Yay, thanks. < 1331257891 332140 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :If you're unlucky, though, GStreamer will have a bug preventing gapless FLAC. < 1331257910 208725 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :(fixed in latest GStreamer, though) < 1331258029 783433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I suspect Arch has a new enough GStreamer to avoid that. < 1331258033 92733 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :But it is indeed FLACs I'm playing. < 1331258325 859052 :Jafet1!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :You could delete quotlibet and install xmms! < 1331258336 995782 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Eeeew, xmms. < 1331258352 930744 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :It'd probably be saner to install Winamp 2 in WINE. Surprisingly. < 1331258371 955324 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :What is the computational class of Common Lisp FORMAT strings? < 1331258375 980568 :Jafet1!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Sanity is for wussies < 1331258384 430261 :Jafet1!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :TARPIT-HARD < 1331258405 727123 :Jafet1!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Actually by this channel's standards, probably tarpit-medium < 1331258430 808833 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I asked in #lisp if it's TC, they said no < 1331258437 446956 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Or, one person said no. < 1331258455 636437 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :I'd imagine it's at minimum a FSM. < 1331258459 544734 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I should note that I'm excluding ~/ < 1331258513 465135 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :calamari: I do not need a picture of the planets. I intend something superior to Astrolog, with more coordinate systems, and more other stuff too including custom orbital parameters (Astrolog has these but in a very limited way), and a few features Swiss Ephemeris also appears to lack. However, apparent diameters would be useful, but photographs are unnecessary. < 1331258533 542160 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Hey, xmms2 ain't bad. < 1331258537 453577 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :xmms1 otoh... < 1331258565 77568 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(Such things as refraction are also useful to have here; as well as switching on/off various things such as annual aberration of light, and finite speed of light, etc) < 1331258627 239047 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(Swiss Ephemeris has some of these features, but not all.) < 1331258640 956605 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :elliott: If you omit a number, I assume xmms1. < 1331258649 347979 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: well maybe it's just me, but if it can produce a pic of the planet spinning then it did the calculation in the stellarium code somewhere < 1331258650 666930 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Thus my response. < 1331258660 906385 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :XMMS wasn't too bad. In 2000. < 1331258677 653815 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :That's over half my lifetime ago. < 1331258726 962637 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :calamari: Yes that may be the case. However, is there any standard zero longitude defined on the planets other than the Earth? < 1331258755 438458 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: guess you'd have to look and see < 1331258771 590129 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :zzo38: Don't think so. We'd need to get the British to set up shop on each one for that to happen. < 1331258783 359071 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :And then we can have Martian Greenwich Mean Time. < 1331258827 330465 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And I mean not only the planets, but also the Moon and Sun, and also dwarf planets. < 1331258949 114018 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1331259011 142275 :Jafet1!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 245 seconds < 1331259085 52365 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If we know the objects and the rotations of each one, we can make up coordinates for locations on the surface of the planets, and local ecliptic and local equatorial celestial coordinates relative to those planets, and timezones, and houses relative to those planets. < 1331259114 96736 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(As well as where the local tropics are) < 1331259125 68868 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(And a few other things too) < 1331259159 60318 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Question: Who thought it was a good idea to put any user interface (e.g., dials) on the back of a device which is intended to be operated facing forwards? < 1331259165 31813 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And how can I reeducate them? < 1331259194 782163 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Beats me. The only form of UI that makes sense there is the sort that you literally do not need to look at at all. < 1331259208 319385 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Say. R and L *buttons* on a controller. < 1331259227 360514 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Nintendo 64 has the Z button on the back. < 1331259234 287136 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I imagine it's because they believe the configuration is a rare task, or the back will be readily-accessible even if it involves going 'round to the cables. < 1331259240 688218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They are dumb. < 1331259250 310566 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Oh, wait, you mean something that's not even hand-held? < 1331259253 853589 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yep. < 1331259255 115398 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Retarded! < 1331259255 302196 :Jafet!~Jafet@unaffiliated/jafet QUIT :Ping timeout: 272 seconds < 1331259272 454532 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bonus: if you just turn it around to do it, you won't be able to tell if you set it right or not, so you just have to lean over it. < 1331259291 279648 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bonus to the bonus: It has sharp corners. < 1331259299 917856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I would like my hands back. < 1331259307 854050 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The other thing I was looking for, is glyphs for all the dwarf planets in our solar system; some of them do not yet have glyphs (one does not yet have a name; and it should probably be named first before a glyph is assigned) < 1331259617 197127 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(2007 OR10 lacks a name.) < 1331259717 408940 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, why do you have to actually see the dial itself? < 1331259834 580660 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sgeo_: Who said I do? < 1331259880 818122 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, I guess physically reaching it is difficult? < 1331259925 796363 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: do you have a telescope? < 1331259927 806382 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, not impossible, but I do have to move it slightly and lean over, leading to awkwardness and aforementioned sharp corner nicks. < 1331259999 222803 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :calamari: No, I don't. But even if I did, that wouldn't help me to name 2007 OR10 or assign glyphs or anything. < 1331260021 912978 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :zzo38: just trying to understand your interest in celestial mechanics < 1331260040 993921 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :For the purpose of writing computer programs. < 1331260069 896726 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(I do sometimes look at the stars and moon and so on outside; but I have no telescope) < 1331260113 584881 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :I'd like to write a program to use a wii remote to help me aim my scope < 1331260131 698500 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you have Bluetooth in your computer? < 1331260135 574805 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :but I still need to figure out the math < 1331260151 896442 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :yes, but I was envisioning using my phone < 1331260203 31585 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Astrolog does have many features; but some features are lacked, such as GPS input, and negative harmonic factors. < 1331260366 135283 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(The reason I want glyphs for the dwarf planets is for purpose of including them on diagrams. There are many kinds of diagrams which you might want them on) < 1331260392 533494 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(However, it is only the certain and nearly certain ones which I am interested in.) < 1331260451 646678 :elliott!~elliott@unaffiliated/elliott QUIT :Remote host closed the connection < 1331260454 547617 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :zzo38, have you ever tried a Lisp? < 1331260515 964680 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Sgeo_: No. < 1331260718 544848 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :monqy, tswett update < 1331260769 163234 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :Merci. < 1331260819 181012 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1331260837 386732 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, update < 1331260843 383153 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Did you even see the flash yet? < 1331260941 273342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1331261455 487194 :elliott!~elliott@unaffiliated/elliott QUIT :Quit: Leaving < 1331262748 671021 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :You know, I don't think I care for Polynomial. < 1331262763 978663 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :I think it ought to be designed in such a way that it doesn't *matter* which way the instructions are executed. < 1331262809 659143 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Polynomial? < 1331262833 91615 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :esolangs.org/wiki/Polynomial or summat. < 1331263025 949203 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :Man. The page "Pure BF" looks sort of familiar. Almost as if I had written it or something. < 1331263026 485157 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :register += 0 is not representable in Polynomial? < 1331263156 323519 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :Sure it is. Multiply the polynomial by 4. < 1331265985 724494 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1331266002 219336 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Friendship: So did your interview get published? < 1331266084 665393 :deadlocked!~deadlocke@unaffiliated/deadlocked JOIN :#esoteric < 1331266212 312224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`welcome deadlocked < 1331266220 411192 :HackEgo!codu@codu.org PRIVMSG #esoteric :deadlocked: 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 < 1331266893 51545 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't think deadlocked feels welcome enough. < 1331267017 444555 :ion!ion@heh.fi PRIVMSG #esoteric :There should be a `WELCOME which welcomes someone IN CAPS. < 1331267041 518675 :deadlocked!~deadlocke@unaffiliated/deadlocked PRIVMSG #esoteric :elliott: Thannks for the welcome. < 1331267225 221313 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK < 1331267323 719096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo '#!/bin/sh' >bin/WELCOME; echo "welcome \"\$@\" | perl -ne 'print lc(\$_)'" >>bin/WELCOME < 1331267326 715972 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1331267328 324426 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run chmod +x bin/WELCOME < 1331267331 515983 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1331267332 810174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`WELCOME ION < 1331267336 881497 :HackEgo!codu@codu.org PRIVMSG #esoteric :ion: 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 < 1331267341 729953 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oops. < 1331267346 564497 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That was quite a spectacular failure. < 1331267355 41009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`run echo '#!/bin/sh' >bin/WELCOME; echo "welcome \"\$@\" | perl -ne 'print uc(\$_)'" >>bin/WELCOME; chmod +x `which WELCOME` < 1331267358 181724 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1331267362 178624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`WELCOME ION < 1331267365 768192 :HackEgo!codu@codu.org PRIVMSG #esoteric :ION: 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 < 1331267370 761828 :ion!ion@heh.fi PRIVMSG #esoteric :\O/ < 1331267373 942268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1331267381 932558 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :`WELCOME lowerelliott < 1331267384 975088 :HackEgo!codu@codu.org PRIVMSG #esoteric :LOWERELLIOTT: 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 < 1331267386 869961 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I think this more appropriately conveys the sinister hostility which underlies our initially seemingly-benign welcomings. < 1331267503 187385 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Too bad. < 1331267513 637463 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The URL are case sensitive < 1331267591 339445 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Well, the wiki part is < 1331267601 6886 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Actually, both parts are. < 1331267611 305202 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :And by both, I am excluding esolangs.org < 1331267611 491761 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I COULD MAKE /WIKI/ BE A MIRROR OF THE WIKI WITH ALL THE TEXT TRANSLATED TO UPPERCASE. < 1331267615 767134 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The URI scheme and domain name is case insensitive, but the rest is case sensitive. < 1331267620 843977 :ion!ion@heh.fi PRIVMSG #esoteric :THAT WOULD BE COOL. < 1331267624 215433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IN FACT, I AM NOW SORELY TEMPTED TO DO THAT. < 1331267641 284327 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ELLIOTT, THAT WIKI WILL BE A FALSE WIKI, FOR THOSE LANGUAGE WHICH ARE CASE SENSITIVE < 1331267649 495423 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :IF ANY < 1331267668 43746 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FALSE, PERHAPS, BUT WHO WILL QUESTION A WIKI THAT SHOUTS THAT LOUD < 1331267722 588849 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :esolangs.org will still show up as lowercase in most browsers' address bars? < 1331267729 744515 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :? < 1331267735 844758 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :OKAY, THE MAIN PROBLEM I CAN SEE IS THAT IT'S FIDDLY TO DETERMINE WHICH PARTS TO UPPERCASE, HTML-WISE. < 1331267761 10342 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :THE RELIABLE THING WOULD BE TO MAKE A NEW LANGUAGE IN THE MEDIAWIKI INSTALLATION IDENTICAL TO THE ENGLISH ONE BUT WITH ALL THE TEXT UPPERCASED, AND WRITE AN EXTENSION TO FILTER THE TITLE AND PAGE TEXT BEFORE OUTPUTTING, BUT FUCK THAT NOISE. < 1331267774 951432 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FUCK IT, I'LL DO IT SOME OTHER TIME. < 1331267901 36936 :madbr!boulam@24.157.253.190 JOIN :#esoteric < 1331267954 57770 :ion!ion@heh.fi PRIVMSG #esoteric :OKAY :-( < 1331267989 803284 :madbr!boulam@24.157.253.190 PRIVMSG #esoteric :wonder if it's possible to make a language out of nothing but threads and mutexes < 1331267992 50548 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's so bold I can't read. < 1331268001 356200 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :madbr: Makes me think of the pi calculus. < 1331268144 604724 :madbr!boulam@24.157.253.190 PRIVMSG #esoteric :why? < 1331268164 424896 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :madbr: Well, because that just has concurrent communicating processes (~ threads). < 1331268172 480248 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And you can do the lambda calculus with it. < 1331268218 803682 :madbr!boulam@24.157.253.190 PRIVMSG #esoteric :oh right < 1331268240 834366 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You want the pthreads to pi calculus' Erlang. :p < 1331268510 683336 :madbr!boulam@24.157.253.190 PRIVMSG #esoteric :yeah... was thinking of making a language with only the bad parts of c++ :D < 1331268621 762436 :ion!ion@heh.fi PRIVMSG #esoteric :`run welcome foo | perl -CS -Mutf8 -Mlocale -pwe 'y/!-~/!-~/; y/ / /' < 1331268625 117873 :HackEgo!codu@codu.org PRIVMSG #esoteric :​foo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.or < 1331268690 21448 :ion!ion@heh.fi PRIVMSG #esoteric :Whoops, i meant to drop -Mlocale, it isn’t needed. < 1331268803 319446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I don't have those fonts. :( < 1331268805 365407 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What fonts do I need? < 1331268835 934377 :ion!ion@heh.fi PRIVMSG #esoteric :Dunno, whatever Ubuntu has by default. :-P < 1331268898 594015 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Something for Japanese. < 1331268902 722062 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Didn't peg you as an Ubuntu user. < 1331268908 962621 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Look for Mincho and Gothic. < 1331268909 989072 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ah, I'll install whatever they were called. < 1331268928 505549 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh - not takao? < 1331269027 646863 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Mincho and Gothic are *types* of font. < 1331269032 986179 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Takao should do you fine. < 1331269071 678356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes - now why doesn't Arch have it. < 1331269084 188970 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sigh - AUR. < 1331269088 367295 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lots of dashes today, I'm. < 1331269116 997458 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: If not Takao, what would be a good choice of (non-bitmap) Japanese fonts? < 1331269168 266385 :ion!ion@heh.fi PRIVMSG #esoteric :$ apt-cache depends ubuntu-desktop | grep ttf | cut -d' ' -f4 | xargsttf-dejavu-core ttf-freefont ttf-indic-fonts-core ttf-kacst-one ttf-khmeros-core ttf-lao ttf-liberation ttf-punjabi-fonts ttf-takao-pgothic ttf-thai-tlwg ttf-ubuntu-font-family ttf-unfonts-core ttf-wqy-microhei < 1331269180 209041 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah, Ubuntu does Takao. < 1331269221 990005 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Kochi Mincho? < 1331269351 690130 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq_: Nunavut in the repositories, either. < 1331269355 543117 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Guess I'll AUR me some Takao. < 1331269378 837694 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Canadian territories are my new phonetic slang source.) < 1331269388 938207 :ion!ion@heh.fi PRIVMSG #esoteric :This was explanatory. http://static.lukew.com/japantype_mincho_gothic.gif < 1331269391 207933 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :ACTION is using Meiryo, but that's certainly not in the repos, in part due to being illegal without a license for Microsoft Windows < 1331269416 16553 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :ion: Yup, all you need to know right there. < 1331269422 965350 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Is ilari a regular here? < 1331269426 997963 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Where is ilari a regular? < 1331269436 895553 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :ilari was a regular here... < 1331269451 783556 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :He seems to have been in #x264 regularly, though. < 1331269459 780580 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Ilari was a regular here but stopped being here ~two years ago. < 1331269473 681140 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Thought it was more recent than that. < 1331269479 24524 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Might have been one year. < 1331269491 328345 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You can tell by the lack of IP attrition updates. < 1331269502 774536 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :He has NetHack open on termcast.org for some reason < 1331269503 281912 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's like the ticking of a clock, you only notice it's gone minutes too late. < 1331269510 983767 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lots of people termcast NetHack. < 1331269512 964924 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :IP attrition updates? < 1331269547 107446 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Y'know, IPv4 run out and all that. < 1331269552 929657 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And IPv6 sort of had tiny little nibbles taken out of it. < 1331269568 468305 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Incidentally, RIPE depletion estimated at 2013-03-16. APNIC depleted nearly a year ago. < 1331269586 45655 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MSleep < 1331269599 132727 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Is that causing problems in AP? < 1331269607 92488 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess there's enough layers that it hasn't really hurt anyone yet. < 1331269643 460732 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :It's probably not hurting in Asia quite as hard as it would anywhere else. < 1331269653 718130 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Some of their ISPs have offered home IPv6 since 2000. < 1331269655 75679 :deadlocked!~deadlocke@unaffiliated/deadlocked PART #esoteric :"Me fui..." < 1331269658 469445 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Oh, misparsed IP as intellectual property < 1331269667 673028 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :We're running out of intellectual property! < 1331269670 480383 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Soon there'll be no more ideas. < 1331269673 269335 :ion!ion@heh.fi PRIVMSG #esoteric :“imaginary property”, FTFY. < 1331269679 85837 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: Thanks, Stallman. < 1331269693 279993 :ion!ion@heh.fi PRIVMSG #esoteric :ACTION eats some foot dirt < 1331269701 103334 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Lord knows all we have to do is to get people to stop saying IP and copyright will DISAPPEAR OVERNIGHT. < 1331269752 204741 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Intellectual Protocol. Internet Property. < 1331269770 392034 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION saw someone expand PIPA as "Protect Internet Privacy Act". < 1331269775 292735 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :And we're still going through 1.34 /8s per month. < 1331269791 943840 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which, you know... "Act" is right. < 1331269796 810605 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So they're not *completely* wrong. < 1331269815 352811 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And the first letter of each word is also correct. < 1331269832 750768 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's true! < 1331269838 16972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's very true. < 1331269841 903847 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :They were actually quite right indeed. < 1331269852 274730 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :No, they are still wrong in general. < 1331269854 325473 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Unfortunately, the large amount of wrong they also were drowned out recognition of this. < 1331269871 221276 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION wikipedias < 1331269885 625190 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Preventing Intellectual Property Act? < 1331269888 92749 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Preventing Real Online Threats to Economic Creativity and Theft of Intellectual Property Act. < 1331269889 285121 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :HTH. < 1331269894 548572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :P stands for PROTECT. < 1331269901 231298 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Which stands for the first n words of that expansion. < 1331269914 318507 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I wonder who gets paid to come up with backronyms for bills. < 1331269919 161091 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :PATRIOT Act and all that. < 1331269924 778627 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Bills? Is it a bill? I don't know "law". < 1331269933 521943 :ion!ion@heh.fi PRIVMSG #esoteric :I hate it when my intellectual property is stolen. I wish they’d just copy it. < 1331269971 723560 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ion, I think you're going to kill me. < 1331269995 510174 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: Someone broke into my stereo the other day and stole my music with that "mp3" thing. < 1331269999 553405 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Fuck Linux. :( < 1331269999 740409 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :https://marketplace.secondlife.com/p/Antiposeball-5-SAVE-PRIMS-ON-FURNITURE/219014 < 1331270021 98742 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :elliott: It's a bill until it gets signed into law. So, yes, "bills" would be right. < 1331270030 890367 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net QUIT :Quit: Leaving < 1331270040 870190 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :When does it become Ballmer? < 1331270051 875263 :ion!ion@heh.fi PRIVMSG #esoteric :PIРA Is a Рecursive Acronym < 1331270067 996724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1331270083 999403 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :When someone throws a chair across Congress. < 1331270111 634841 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net PRIVMSG #esoteric :Especially when that someone says "Developers developers developers developers" < 1331270146 53640 :asiekierka_!~asiekierk@078088180231.elblag.vectranet.pl JOIN :#esoteric < 1331270157 835441 :ion!ion@heh.fi PRIVMSG #esoteric :The word Ballmer looks a bit like pallomeri, which is Finnish for a ball pit, and which translates literally to a sea of balls. < 1331270226 421544 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ion: For certain values of a bit. < 1331270237 547206 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well. I suppose it has at least 1 bit in common. < 1331270281 365299 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: Does it also have 0 bit in common? < 1331270290 316932 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :If those are both true then it has both bits in common. < 1331270355 555585 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Whoa. < 1331270496 141065 :cswords_!~cswords@c-98-223-234-80.hsd1.in.comcast.net JOIN :#esoteric < 1331270686 804354 :cswords!~cswords@c-98-223-234-80.hsd1.in.comcast.net QUIT :Ping timeout: 246 seconds < 1331271699 859169 :Sgeo_!~sgeo@ool-ad034d00.dyn.optonline.net NICK :Sgeo < 1331272475 71755 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1331274224 85679 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1331274249 164697 :madbr!boulam@24.157.253.190 QUIT :Quit: Radiateur < 1331274292 584929 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :morning < 1331274598 835535 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi < 1331274599 362377 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : also we use the partitive because you cut them into pieces if they lose < 1331274635 487754 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oklofok: more disturbing than usual < 1331274688 427132 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :s/:/ is/ < 1331274919 214616 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi oerjan! im tired oerjan! < 1331274930 736086 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi elliott! go to bed elliott! < 1331274942 60709 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi oerjan! what < 1331274950 177397 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :GO. TO. BED. < 1331274973 303102 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i cant hear you < 1331275011 215694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : ____ ___ _____ ___ ____ _____ ____ < 1331275011 402152 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : / ___|/ _ \ |_ _/ _ \ | __ )| ____| _ \ < 1331275011 402329 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :| | _| | | | | || | | | | _ \| _| | | | | < 1331275011 402446 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :| |_| | |_| | | || |_| | | |_) | |___| |_| | < 1331275011 402552 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : \____|\___/ |_| \___/ |____/|_____|____/ < 1331275046 301234 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh. < 1331275051 798791 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well that's just ridiculous. < 1331275056 345844 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it is only 6:37. < 1331275077 464468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well it's ridiculous if you _haven't_ been up all night. < 1331275113 779499 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, i have that. < 1331275136 556723 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ok maybe i will. WE'LL SEE. < 1331275157 430332 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :excellent maybe < 1331275531 720937 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :"It is recommended that a report message be a complete sentences, in the proper case and correctly punctuated." < 1331275557 398055 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://www.lispworks.com/documentation/HyperSpec/Body/09_acaa.htm < 1331275558 72782 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :Rokostaa mutaa mi elejästyty jo rammastulo ei ava luonen. < 1331275587 323362 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :All Google Translate got out of that was "not already opened" < 1331275601 878048 :MoALTz_!~no@host-92-8-228-70.as43234.net QUIT :Ping timeout: 240 seconds < 1331275672 399406 :tswett!~tswett@171.64.42.221 PRIVMSG #esoteric :Huh, "ava" is a Finnish word. I didn't know that. < 1331275691 429819 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: asdfl;;gskhh;g;j'fd'h < 1331275704 391168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: ewoufhwrqølbre < 1331275718 80107 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: ;_; < 1331275736 50233 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im cry. < 1331275743 475940 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how dare you cry at the mighty ølbre < 1331275754 65725 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(that would mean beer glacier) < 1331275775 611224 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im crey. < 1331275783 41351 :MoALTz!~no@host-92-8-150-63.as43234.net JOIN :#esoteric < 1331275855 805275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: grey crey teyrs. < 1331275868 426992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :o my sads. < 1331275871 102949 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott is a grey? that would so explain things. < 1331275893 660386 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what seems to be problem, actually? except that you should GO TO BED? < 1331275898 431214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no the teyrs are grey. < 1331275904 413588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :im not sure what the problem is < 1331275907 765637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh right i remember now < 1331275914 281972 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(a) i don't want to sleep < 1331275920 204146 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(a) i don't want to stay awake < 1331275922 917560 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(c) oops < 1331275929 245143 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(4) i can't number lists < 1331275939 556917 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :a seems a bit ambivalent there < 1331275974 676983 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, you can't lucid dream if you don't sleep. < 1331275980 669213 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(ü) these things hit the unicode singularity too fast < 1331276000 785610 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i cant lucid dream if i do sleep take that science < 1331276004 784572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`":(" -science < 1331276008 819239 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ":(": not found < 1331276022 647881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lucida sans sleep < 1331276038 536378 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :my favourite font < 1331276040 119470 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :lucida sans souci < 1331276047 475007 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*favr'ort < 1331276093 123684 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :at that point i realised the swamming pool was a pool... for the dead < 1331276112 105981 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pool in the dead < 1331276152 672222 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idgi < 1331276176 637918 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :AAAAAAAAAAIIIIIIIRRRRRRRRR < 1331276178 926459 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i vaguely suspect the idiom actually has "pull" < 1331276185 88588 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or does it. < 1331276239 217968 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :[Tomt] Chocolatey hazelnut spread? (self.tipofmytongue) < 1331276239 440977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :from the title i thought i would finally be able to answer one of these. < 1331276241 143410 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :elliott, if you don't go to sleep, I'll be forced to force you to learn Falcon < 1331276348 76077 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :elliott: does the text say "its definitely not nutella"? < 1331276382 610197 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it gives enough details to rule out nutella < 1331276388 483881 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm or is it "pour on" dammit i cannot find it < 1331276393 640786 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :poop on the dead < 1331276656 338044 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :how the FUCK do you spell tennessee < 1331276988 323272 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i think the problem with sleep is that you can revise a decision to stay awake on a minute-to-minute basis, which isn't possible with a decision to go to sleep. thus the decision to stay awake seems to be less risky. < 1331277008 371630 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :qed < 1331277009 816239 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :as they say < 1331277011 249917 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :in the busienss < 1331277022 489645 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i agree with the logic but sleep isn't logical. < 1331277058 920436 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well, i was using sleep as a shorthand for "the decision-making process when tired at a bad time" < 1331277073 219502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :not the most intuitive abbreviation i have ever made. < 1331277099 18156 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :you'd say < 1331277199 413149 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :bleh. < 1331277206 38724 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :if i sleep now, i'll just wake up at 4 pm again. < 1331277360 184897 :pikhq!~pikhq@71-219-224-100.clsp.qwest.net JOIN :#esoteric < 1331277372 678035 :pikhq_!~pikhq@71-219-198-165.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1331277725 709755 :shachaf!~shachaf@li227-219.members.linode.com PRIVMSG #esoteric :elliott: If you don't sleep now, you'll just wake up at 16 again, but feeling grumpy. < 1331278366 435707 :elliott!~elliott@unaffiliated/elliott QUIT :Ping timeout: 265 seconds < 1331278553 244874 :pikhq_!~pikhq@71-219-230-17.clsp.qwest.net JOIN :#esoteric < 1331278560 996089 :pikhq!~pikhq@71-219-224-100.clsp.qwest.net QUIT :Ping timeout: 252 seconds < 1331280313 29668 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Read error: Connection reset by peer < 1331280340 509575 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1331281571 881975 :pikhq_!~pikhq@71-219-230-17.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1331281575 836202 :pikhq!~pikhq@71-219-199-123.clsp.qwest.net JOIN :#esoteric < 1331283377 253204 :pikhq_!~pikhq@71-219-237-14.clsp.qwest.net JOIN :#esoteric < 1331283423 598496 :pikhq!~pikhq@71-219-199-123.clsp.qwest.net QUIT :Ping timeout: 272 seconds < 1331283879 371602 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1331284179 791448 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1331284266 985078 :pikhq!~pikhq@71-219-220-64.clsp.qwest.net JOIN :#esoteric < 1331284287 547615 :pikhq_!~pikhq@71-219-237-14.clsp.qwest.net QUIT :Ping timeout: 260 seconds < 1331286054 55186 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1331286362 808851 :pikhq!~pikhq@71-219-220-64.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1331286369 240271 :pikhq!~pikhq@71-219-202-140.clsp.qwest.net JOIN :#esoteric < 1331286727 387238 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Lather < 1331289328 569758 :clog!~nef@bespin.org QUIT :Ping timeout: 265 seconds < 1331289335 100770 :clog!~nef@bespin.org JOIN :#esoteric < 1331289616 739378 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi JOIN :#esoteric < 1331289698 211380 :pikhq_!~pikhq@71-219-240-5.clsp.qwest.net JOIN :#esoteric < 1331289702 171230 :pikhq!~pikhq@71-219-202-140.clsp.qwest.net QUIT :Ping timeout: 240 seconds < 1331290844 375858 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Can you make "where is my keys soup"? < 1331291002 11262 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1331291066 319423 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1331293289 106020 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1331293598 133684 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 246 seconds < 1331293629 174214 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1331293633 418875 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :a < 1331293633 645008 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1331293753 345264 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Client Quit < 1331293933 248812 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1331294186 277155 :pikhq!~pikhq@71-219-197-149.clsp.qwest.net JOIN :#esoteric < 1331294198 941227 :pikhq_!~pikhq@71-219-240-5.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1331295763 696624 :Frooxius!~chatzilla@cust-101.ktknet.cz QUIT :Ping timeout: 252 seconds < 1331296105 209641 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :" Has the Bible ever been translated into Egyptian hieroglyphics?" <<< did you know egyptians were giant aliens who invented electricity and disproved evolution _by their mere existence_? < 1331296154 805740 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i was blind but now i have youtube < 1331296568 965366 :cheater!~cheater@ip-80-226-24-15.vodafone-net.de JOIN :#esoteric < 1331297766 648776 :Slereah!~jackal@ANantes-259-1-206-195.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :The bible has probably been translated in hieroglyphics. < 1331297774 611103 :Slereah!~jackal@ANantes-259-1-206-195.w90-49.abo.wanadoo.fr PRIVMSG #esoteric :I have an egyptian translation of Peter Rabbit < 1331298094 98740 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1331299264 141679 :hagb4rd!~hagb4rd@koln-4db43534.pool.mediaWays.net JOIN :#esoteric < 1331299853 113181 :augur!~augur@129.2.129.34 JOIN :#esoteric < 1331300402 260155 :hagb4rd!~hagb4rd@koln-4db43534.pool.mediaWays.net QUIT :Ping timeout: 246 seconds < 1331300467 204617 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1331300649 540602 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1331301712 244055 :hagb4rd!~hagb4rd@koln-4db41764.pool.mediaWays.net JOIN :#esoteric < 1331301946 332166 :Deewiant!~deewiant@cs181243217.pp.htv.fi JOIN :#esoteric < 1331302242 638161 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi QUIT :Quit: ChatZilla 0.9.88.1 [Firefox 10.0.2/20120216213642] < 1331303799 359175 :boily!~boily@mtl.savoirfairelinux.net JOIN :#esoteric < 1331303967 86766 :oklopol!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net JOIN :#esoteric < 1331304095 124684 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net QUIT :Ping timeout: 244 seconds < 1331305115 168585 :asiekierka_!~asiekierk@078088180231.elblag.vectranet.pl NICK :asiekierka < 1331306168 389200 :augur!~augur@129.2.129.34 QUIT :Ping timeout: 245 seconds < 1331306172 13973 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1331307557 464359 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Are there math symbols for if/while? < 1331308029 494274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :if can be a large { with alternatives written behind < 1331308070 942667 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while is an imperative thing, so not likely in math < 1331308089 937445 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well except as a synonym for if < 1331308152 414776 :jix!~jix@jixco.de QUIT :Ping timeout: 240 seconds < 1331308183 435340 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :If in maths isn't like the imperative thing either; it's a case statement. < 1331308196 131565 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :A Haskell-style case statement, that is. < 1331308203 877948 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Yeah. < 1331308215 158003 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :The Haskell guys shouldn't have implemented if :( < 1331308218 517618 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :more like guards, i think < 1331308253 810832 :jix!~jix@jixco.de JOIN :#esoteric < 1331309522 34771 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :mroman: Iverson bracket? < 1331309549 172733 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :P ? a : b is translated to [P] a + [not P] b < 1331311279 395544 :tzxn3!~tzxn3@cpc5-mapp3-0-0-cust464.12-4.cable.virginmedia.com JOIN :#esoteric < 1331312022 31971 :Frooxius!~chatzilla@cust-101.ktknet.cz JOIN :#esoteric < 1331312170 314823 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION curiously discovers that Google seems to have missed the english wikipedia's article on Nam June Paik entirely < 1331312268 702576 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i suppose it must somehow have returned an error when they crawled... < 1331312427 548738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :either that or it's an evil north korean scheme. take your pick. < 1331313073 605031 :pikhq_!~pikhq@71-219-202-157.clsp.qwest.net JOIN :#esoteric < 1331313099 23455 :pikhq!~pikhq@71-219-197-149.clsp.qwest.net QUIT :Ping timeout: 260 seconds < 1331313117 571523 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Or they censored it. < 1331313122 234723 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Like they sometimes do. < 1331313141 769450 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :but only on the _english_ wikipedia. < 1331313143 605504 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :They censored the google trends once. < 1331315305 499571 :augur!~augur@129.2.129.34 JOIN :#esoteric < 1331315563 182103 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1331315588 534975 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ooh, eff got static types < 1331315637 453856 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi oerjan < 1331315639 740461 :Friendship!codu@codu.org PRIVMSG #esoteric :"Oh eff, got static types" < 1331315648 955736 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi elliott < 1331315659 551887 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Friendship: Keep talkin', JavaScripter < 1331315664 991944 :Friendship!codu@codu.org PRIVMSG #esoteric :^^ < 1331315674 198747 :Friendship!codu@codu.org PRIVMSG #esoteric :ACTION puts on his fez. < 1331315693 244984 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :DID YER INTERVIEW GET PUBLICATED < 1331315751 937034 :Friendship!codu@codu.org PRIVMSG #esoteric :Not yet. < 1331315758 104281 :Friendship!codu@codu.org PRIVMSG #esoteric :Nor have I received a response. < 1331316833 733838 :oklopol!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :what interview? < 1331316885 139165 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Friendship is interviewing for a job. < 1331316888 836647 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :At the FBI. < 1331317130 569839 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1331317167 457388 :Friendship!codu@codu.org PRIVMSG #esoteric :oklopol: http://codu.org/tmp/answers.txt <-- here are the questions the FBI asked me, and my answers. < 1331317228 260095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's Interviews 3.0. < 1331317239 540009 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :2.0 was those stupid fucking puzzle questions, 3.0 is asking you about hats. < 1331317405 718176 :MSleep!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net NICK :MDude < 1331317675 344581 :augur!~augur@129.2.129.34 QUIT :Remote host closed the connection < 1331317891 545513 :Canadarm!~area@wikipedia/PiRSquared17 JOIN :#esoteric < 1331320001 177123 :pikhq!~pikhq@71-219-210-104.clsp.qwest.net JOIN :#esoteric < 1331320056 377084 :pikhq_!~pikhq@71-219-202-157.clsp.qwest.net QUIT :Ping timeout: 272 seconds < 1331320302 296966 :pikhq_!~pikhq@71-219-240-218.clsp.qwest.net JOIN :#esoteric < 1331320343 952841 :pikhq!~pikhq@71-219-210-104.clsp.qwest.net QUIT :Ping timeout: 248 seconds < 1331320718 660677 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Why would they ask questions about batman? < 1331320749 586283 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :mroman: Security. < 1331320753 289172 :Friendship!codu@codu.org PRIVMSG #esoteric :Psychological examination. < 1331320783 505087 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Well < 1331320804 771734 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Most of my answers would have been: "That information is private. It's non of your business" :) < 1331320816 868483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's why you don't have a job at the FBI. < 1331321025 215712 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Around here employees are actually not allowed to ask non-related questions. < 1331321045 186660 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ITYM "employers" < 1331321083 751770 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Oh, yeh. < 1331321088 469124 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Of course :) < 1331321098 366651 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I feel compelled to point out that Friendship did not actually interview with the FBI. < 1331321124 651194 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :That makes the interview only weirder. < 1331321142 446225 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Unless the interview itself is not real. < 1331321148 818413 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Which would make Friendship only weirder. < 1331321153 636555 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's real. < 1331321242 175029 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: does the formatting of http://esolangs.org/wiki/Qdeql#Computational_capability look good? i'm not sure if i did something too hairy to be portable. < 1331321296 832884 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(it's a little wider than i like, but i think that's necessary to show it properly.) < 1331321316 164910 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: assuming that's what it's meant to look like, it looks what it's meant to look like < 1331321325 5413 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :YAY < 1331321327 17744 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :the code with fewer lines would be better if it was at the top of the cells < 1331321329 462112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :IMO < 1331321335 492279 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :or hm < 1331321338 813675 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no, since you have a rowspan < 1331321366 174089 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :all the rows in a column are related < 1331321377 749914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is that "Factory" heading meant to be a table heading? iirc mediawiki has special syntax for htat < 1331321378 672281 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*that < 1331321396 397043 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh right i wondered if i should use |+ < 1331321423 630205 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it was scaled down from an even larger table where factory was a subcolumn < 1331321433 172344 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :heh < 1331321523 918833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also, a lot of the qdeql commands are supposed to line up with the cell contents they affect < 1331321551 657289 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :right, they do. < 1331321559 102215 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :good. < 1331321560 148349 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :assuming it's meant to line up like that. < 1331321565 792965 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(a screenshot would be helpful :P) < 1331321571 704824 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh hm < 1331321611 721272 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how did i do that again < 1331321627 668387 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...alt+print scr? < 1331321635 97494 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :paint -> ctrl+v -> ctrl+s < 1331321646 23536 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i think XP paint can save as png. < 1331321733 348247 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and i've also forgotten where i uploaded last time < 1331321799 77961 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :erm that was meant as a question < 1331321996 273828 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi JOIN :#esoteric < 1331322053 583751 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: i was doing other things :P < 1331322055 542715 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :imgur.com? < 1331322055 781922 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :http://ompldr.org/vY3pndA < 1331322061 872827 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ompldr works to < 1331322062 462051 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :o < 1331322085 991067 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yep, looks right < 1331322090 394481 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except not off the edge of the page :P < 1331322112 793772 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i like my browser not to cover all of my irc session < 1331322126 583258 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :so i keep it a little unmaximal < 1331322130 702683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*ized < 1331322179 520947 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The programming language [[Clojure]] uses a [[Persistent data structure|persistent]] variant of hash array mapped tries for its native hash map type.[http://github.com/richhickey/clojure/blob/14316ae2110a779ffc8ac9c3da3f1c41852c4289/src/jvm/clojure/lang/PersistentHashMap.java Java source file of Clojure's hash map type.] < 1331322188 788652 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :is that... an acceptable citation? < 1331322194 83909 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION thinketh not < 1331322201 543980 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :unthinkethable < 1331322392 651872 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Category:Articles_with_unsourced_statements < 1331322393 673714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Administrators: Please do not delete this category even if it is empty! < 1331322393 882359 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :This category may be empty occasionally or even most of the time." < 1331322395 444602 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah... sure. < 1331322412 107408 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :optimists < 1331322504 981215 :Friendship!codu@codu.org PRIVMSG #esoteric :SO GUYS < 1331322510 490624 :Friendship!codu@codu.org PRIVMSG #esoteric :http://stabyourself.net/mari0/ < 1331322774 824753 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, I was going to play that. < 1331322781 530484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yay, it has Linux. < 1331322824 699178 :Friendship!codu@codu.org PRIVMSG #esoteric :It's F/OSS too, as is the engine that runs it. < 1331322848 101059 :Friendship!codu@codu.org PRIVMSG #esoteric :Err, that statement was only half as silly as it sounds. < 1331322866 463590 :Friendship!codu@codu.org PRIVMSG #esoteric :Anyway, it comes with two map packs, and I recommend you play the non-Mario one. < 1331322876 301517 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah, I know of L\"OVE. < 1331322911 66234 :Friendship!codu@codu.org PRIVMSG #esoteric :LOEVE < 1331322925 999291 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1331322930 616622 :Friendship!codu@codu.org PRIVMSG #esoteric :Other things it comes with include: RAINBOW DASH < 1331322944 322091 :Friendship!codu@codu.org PRIVMSG #esoteric :ACTION is Mari0 < 1331324405 651729 :hagb4rd!~hagb4rd@koln-4db41764.pool.mediaWays.net QUIT :Ping timeout: 246 seconds < 1331324598 606054 :augur!~augur@129.2.129.34 JOIN :#esoteric < 1331324659 456720 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :augur: Why are you claiming that you have a bijection between a countable set and an uncountable set? < 1331324994 413517 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :where < 1331325042 13112 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :http://www.reddit.com/r/haskell/comments/qn7nk/whats_the_most_clever_piece_of_haskell_code_you/ < 1331325142 787015 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :> type Cantor = Natural -> Bit < 1331325143 580392 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : : parse error on input `type' < 1331325155 614433 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Purely offhand, isn't that non-equivalent to R? < 1331325192 846744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the cantor set has the same cardinality as R. < 1331325195 98012 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, it's equivalent. < 1331325200 925703 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Consider the function "binary digit at position N". < 1331325208 139588 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's an infinite stream of bits. < 1331325215 150374 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yeahyeahyeah, I get that, but something something something computability. < 1331325231 425855 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, Haskell can't prove that all functions are computable. < 1331325241 582305 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :That's a property of the source encoding we use for Haskell programs. < 1331325257 944987 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :...what do you mean "Haskell can't prove". < 1331325259 896611 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :We can prove there are a countable number of Haskell programs, but not that there are a countable number of Haskell functions. < 1331325277 387272 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What is a Haskell function if not a Haskell program? < 1331325278 586040 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: As in, from inside Haskell, not all functions are necessarily computable. < 1331325298 665635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: For example, you can use Cantor's diagonal argument in Coq. < 1331325306 81125 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, yeah, but where is "inside Haskell"? (I'm not trying to be obtuse here.) < 1331325308 692946 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Even though the sets in question are "countable" from the outside. < 1331325327 226637 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"In Haskell" makes more sense if you think of like "In Coq"; "inside" the system. < 1331325345 731567 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Like, e.g. Godel's theorem says you can't prove consistency and completeness "inside" a system. < 1331325354 949927 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :But I can read "in Coq" as "in the C-H logic corresponding to Coq". < 1331325368 28382 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :The logic corresponding to Haskell isn't a very interesting thing to be inside. < 1331325417 319925 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You might not be being deliberately obtuse, but you are being kinda dense. < 1331325428 568766 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I never claimed Haskell's type system is a consistent logic. < 1331325467 655482 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The fact is, (Nat -> Bool) has a greater cardinality than Nat, even if you can prove otherwise based on external factors like program encoding. < 1331325477 141390 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Obviously a Haskell function is not a Haskell program. < 1331325480 522217 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I didn't say you did; I said why I was having trouble going from Coq to Haskell. < 1331325481 712268 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Primitives, for instance, aren't Haskell prorgams. < 1331325511 557584 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Haskell is the reason I study :) < 1331325535 380834 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: diagonalise :: ((Nat -> Bool) -> Nat) -> (Nat -> Bool); diagonalise counter = counter (\n -> not (counter n n)) < 1331325553 542187 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :But my study does not start until in three years. < 1331325558 933732 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Give this function a proof that (Nat -> Bool) is countable, and it'll give you a (Nat -> Bool) it can't count. < 1331325570 363024 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Yes, the "proof" could easily be _|_ or whatever, but in that case diagonalise just returns _|_. < 1331325592 23502 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The point is, you can prove that function, given an appropriate input, defeats the counter; and so |Nat -> Bool| > |Nat|. < 1331325598 171858 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Because to study what you actually want to study, you have to study a lot of bullshit. < 1331325620 397358 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :This reminds me of the thing whereby you can diagonalise the computable reals, but the diagonalisation is itself not computable so you can't use it to construct a new CR. < 1331325668 217931 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Which, yeah, is the proof being _|_. < 1331325696 37225 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Backtracking to Coq again (hopefully you understand what I mean by "inside" now): Consider that Coq's axioms are a *subset* of classical logic. < 1331325711 366462 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So, obviously, you *couldn't* prove that (nat -> bool) is countable, Coq-wise. < 1331325733 815232 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Similarly, if you construct the computable reals in Coq, you won't be able to prove that all functions on them are continuous. < 1331325777 274483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: See also: http://r6research.livejournal.com/19619.html < 1331326040 842851 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover has now abandoned his career in mathematics and is going to become a farmer. < 1331326076 708016 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :No; I'm just even more convinced not to talk to logicians. < 1331326138 115176 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: You just can't handle the truth. < 1331326155 94239 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :What's the current version of GHC. < 1331326173 720253 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, I can, it's just not as interesting as actual maths. < 1331326265 715513 :asiekierka!~asiekierk@078088180231.elblag.vectranet.pl QUIT :Remote host closed the connection < 1331326290 435516 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1331326450 776700 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: 7.4.1. < 1331326453 755981 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi ais523 < 1331326467 455444 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hi Phantom_Hoover < 1331326475 656974 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION remembers that period where he thought ais523 was a mathematician. < 1331326483 759474 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: I was! < 1331326485 779157 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I just amn't any more < 1331326504 387918 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I mean a REAL mathematician. < 1331326524 118814 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :is there such a concept? < 1331326592 847815 :MoALTz_!~no@host-92-2-133-147.as43234.net JOIN :#esoteric < 1331326618 179805 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION notes that Phantom_Hoover thinks going from doing a degree in electrical engineering to a Ph.D. in computer science makes you less of a mathematician. < 1331326639 349893 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Nonono, but it doesn't make you a REAL mathematician. < 1331326646 11911 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait, I think you mispinged there. < 1331326664 738644 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Anyway dude, at least EE involves calculus. < 1331326668 611662 :MoALTz!~no@host-92-8-150-63.as43234.net QUIT :Ping timeout: 245 seconds < 1331326751 792688 :MoALTz!~no@host-92-2-135-202.as43234.net JOIN :#esoteric < 1331326873 6533 :MoALTz_!~no@host-92-2-133-147.as43234.net QUIT :Ping timeout: 252 seconds < 1331326937 99635 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: No, I didn't misping. < 1331326957 793080 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Nonono, I mean I thought he was an actual, academic mathematician. < 1331326963 514783 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :*pure mathematician < 1331326977 46237 :MoALTz_!~no@host-92-2-139-82.as43234.net JOIN :#esoteric < 1331327009 923135 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: So calculus is more pure-mathematics than logic? < 1331327027 394473 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Yes. < 1331327040 260068 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom_Hoover: Your definition sucks. < 1331327042 902942 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Logic is a foundational thing. < 1331327080 167336 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :And doesn't ais523 research formally-verified compilers? < 1331327082 280743 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :...yes, which is *very* pure, as far as matheamtics goes. < 1331327085 629132 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :And no. < 1331327088 636982 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*mathematics < 1331327102 137162 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: not really; I do prove that the algorithms behind the compilers are correct < 1331327113 509574 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I don't prove that the compilers that are intended to follow those algorithms actually do < 1331327118 497969 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, yes, which is hardly more "pure" than proving $theorem is correct. < 1331327136 268306 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net JOIN :#esoteric < 1331327152 731089 :MoALTz!~no@host-92-2-135-202.as43234.net QUIT :Ping timeout: 252 seconds < 1331327225 583128 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Phantom_Hoover: would you call this a pure maths result?: given a set of equalities/inequalities, each of which is of one of the forms (a = b, a <= b, a <= b+c, a <= b*c), and all the unknowns are known to be nonnegative integers, it is decidable whether a given set has a solution or not < 1331327276 898047 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, well, TbH, pure maths is a pretty useless concept; I was joking before. < 1331327305 334634 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :you didn't answer my question < 1331327323 352775 :oklopol!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net QUIT :Ping timeout: 255 seconds < 1331327378 583817 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's definitely maths, yes; as I just said, pure maths is just an arbitrary line drawn for largely historical reasons. < 1331327397 769433 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION can't understand why someone wouldn't find foundations interesting. < 1331327402 719017 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Especially someone interested in esolangs. < 1331327427 612170 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I find them interesting, but not as interesting as the things built upon them. < 1331327440 646318 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :elliott: "foundations" = ? < 1331327452 255457 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, logic. < 1331327469 264016 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :well, I'm pretty happy that linear and affine logic were invented < 1331327477 873338 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :or Verity probably wouldn't exist < 1331327478 651175 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: logic, set theory, type theory, etc. < 1331327489 453977 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :literally, the foundations of mathematics < 1331327491 862029 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :yep < 1331327501 484594 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm not convinced that they're useless at all < 1331327535 513280 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :to me, finding them uninteresting compared to other concepts in mathematics is like the people who say that every programming language is the same because they all have libraries :) < 1331327573 599783 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1331327710 322081 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ais523, they're obviously very useful, because you can't build without foundations, and they're interesting in their own right; I (personally) don't enjoy studying them as much as other things, but elliott seems to be veering towards declaring that they're the One True Path. < 1331327740 625047 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :No, I just think it's weird to exclude them. < 1331327756 476877 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :What would you think of a programmer completely uninterested in the programming languages they use? < 1331327762 488977 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I don't think I excluded them once this turned serious? < 1331327788 278864 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :FWIW, you can build without foundations, as evidenced by the fact that mathematics existed before logic and set theory. < 1331327793 845933 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :It's just sloppy. < 1331327804 620011 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :You can't build solidly, then. < 1331327806 210798 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Then the house falls down and you remember to build foundations first this time. < 1331327918 561639 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I said that they're distinct from maths, because the general experience is different. < 1331327980 915598 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :There are a lot less *words*, for one thing. < 1331328695 317586 :pikhq!~pikhq@71-219-233-36.clsp.qwest.net JOIN :#esoteric < 1331328709 425844 :pikhq_!~pikhq@71-219-240-218.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1331328731 459801 :boily!~boily@mtl.savoirfairelinux.net QUIT :Quit: WeeChat 0.3.7 < 1331328931 8830 :mroman!~roman2@fmnssun.ibone.ch PRIVMSG #esoteric :Aren't people using languages ONLY because of the library? < 1331328987 670287 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Often. < 1331330286 404195 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :one of the best reasons to use Perl < 1331330294 181623 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :because it has libraries that nothing else has < 1331330894 292916 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION -> "sleep" < 1331330895 511543 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1331331723 758662 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :"Transmission WebTV is a port of the well-known Transmission BitTorrent and aMule programs to the WebTV Set-Top-Box." < 1331331752 256190 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION suddenly nostalgias for WebTV < 1331331780 863748 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :*sigh* < 1331331812 902830 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :when was it produced? Didn't it use early version of IE? < 1331333071 403835 :augur!~augur@129.2.129.34 QUIT :Remote host closed the connection < 1331333334 721156 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1331333369 845623 :tzxn3!~tzxn3@cpc5-mapp3-0-0-cust464.12-4.cable.virginmedia.com QUIT :Quit: Leaving < 1331333421 367046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :hi Phantom_Hoover < 1331333422 779027 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :nice "sleep" < 1331333472 944266 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :When I said sleep I meant game of thrones < 1331333502 914626 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :game of "sleep" < 1331333631 378938 :Zuu!zuu@unaffiliated/zuu JOIN :#esoteric < 1331333911 615851 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1331334697 930588 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1331334792 389787 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Remote host closed the connection < 1331334836 125054 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :zzo38: how is your computret project going < 1331334856 468351 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :*computer < 1331334863 789470 :MDude!~fyrc@c-174-55-44-190.hsd1.pa.comcast.net QUIT :Ping timeout: 276 seconds < 1331334890 700643 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :nortti: I have not done much at this time. When I have resources to do so, I will be able to do more. But for now they are mostly just ideas and plans and stuff, all of which is liable to be changed. < 1331334917 287679 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :(I do have a few drawings which are publicly available, if you want to see it) < 1331334941 867651 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :Friendship: you are pretty optimistic about the future of human civilization < 1331334995 668855 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :zzo38: what kind of cpu are you going to use in it? x86-16? x86-32? x86-64? ARM? MIPS32? MIPS64? m68k? < 1331335030 151805 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :nortti: I don't know yet; probably ARM. Whatever is used, there should be free C compilers and free specifications (even if not the official ones). < 1331335038 76263 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :today's morning lecture was about how you can program your own DNA strains and buy them online, and how easy it is to write programs that destroy cells. < 1331335092 673839 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :(i asked the guy if i could actually do this stuff in my backyard (even though i naturally couldn't observe what's going on), and he said sure, although you do need some salt.) < 1331335107 843705 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :(in addition to the DNA strains you can buy) < 1331335169 221475 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :they have basically cured cancer in petri dishes with these, and the program is sort of trivial < 1331335200 796645 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :a basic toeholding argument < 1331335203 142977 :nortti!~chatzilla@a88-113-14-106.elisa-laajakaista.fi PRIVMSG #esoteric :zzo38: I'd like to see the drawings < 1331335264 75770 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :nortti: http://zzo38computer.cjb.net/powerxy/images/Game_Control.png http://zzo38computer.cjb.net/powerxy/images/Remote_Control.png (USB keyboard will also be supported) < 1331335293 376910 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :also it's basically trivial to do things like wang tiles, and they have sofar made boolean functions and a stackmachine with the small caveat that you need to have exactly one copy of the stack strain < 1331335317 791699 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :the guy told that they wrote this program, and they did some simulations < 1331335324 163189 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :and on the 50th run, they had a race condition < 1331335330 689101 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :which grew a tumor. < 1331335362 558149 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :so awesome :D < 1331335369 644570 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :but we're all dead in a decade < 1331335415 295858 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :also why haven't you people told me DNA computing is something you can ACTUALLY do < 1331335424 611639 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i'm not supposed to be the one that BRINGS something here < 1331335455 929064 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oh, I've known about it for a while < 1331335464 577441 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :well duh < 1331335479 210799 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :that's my point < 1331335493 321463 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i thought this was all still theoretical < 1331335527 773574 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :but you can just start programming right away by putting straings of catg in a test tube < 1331335548 741033 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :and they do exactly what you'd expect < 1331335551 116623 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :and it's magic < 1331335634 990205 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :(computation happens by pairing two strains up with the natural involution, and you can easily do tilings like that. to have dynamic behavior, i just know the toehold technique, and that's probably much harder. but building is easy.) < 1331335646 862988 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :you can buy strains of length 70 online < 1331335665 358659 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :hmm < 1331335672 17911 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i probably mean strand now that i think about it < 1331335691 429871 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :although DNA strain also sounds great. < 1331336167 8805 :kallisti_!~eris@h189.9.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1331336185 403674 :kallisti_!~eris@h189.9.18.98.dynamic.ip.windstream.net PART :#esoteric < 1331336224 443369 :Friendship!codu@codu.org PRIVMSG #esoteric : Friendship: you are pretty optimistic about the future of human civilization // what can I say, I'm an optimist *shrugs* < 1331336237 167104 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Where'd Friendship optimise < 1331336309 551985 :Friendship!codu@codu.org PRIVMSG #esoteric :I implied that humanity will exist in three hundred thousand years. < 1331336398 109947 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :yeah at thirty years i was like what is this guy smoking < 1331336424 99219 :Canadarm!~area@wikipedia/PiRSquared17 NICK :Canadarm2 < 1331336443 56992 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Friendship: Whencewards < 1331336449 919340 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(This incredibly literate phrase means: Where) < 1331336477 152775 :Friendship!codu@codu.org PRIVMSG #esoteric :elliott: Last question. < 1331336654 270182 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Depends how you interpret "us" I suppose < 1331336680 372766 :Friendship!codu@codu.org PRIVMSG #esoteric :Hence "implied" rather than "said" < 1331336681 168040 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :well the solar system itself might survive a couple of years < 1331336706 594846 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :humanity maybe like 5 and the earth at most 20 < 1331336784 526315 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :the universe will go on for hundreds of years ofc, but it gets bored eventually, and nothingness replaces somethingness. and me and my buddy jesus deem this unfortunate but understandable and recreate it. < 1331336823 633396 :coppro!~scshunt@denardo.csclub.uwaterloo.ca PRIVMSG #esoteric :don't forget the mothingness < 1331336825 487649 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :and god is like STOP CREATING WORLDS I HAVEN'T SLEPT IN LIKE 14 BILLION YEARS OR WHATEVER'S THE CONJECTURE THESE DAYS < 1331336827 913095 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I conclude that lightspeed in oklofok's reality is at most 200 miles per hour. < 1331336874 517399 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i don't think there are distances strictly longer than a kilometer < 1331336894 559868 :Friendship!codu@codu.org TOPIC #esoteric : i don't think there are distances strictly longer than a kilometer | http://codu.org/logs/_esoteric/ | http://esolangs.org/ has moved servers! < 1331337335 71489 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :ethical brain teaser: would you kill everyone and destroy everything if you could have EVERY cake < 1331337365 239332 :Friendship!codu@codu.org PRIVMSG #esoteric :It's a trick question: If I destroyed everything, there would be no cake! < 1331337391 69748 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i'm trying to start a serious philosophical debate here < 1331337409 484394 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :you think you know everything about cake do you < 1331337469 664709 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :oh god there was this lecture on the physical church-turing thesis < 1331337472 594650 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :did i tell you about it < 1331337496 269527 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :WHY DO PEOPLE WANT TO MENTALLY MASTURBATE TO THIS KIND OF TRIVIALITIES < 1331337515 181599 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :DON'T THEY EVER GET LIKE MENTAL PENIS CANCER FROM ALL THE RUBBING?? < 1331337517 232205 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PART :#esoteric < 1331337527 642062 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :...PENIS CANCER... < 1331337549 362143 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i have a new thing < 1331337559 873303 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i say something crude and someone leaves in tears < 1331337569 338382 :oklofok!~oklopol@40.Red-83-33-112.dynamicIP.rima-tde.net PRIVMSG #esoteric :i should probably find religion or something