< 1322956805 415314 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Unless you're fluentish you might not notice the syllable boundaries that well < 1322956818 455221 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :And claiming Chinese people speak Chinese is a bit like claiming European people speak Latin. < 1322956823 534287 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes, just if a receptionist recognize different language, that can possibly work too. < 1322956824 432940 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah, but i can lump (each chinese language) apart from japanese at least < 1322956826 349799 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :And e.g. "desu" isn't typically pronounced with a noticeable "u" :-P < 1322956826 974891 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :so meh. < 1322956829 376650 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :True, true. < 1322956832 864746 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :Deewiant: but it's spelled with it < 1322956842 126177 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :i know the u is generally silent :) < 1322956848 894613 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Deewiant: Is if you're a girl. < 1322956850 734849 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric ::) < 1322956853 213150 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :myndzi: Sure, but we were talking about hearing comprehension, no? < 1322956853 379623 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :haha < 1322956857 188422 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah, but if you're a girl < 1322956861 43144 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :pikhq: In anime :-P < 1322956862 898284 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :you give yoruself away with all the nyans < 1322956865 69485 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :;) < 1322956876 320585 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :To be exact, a teenage girl < 1322956884 77958 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :heh heh < 1322956912 399974 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Deewiant: Well, yeah... It does have a particularly, I dunno, *ditzy* feel to it. < 1322956931 26567 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Somewhat like saying "Like, yeah, totally" < 1322956978 866915 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :i'm not a fan of this kind of thing in general, but this was pretty interesting: < 1322956979 327747 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :http://www.sporcle.com/games/lukebradford/guessthelanguage < 1322956985 227012 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :" And claiming Chinese people speak Chinese is a bit like claiming European people speak Latin." <-- isn't it more like claiming we speak european? < 1322956991 944375 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :i got more than i thought i would < 1322957080 597421 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :but I think we should rather fix the stigma associated with being ignorant about far-away places, we don't know shit about them and they probably don't know shit about us < 1322957090 755263 :Taneb!4f4d6111@gateway/web/freenode/ip.79.77.97.17 JOIN :#esoteric < 1322957091 766007 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :olsner: Ish. Except that the Chinese languages largely derive from a single language that one *could* plausibly call "Chinese". < 1322957101 332675 :Taneb!4f4d6111@gateway/web/freenode/ip.79.77.97.17 PRIVMSG #esoteric :Wow, I think I may actually be drunk < 1322957118 44529 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :well, i don't know enough about chinese to distinguish, say, mandarin < 1322957129 581462 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :With Classical Chinese I *think* being the prestige form of said language? < 1322957135 213779 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :well, the european languages are largely all indo-european too... not all latin, but latin/germanic < 1322957136 577611 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :so i just said 'chinese' to refer to the language group in general < 1322957145 914236 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :not to express that there was only one of them < 1322957146 568569 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :(except the exceptions...) < 1322957154 302843 :Taneb!4f4d6111@gateway/web/freenode/ip.79.77.97.17 PRIVMSG #esoteric :olsner: explain HUngarian < 1322957157 904878 :Taneb!4f4d6111@gateway/web/freenode/ip.79.77.97.17 PRIVMSG #esoteric :ninja'd < 1322957161 462058 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :olsner: It also bears the similar property that Latin was for ages the lingua franca. < 1322957164 341614 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :There was a whole session (6 papers) of language identification in a recent conference I was. And NIST has a bi-yearly (well, 2003 .. 2009; I don't see results for 2011) competition about it. < 1322957171 928106 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Much like Classical Chinese was for ages the lingua franca. < 1322957186 779244 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :myndzi: I couldn't reliably do that either. < 1322957212 290110 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Of course, the closest I can get to "speaking 'Chinese'" is some strange sort of pidgin if I'm really pressed. < 1322957306 801810 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :the closest i can get to "speaking 'Chinese'" is ching chow < 1322957307 479228 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric ::P < 1322957362 361592 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :who's the poorest chinese? tom peng pung < 1322957377 981568 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Apparently if you give them 30 seconds of conversational telephone speech, the best systems in 2009, if allowed a 2% "miss" (as in, "uh, I dunno") rate, get around 98% correct, for the NIST LRE "closed set" task, which is 12 languages. (And around 90% correct with 10% miss rate if you only give them three seconds to work with.) < 1322957386 349075 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :(== empty money pouch in swedish, it's hilarious!) < 1322957403 146444 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :myndzi: 33/36 in five minutes, with a couple of guesses that took most of the time < 1322957410 966056 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :nice. < 1322957420 598496 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :olsner: There's quite a number Finnish equally "hilarious" "jokes" too. < 1322957425 404747 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :The first column went in less than a minute, I think :-P < 1322957433 439975 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah < 1322957436 797289 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :first column was pretty easy < 1322957452 993054 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Yokohama Humahuta, the famous Japanese boxer. < 1322957474 829528 :Taneb!4f4d6111@gateway/web/freenode/ip.79.77.97.17 QUIT :Quit: Page closed < 1322957485 433300 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :fizzie: there's also ranta runtiringen, the infamously bad finnish boxer :) < 1322957507 213363 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :With that sort of surname, he's probably from Sweden originally. < 1322957541 111045 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :And the Russian gynecologist, Nikolai Kopeloi. < 1322957547 853097 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :the pun probably doesn't work as well if you *actually* know how finnish surnames sound < 1322957556 796559 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :That's certainly not a Japanese surname; "hu" is an invalid mora in Japanese. < 1322957578 587902 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Yes, I don't think they strive for very much linguistic accuracy in these. < 1322957580 937009 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :pikhq: found a map where fuji was called huzi once < 1322957582 342863 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Alas. < 1322957601 516350 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :olsner: That's the result of a fairly pedantic romanisation. < 1322957665 157813 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :what do you mean "hu" is an invalid mora? < 1322957669 131013 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :or do you just mean it should be fu? :P < 1322957716 822206 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :olsner: The kana for "fu" in the table is in the "h" row, but it's invariably pronounced as something rather close to "fu" rather than "hu". < 1322957722 224559 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :myndzi: Just that it should be "fu". < 1322957748 648817 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :heh < 1322957756 6277 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :it's a VERY light f in many cases < 1322957758 298268 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :olsner: Also, the kana for "shi" is in the "s" row, but pronounced as "shi", and the voiced version of that is pronounced "ji" instead of "zi". < 1322957773 856585 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :the way we pronounce f involves the teeth touching the lip pretty much < 1322957806 19732 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :but the way fu/hu is pronounced can often be the barest closing of the mouth from a fully open 'h' < 1322957826 511436 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :pikhq: yeah, I know... but isn't that just a matter of romanization whether it's f or h (and z or j)? I'd be happy to say that it "is" an h but h is pronounced weirdly with some vowels < 1322957828 789359 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :myndzi: There's a reason I said "close to". It's one of the phonemes in Japanese that doesn't really match anything in English. < 1322957848 813516 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :yeah. but because of that i would certainly not call it invalid in either spelling < 1322957874 685244 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :myndzi: Bah. < 1322957882 947914 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :ACTION shrugs < 1322957888 582051 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :i was only curious if i was missing something ;) < 1322957898 642275 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :i'm a self-confessed gringo when it comes to most languages < 1322957910 283858 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net PRIVMSG #esoteric :but i know more about japanese and spanish than "absolutely nothing" < 1322958026 598594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :saturn as wikipedia's featured article? i thought they'd have run out of planets long ago < 1322958040 424741 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Maybe they changed it a lot since then < 1322958089 703349 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The reason you write "hu" or "fu" is just whether you use grid romaji or sound romaji. < 1322958152 499244 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :does grid romaji actually exist except as something you can make up according to how the grid looks? < 1322958184 147789 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm indeed the talk page says it was featured four years ago < 1322958197 218472 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :I'm guessing he's just using it as a way to describe the two differing approaches in Romanization of Japanese. < 1322958198 158603 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :olsner: I don't know. I don't even know if "grid romaji" is a standard term for such things < 1322958221 410772 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :i.e. the distinction between nihon-shiki and Hepburn. < 1322958613 207633 :GreaseMonkey!~gm@unaffiliated/greasemonkey JOIN :#esoteric < 1322958987 151021 :ais523!~ais523@unaffiliated/ais523 QUIT :Remote host closed the connection < 1322959069 93617 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :kallisti, UPDOOT < 1322959100 946727 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :List of lies about the computer game: * The sliders on the title screen are not real sliders. * Most of the levels have yellow borders. * There is no URL to download this game. * The scoring system is really bad. * In one level you have to go through a corridor of lava with a windy potion and then quickly retreat from danger. < 1322959148 938864 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Half of the levels in this game are impossible to complete. * You have to go through the water in the wrong direction; but this is, of course, impossible. * Killing enemies potions are good for you. * This game is bad because Hitler played it. * This game is for DOS computers only. * Some of the puzzles do not work correctly except on the author's computer. < 1322959173 758229 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :* Torches in Part I work correctly, while torches in Part II do not work correctly. * MagicGems are exactly like ZZT gems. * BIG_MONSTER is bad and you should kill them, please. * The award of completing this game is torture. < 1322959187 201728 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Invent another computer game and make up a list of lies about that computer game. < 1322959275 762841 :tswett!~Warrigal@unaffiliated/ihope PRIVMSG #esoteric :zzo38: hm. Do you mean that Japanese doesn't have "h" and "f" as separate phonemes; it's just that the "h" phoneme sounds like "f" when it comes before "u"? < 1322959325 530601 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :tswett: Sort of. Actually, it is a letter "fu" belonging to the same consonant group as the one with "h". But the sound is similar to "hu" or "fu" but not quite either one. < 1322959408 467272 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :tswett: Is this understandable to you? < 1322959458 169452 :tswett!~Warrigal@unaffiliated/ihope PRIVMSG #esoteric :I guess either we're sort of talking past each other, or I don't really understand what you said. < 1322959544 635404 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :tswett: "h" and "f" are seperate phonemes, but morae with "f" and vowels other than "u" are only in loan words. < 1322959580 687264 :tswett!~Warrigal@unaffiliated/ihope PRIVMSG #esoteric :pikhq: *nod* And does "hu", distinct from "fu", occur in native words? < 1322959591 588328 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :No. < 1322959611 741735 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Nor in loan words. < 1322959657 7830 :tswett!~Warrigal@unaffiliated/ihope PRIVMSG #esoteric :ACTION nods. < 1322959769 82918 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1322959838 368990 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I had an idea; make chess variant game, your pieces has three your quarks, opponent pieces has three opponent quarks, and neutral pieces has one your quark and one opponent quark. Including swapping out quark and redrop captured pieces like shogi game does. < 1322960148 775317 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :"Uh, is this move legal?" "I think so. The path integral converges." < 1322960165 904324 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION → sleep < 1322960167 397261 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1322960401 231526 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Also: perhaps the worst bit about Japanese romanisation is that, unless you diverge from the standard, you cannot entirely romanise Japanese. < 1322960409 637488 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :s/standard/standards/ < 1322960439 18970 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Largely courtesy of them having no way of handling certain loan words. < 1322961048 102128 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :I'm pretty sure the reason for that is the loan words that screw them up being newer than the romanisation schemes, which are invariably late 1800s inventions. < 1322961896 820049 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :You could use the other forms of loan words < 1322962099 95954 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :That presents some *incredible* oddities. < 1322962270 83647 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :pikhq: solution: everyone speaks English instead. < 1322962358 812538 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :That's a terrible solution, particularly for Japan. < 1322962372 289930 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Engrish is the direct result of their terrible English. < 1322963461 712504 :Betawolf33!~betawolf@li151-44.members.linode.com JOIN :#esoteric < 1322963518 453569 :Vorpal!~AnMaster@unaffiliated/anmaster QUIT :Ping timeout: 255 seconds < 1322963710 365963 :shachaf_!~shachaf@204.109.63.130 JOIN :#esoteric < 1322963737 139384 :Slereah_!~butt@ANantes-259-1-230-193.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1322963786 642855 :Deewiant_!~deewiant@cs27125254.pp.htv.fi JOIN :#esoteric < 1322963827 444307 :Betawolf!~betawolf@li151-44.members.linode.com QUIT :Ping timeout: 245 seconds < 1322963829 315328 :shachaf!~shachaf@204.109.63.130 QUIT :Ping timeout: 245 seconds < 1322963830 241682 :Deewiant!~deewiant@cs27125254.pp.htv.fi QUIT :Ping timeout: 245 seconds < 1322963956 511976 :Slereah!~butt@ANantes-259-1-230-193.w83-195.abo.wanadoo.fr QUIT :Ping timeout: 245 seconds < 1322964328 441261 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :"When you are stupid enough to lose to an eleven year old, is it okay < 1322964350 485957 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :"When you are stupid enough to lose to an eleven year old, is it okay to claim that he can not claim the win because he was stupid too and said check instead of checkmate?" < 1322964380 724166 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I don't think that is how chess works..... < 1322964408 403089 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :it's not okay < 1322964657 940839 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I know you are not supposed to claim that he cannot claim the win because he said check instead of checkmate. Sometimes in the chess variants people ask some of these kind of question in "FAQ of chess rules" and also in "How to contact us" (which is not for chess rules; it is for the site in general). < 1322964707 668215 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :There are things like "WRONG! This connection does not have SMTP enabled. Already wrote to the chess federation in form..." and simply "i hate it" and "listen i cant get on the sight and i want my money back ive been trying since yesterday and its not my computer its the sight i wish someone would email me back melissa" (no email address was specified) < 1322964781 679878 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Aren't "check" and "checkmate" mere formalities? < 1322964809 916146 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :With the actual status of check and checkmate being solely based (as far as the rules are concerned) on board state < 1322964822 599828 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :pikhq: Yes, I think so. Actual status is board state. < 1322964901 330044 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :There have been fun things that have happened in tournament games < 1322964902 854428 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But these people ask questions where these questions don't belong (there are other comment forms to send these questions) < 1322964908 943277 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Jafet: Describe example please? < 1322964927 91313 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Like someone castling twice (and neither player remembered that he'd already castled) < 1322964966 442158 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :And I think there has been a game where both players missed a check < 1322964994 786261 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :So the checked player didn't move out of check < 1322965005 600648 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :And the checking player proceeded to do something else < 1322965030 801497 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :The question about calling checkmate has been asked previously anyways, same site but wrong form: "When an opponent puts you in checkmate but does not realize it and calls check, is it still checkmate or does the fact that he did not call checkmate have some bearing?" < 1322965303 784305 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do you know about Luzhanqi? It is Chinese game with some similar to Stratego. < 1322965413 102471 :derdon!~derdon@p5DE8AA42.dip.t-dialin.net QUIT :Remote host closed the connection < 1322965461 843258 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1322967120 320006 :DCliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net JOIN :#esoteric < 1322967325 530035 :Klisz!~Klisz@c-67-176-12-54.hsd1.co.comcast.net QUIT :Ping timeout: 255 seconds < 1322967378 504317 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322967396 16656 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :hey < 1322967495 904606 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :I'm looking at weird sortof semi-non-deterministic languages to see if I can come up with something really nice but still turing complete :D < 1322967594 606058 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :atm I'm looking at something where a program is essentially a math expression using logic operators (& | !) and math expressions with only + - variables and constants that evaluate to true if the result is 0 < 1322967633 156856 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :basically the whole logic operation must be true for any set of values for the variables < 1322967794 395220 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :so for instance, you can make "a" equal to true by doing < 1322967799 425438 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :uh < 1322967804 699104 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :so for instance, you can make "a" equal to 5 by doing < 1322967806 252999 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :a-5 < 1322967834 168794 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :if a is anything else than 5, the expression is obviously going to evaluate to non-0 and thus be false < 1322967973 158995 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :This sounds like the prolog to something good < 1322967989 632513 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :heh yeah < 1322968007 747720 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :haven't used prolog much but it's probably similar yes < 1322968043 542642 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :I'm fairly sure it's turing complete too < 1322968459 955451 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322968818 856595 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322969305 209989 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :yeah, hmm, a turing machine-like program would be defined as < 1322969306 170917 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(program definition involving ip val nip nval dptr) & ((initial state) | (transition rule)) < 1322969845 955510 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322970206 936946 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322970341 36258 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322970418 53009 :Nisstyre!~yours@infocalypse-net.info QUIT :Ping timeout: 248 seconds < 1322970486 970638 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322970515 687687 :Nisstyre!~yours@infocalypse-net.info JOIN :#esoteric < 1322970533 300218 :variable!root@freebsd/developer/variable NICK :const < 1322971244 457606 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1322971430 92930 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322971739 683265 :azaq23!~derivecto@unaffiliated/azaq23 QUIT :Quit: Leaving. < 1322971790 865679 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322972056 904830 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322972072 575004 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net QUIT :Read error: Connection reset by peer < 1322972245 158736 :GreaseMonkey!~gm@unaffiliated/greasemonkey QUIT :Quit: The Other Game < 1322972262 981790 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net JOIN :#esoteric < 1322972416 53051 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322973193 240268 :shachaf_!~shachaf@204.109.63.130 NICK :shachaf < 1322973804 68903 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :class Classical x => IsNatural x; instance IsNatural Zero; instance IsNatural x => IsNatural (Maybe x); < 1322973853 122423 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(program: use j v to give values to nv nj dp)& < 1322973853 215478 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :((i & tv & p & j)| < 1322973853 215613 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(i+1-ni & p+dp-np & (!tp-p | (v-tv & ntv-nv)) & (tp-p | (ntv-tv)) < 1322973853 215778 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :& i+p-ni-np & i-p-ni+np & i+j-ni-nj & i-j-ni+nj < 1322973853 215893 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :& i+tv+tp-ni-ntv-tp & i+tv-tp-ni-ntv+tp & i-tv+tp-ni+ntv-tp)) < 1322974042 297860 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :turing machine using +, -, &(logical and), |(logical or), !(logical not), and nondeterministic evaluation :D < 1322974054 359901 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :math expressions evaluate to true if =0, else false < 1322974095 557610 :mtve!~mtve@65.98.99.53 QUIT :Ping timeout: 244 seconds < 1322974180 391990 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Then, subtraction makes equality as well < 1322974226 52944 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :yep < 1322974334 349152 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :program definition looks something like < 1322974477 124593 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(!j-0 | !v-0 | (nj-# & nv-# & dp-#)) & < 1322974483 682520 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(!j-1 | !v-0 | (nj-# & nv-# & dp-#)) & < 1322974487 395764 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(!j-2 | !v-0 | (nj-# & nv-# & dp-#)) & < 1322974489 49679 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :.. < 1322974499 387179 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(!j-0 | !v-1 | (nj-# & nv-# & dp-#)) & < 1322974503 474481 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(!j-1 | !v-1 | (nj-# & nv-# & dp-#)) & < 1322974507 139837 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(!j-2 | !v-1 | (nj-# & nv-# & dp-#)) & < 1322974508 542440 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :.. < 1322974510 229251 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What does the # mean? < 1322974510 410294 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :etc < 1322974532 283847 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :# has to be replaced by a numeric value depending on the program < 1322974537 797967 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK < 1322974539 851819 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :basically this means < 1322974578 598087 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK I can understand it now. < 1322974676 935671 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :for a given state(j) and value(v) on the infinite tape, new state(nj) is (first #), new value(nv) is (second #), tape moves (third #) values < 1322974686 750854 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(dp = tape movement) < 1322974725 652484 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK. < 1322974960 841129 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :the other major thing it does is define a new state from an old one < 1322975041 912464 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :general structure is (program definition)&((first state value)|(new state value given previous state)) < 1322975058 635432 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :so once a program is defined, that always stands < 1322975096 379462 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :a valid state meanwhile is either the starting state, or a new state defined from a previous valid state (including the starting state) < 1322975113 236779 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :here the starting state is (i & tv & p & j) < 1322975215 997388 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :in other words, i=0 (iteration number), tv=0 for all values of tp (data array/infinite tape), p=0 (data pointer/tape position), j=0 (current state) < 1322975229 179587 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :j is basically the instruction pointer < 1322975273 108267 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :then it builds a new state from a preceding state < 1322975298 505035 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(i+1-ni & p+dp-np & (!tp-p | (v-tv & ntv-nv)) & (tp-p | (ntv-tv)) < 1322975335 63150 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :uh < 1322975338 913177 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :i+1-ni & p+dp-np & (!tp-p | (v-tv & ntv-nv)) & (tp-p | (ntv-tv)) < 1322975374 647011 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :ni=i+1 (new iteration number is old one incremented of course) < 1322975415 958603 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :np=p+dp (increase data pointer by dp, which is found from the program) < 1322975484 789773 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :next statement basically means: if tp=p, v=tv and also ntv = nv < 1322975554 961771 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :ie if the currently examined array index is the same as the data pointer, then v is the current array value (which it's going to use to figure out where to jump etc...) < 1322975592 103707 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :and ntv (new value at currently examined index) is nv (from program) < 1322975628 466322 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :then there's (tp-p | (ntv-tv)) which means: if tp!=p, then ntv = tv < 1322975648 194853 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :ie otherwise new array value stays the same < 1322975712 905528 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :the trick to those 2 parts is that they're a logical OR, so one part has to be true < 1322975749 28030 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :if the part on the left (the condition) is false, then the part on the right has to be true < 1322975776 489531 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :but if the condition is true, then the part on the right can be true or false or anything and has no effect < 1322975866 627640 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :so from the old state (i tv tp p j) we have a new state (ni ntv ntp np nj) < 1322975945 2518 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :so now we just have to "write" this new state back to the old variables < 1322975953 305091 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :hence the lines < 1322975956 82688 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :& i+p-ni-np & i-p-ni+np & i+j-ni-nj & i-j-ni+nj < 1322975967 890296 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :& i+tv+tp-ni-ntv-tp & i+tv-tp-ni-ntv+tp & i-tv+tp-ni+ntv-tp < 1322976027 695219 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :ie we have a i,p and a ni,np pair < 1322976045 655915 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :what we're doing is < 1322976058 514109 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :i+p=ni+np < 1322976060 539779 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :and < 1322976065 421053 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :i-p=ni-np < 1322976092 223944 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :hmm < 1322976127 111588 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :now I wonder if that's necessary < 1322976147 509370 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :might be possible to just go < 1322976202 464810 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :i-ni & p-np & j-nj & tv-ntv < 1322976236 93031 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :hmm, yeah, a lot simpler and i think it should work < 1322976306 264402 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :hmm < 1322976310 401064 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :or maybe not < 1322976668 517461 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :damn this is complicated :D < 1322976954 782401 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com QUIT :Remote host closed the connection < 1322977205 147581 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322977440 170392 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322977700 78283 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322978061 993825 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322978327 76411 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322978674 32691 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322978713 231367 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(program: use j v to give values to nv nj dp) & < 1322978713 436257 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :((i & tv & p & j) | < 1322978713 542418 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :!(i+1-ni & p+dp-np & (!tp-p | (v-tv & ntv-nv)) & (tp-p | (ntv-tv))) | < 1322978713 596406 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :(i-ni & p-np & j-nj & tv-ntv)) < 1322978719 838119 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :there < 1322978807 955510 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :hum < 1322978954 106142 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322979166 39522 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322979298 397320 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :madbr mad < 1322980811 537071 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca PRIVMSG #esoteric :my router doesnt like freenode :( < 1322980896 260888 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net JOIN :#esoteric < 1322981135 929115 :hagb4rd2!~perdito@koln-5d81f2c1.pool.mediaWays.net JOIN :#esoteric < 1322981298 252688 :hagb4rd!~perdito@koln-5d81f7ac.pool.mediaWays.net QUIT :Ping timeout: 248 seconds < 1322981441 5036 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'd feel kind of bad running a bot on #esoteric that wasn't written in an esolang < 1322981445 609790 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :unless you count perl as an esolang. < 1322981586 821411 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net PRIVMSG #esoteric :problem is, many esolangs don't have all the OS ties you'd need < 1322981587 310333 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322981785 852441 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :calamari: not to mention I already have a working IRC bot in perl. :P < 1322981814 852230 :DCliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net QUIT :Quit: You are now graced with my absence. < 1322981816 406244 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net QUIT :Read error: Connection reset by peer < 1322981866 536922 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net JOIN :#esoteric < 1322981914 201408 :mtve!~mtve@65.98.99.53 JOIN :#esoteric < 1322981952 157453 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322982089 241144 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322982451 163586 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322982584 162919 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Read error: Connection reset by peer < 1322982941 117482 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca JOIN :#esoteric < 1322982967 447796 :madbr!~madbrain@modemcable082.202-179-173.mc.videotron.ca QUIT :Client Quit < 1322983063 258406 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :PSOX can provide some OS ties < 1322983067 835326 :Sgeo!~sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :At least to networking stuff < 1322983864 225334 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1322984747 858699 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well connecting stdin to freenode is not an issue < 1322984760 64228 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but maintaining multiple connections would be. < 1322984970 638813 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1322985279 431782 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1322988061 358202 :calamari!~calamari@ip72-211-147-156.tc.ph.cox.net QUIT :Quit: Leaving < 1322990246 683319 :sebbu2!~sebbu@ADijon-152-1-25-173.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1322990246 841833 :sebbu2!~sebbu@ADijon-152-1-25-173.w83-194.abo.wanadoo.fr QUIT :Changing host < 1322990246 895743 :sebbu2!~sebbu@unaffiliated/sebbu JOIN :#esoteric < 1322990308 770856 :sebbu!~sebbu@unaffiliated/sebbu QUIT :Ping timeout: 244 seconds < 1322991864 913185 :elliott!elliott@unaffiliated/elliott JOIN :#esoteric < 1322992133 201484 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :17:08:31: http://en.wikipedia.org/wiki/File:Christopher_Nolan_at_WonderCon_2010_1.JPG < 1322992133 294835 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :17:08:33: Wait what. < 1322992133 295016 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :17:08:35: No. < 1322992133 295124 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :17:08:41: Nolan does not look like that. < 1322992133 416941 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :elliott: You have 4 new messages. '/msg lambdabot @messages' to read them. < 1322992139 631044 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :in my mind christopher nolan is leonardo dicaprio < 1322992331 209318 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :17:58:22: I guess. But normally I suppose you'd just use whatever they call themselves; the Paratheo-Anametamystikhood Of Eris Esoteric or whatever. < 1322992336 757624 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I thought that was parody until I googled "Paratheo-Anametamystikhood". < 1322992533 716952 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :20:52:48: I find it annoying when they only have month/day but not year < 1322992538 57906 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant_: Twitter does this and it's infuriating < 1322992603 961816 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1322992633 944347 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :22:57:25: i don't know about its type logic use, it's just the obvious way i'd try it < 1322992637 624859 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :they're just dependent tuples < 1322992679 535873 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Hello lambdabot. < 1322992679 676364 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Phantom_Hoover: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1322993425 404279 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1322993435 30997 :Phantom_Hoover!~phantomho@cpc2-sgyl21-0-0-cust501.sgyl.cable.virginmedia.com JOIN :#esoteric < 1322993442 153999 :Phantom_Hoover!~phantomho@cpc2-sgyl21-0-0-cust501.sgyl.cable.virginmedia.com QUIT :Changing host < 1322993442 207808 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1322993674 159909 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake NICK :lambduhbot < 1322993678 660443 :lambduhbot!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: sup < 1322993699 756846 :lambduhbot!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake NICK :kallisti < 1322993737 313950 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kallisti, still hurting from the breakup? < 1322993844 736046 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1322993889 999840 :Slereah_!~butt@ANantes-259-1-230-193.w83-195.abo.wanadoo.fr QUIT :Ping timeout: 244 seconds < 1322994787 577049 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :02:05:50: "When you are stupid enough to lose to an eleven year old, is it okay to claim that he can not claim the win because he was stupid too and said check instead of checkmate?" < 1322994787 630020 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :02:06:20: I don't think that is how chess works..... < 1322994791 197226 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I can confirm that this is how chess works. < 1322995222 851598 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Phantom_Hoover: wat < 1322995224 141532 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which < 1322995274 975453 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :with lambdabot. < 1322995315 648782 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes. ;_; < 1322995691 257032 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :why does the emacs window appear just a bit too low for me to see the minibuffer < 1322995694 212778 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so annoying. < 1322995703 343364 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I always have to drag it up or maximize < 1322996089 505417 :Deewiant_!~deewiant@cs27125254.pp.htv.fi NICK :Deewiant < 1322996379 704615 :sebbu2!~sebbu@unaffiliated/sebbu NICK :sebbu < 1322996855 36705 :derdon!~derdon@pD9E1CE30.dip.t-dialin.net JOIN :#esoteric < 1322997246 674952 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1322997422 353296 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hi oerjan < 1322997424 758949 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hoerjan < 1322997435 116462 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :helliott < 1322997739 371309 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm, I can't seem to find a package for Firefox 7 on Ubuntu < 1322997830 498381 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I don't think they bother including older-than-the-current-default versions. If you mean the official rebbository. < 1322997881 926207 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yess < 1322997903 271664 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: why do you want it < 1322997918 751052 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: so if i'm reading this log right you actually reached an agreement with myndzi??? or did you just give up < 1322997928 316860 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: firefox 8 doesn't work with this other thing I'm using -secretive- < 1322997930 102500 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: I think we reached an agreement, yes. < 1322997941 480177 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: help i can't believe? < 1322997945 352154 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: fix the thing < 1322997983 685896 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: noep < 1322998014 386615 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :kallisti: You could try dpkg-installing one of the 7.0 .debs from https://launchpad.net/ubuntu/precise/+package/firefox < 1322998038 485920 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :wow why is the firefox homepage so shitty. < 1322998041 347165 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Assuming he wants to uninstall his current Firefox. < 1322998047 473722 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"want an older firefox version? here's 3.6!" < 1322998047 525277 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: Right, assuming that. < 1322998054 438208 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :it's already uninstalled < 1322998072 939640 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what is "nobinonly" < 1322998080 729519 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Is the next codename really "precise"? < 1322998088 534028 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That's terrible. < 1322998129 490411 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: Precise Pangolin, yes. < 1322998152 594696 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Well the Pangolin bit is fine, "precise" is just not a very... fun thing to have in source lists and the like. < 1322998165 224721 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Feels more like a setting or... advertising attribute than a name. < 1322998179 304341 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: (Although I have to wonder why they don't make the animal name the codename part.) < 1322998185 217243 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Uninspired Ubuntulike < 1322998185 287419 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Actually there seem to be some 7.0's also in https://launchpad.net/ubuntu/oneiric/+package/firefox < 1322998189 695789 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Those might be a better bet. < 1322998235 30353 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I just hit the 'precise' versions first when furiously clicking around in Launchpad. < 1322998260 12891 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm almost positive this is the same packge but... I'll try it anyway < 1322998271 579747 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: They should have gone with Pink Panther. :'( < 1322998287 590002 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Powerful Panda < 1322998317 721323 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Pink Panda < 1322998323 89363 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Precise Panda < 1322998444 417176 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Pugnacious Panda? < 1322998446 948475 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Putrid Panda? < 1322998450 332957 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION shouldn't name things < 1322998507 616037 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :The suggestions page is not exactly better. Though Psychedelic Penguin would have been possibly interesting to explain in stuffy corporate situations. < 1322998523 916747 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :`word 26 < 1322998531 766072 :HackEgo!foobar@codu.org PRIVMSG #esoteric :veinneilion combchiroxiviloadra caneraguftls zinaidnercycackingnat kerndra pontiul ziners relsocrutiona ce enlerd diintle surbramenolleybdon jyob an lux elienty unsa ging na ate worici ze he hibrardceifterufhamirp li ste < 1322998563 78144 :itidus21!~itidus21@120.148.51.249 PRIVMSG #esoteric :Pontiul Panda < 1322998580 323979 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I have no idea what "hunspell-en-ca" is but I'm going to remove it because this package wants me to < 1322998619 208836 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Probably the canadian-english data files for hunspell, which is what OOoOooOOo and Firefox use as their spellchecker eggine. < 1322998647 68964 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Then you can't spellcheck in Canadianese. :/ < 1322998651 225158 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :noooooooo < 1322998656 457115 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well it says it's provided but something else < 1322998658 212416 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :so... whatever < 1322998667 91729 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and now hunspel-en-us < 1322998669 866617 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :FUCK YOU < 1322998730 230152 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Dependency is not satisfiable: libstdc++6 (>= 4.6) < 1322998732 516917 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fffffffffffffffffff < 1322998773 152067 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Are you actually running oneiric? < 1322998790 129495 :derrik!~xix@143.122.191.90.dyn.estpak.ee QUIT :Quit: gone < 1322998903 448887 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh, right < 1322998904 48993 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no < 1322998904 865540 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :natty < 1322998965 761822 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Out of luck, then, since https://launchpad.net/ubuntu/natty/+package/firefox just has 3.6 and 8.0. < 1322998980 893291 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Maybe some other place in their PPAs has a 7.0 build, who knows. < 1322998990 519428 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :It's all so confuzzling. < 1322999243 188325 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ghdfgfyjdfhdj' < 1322999330 137150 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1322999492 524958 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: You could just use the Mozilla binaries. < 1322999558 251773 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :mozillas homepage is dumb < 1322999624 350664 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: you're dumb < 1322999673 430658 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :also im cold < 1322999676 743754 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the only versions I see available from mozilla are 3.6 and 8 < 1322999713 379039 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: http://releases.mozilla.org/pub/mozilla.org/firefox/releases/ < 1322999724 562087 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hmm that doesn't have 7 < 1322999726 640729 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: just compile it yrself < 1322999734 554106 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if you really want it < 1322999744 72693 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://www.mozilla.org/en-US/firefox/releases/0.8.html < 1322999759 834295 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fiiiine < 1322999769 382122 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: or < 1322999770 155783 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: http://www.mozilla.org/en-US/firefox/7.0.1/releasenotes/ < 1322999770 805023 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :"3.0.19-real-real", the best directory name. < 1322999783 486892 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :no download links < 1322999797 655341 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're really not meant to downgrade firefox these days methinks < 1322999804 868372 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"release channel" and all that < 1322999807 978750 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :It's not in the "channel" any more, right. < 1322999808 592291 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: for some reason they only have binaries for 8 and 3.6 which is now ancient. < 1322999826 803591 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: does 3.6 not work for what you want to do < 1322999827 143011 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: but I'll just compile from source for now < 1322999828 157983 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :which will be < 1322999828 233634 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and MAYBE < 1322999829 652279 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :3.6.x is still kept security-updated, it's not "ancient". < 1322999830 824590 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :use something briefly < 1322999832 249730 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :actually fix the problem eventually < 1322999833 954587 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for backwards compat reasons < 1322999835 631170 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: it might < 1322999841 60762 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and then upgrade again < 1322999843 184332 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: dude < 1322999848 212149 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: do you have any idea how long compiling firefox takes < 1322999858 861834 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :um..... < 1322999859 368348 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no < 1322999863 930754 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hours < 1322999868 965533 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :It'd be faster to dist-upgrade to oneiric and use that deb. :p < 1322999872 772793 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: my god < 1322999875 889175 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'll have to like < 1322999878 156241 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :SLEEP THROUGH IT < 1322999879 499964 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :THE HORROR < 1322999889 754328 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: with the fans on full-blast because it uses all your CPU? < 1322999894 283405 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's fine < 1322999902 33548 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I've got this awesome secondary cooling pad thing < 1322999916 806388 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh hmmm this might be a binary actually < 1322999926 73017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION gives up. < 1322999960 409682 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes the tarball comes with a precompiled binary < 1322999974 805129 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :PERHAPS AN INSTALL SCRIPT AS WELL? HMMMMM < 1322999978 206589 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION searches. < 1322999980 623099 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's called autoconf < 1322999999 755191 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: you're searching for something that you won't find because you're looking in the wrong place. < 1323000015 221516 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: could you possibly be any more vague? < 1323000021 702973 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I need you to be more vague < 1323000021 773245 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : it's called autoconf < 1323000023 718413 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or I won't understan < 1323000024 301619 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :d < 1323000025 224375 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :easily, considering i told you the answer < 1323000048 787052 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :...so you're saying there's no autoconf? okay. < 1323000078 975946 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: do you have to practice being this dense < 1323000085 82271 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no. < 1323000088 818014 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :talent < 1323000096 594404 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :you could just be direct and explain wtf you're getting at though. < 1323000103 585609 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :because it's not clear. < 1323000133 783292 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : PERHAPS AN INSTALL SCRIPT AS WELL? HMMMMM < 1323000133 836683 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :* kallisti searches. < 1323000133 836865 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : it's called autoconf < 1323000139 117422 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes? < 1323000139 906352 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :and? < 1323000152 992344 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you're really dumb < 1323000156 298632 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that doesn't convey at all what you're saying. other than: "use autoconf maybe" < 1323000159 250325 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which < 1323000163 164464 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I already gathered < 1323000167 182469 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :from you saying < 1323000170 907559 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric : it's called autoconf < 1323000183 282394 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then what are you searching for < 1323000194 80009 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :a .ac file? < 1323000196 79801 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :or configure? < 1323000197 980394 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but < 1323000199 392024 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :there isn't one < 1323000219 894486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :then probably you _are_ looking in the wrong place. < 1323000231 423060 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :You might have a binary tarball there, if it actually does have a binary in it. < 1323000235 68052 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :They do make those as well. < 1323000243 527804 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :yes I see no source code. < 1323000246 193851 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1323000277 379045 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: All the modern OSS binary tarballs I see are installed with an autoconf/automake setup. < 1323000282 885950 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: okay so you suggested something that you apparently knew wasn't going to be there. < 1323000285 830994 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :thanks. < 1323000295 95836 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, what a reasonable deduction to make. < 1323000359 316636 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tune in for tomorrow's installment of ellipott and kettlisti < 1323000403 702741 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: The fundamental unbalancing difference is that one of us isn't dense. < 1323000421 450564 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :while the other one isn't vague. check. < 1323000432 746800 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(NB. Dense considered as action/state, not attribute.) < 1323000465 271560 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: am I suppose to know everything you mean by "it's called autoconf" and "you're probably looking in the wrong place." neither of those two things are remotely helpful, especially when I'm being so "dense" < 1323000474 326556 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Well, I could just answer every single silly question with an unbearably specific, paragraph-long answer on a silver platter, but I don't think it's worth my while to waste my time like that. < 1323000493 890776 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :This thing is like the most confusing thing ever. Occasionally releases.mozilla.org/pub/mozilla.org/firefox/releases/7.0.1/ actually has all the stuffs. Most of the time it doesn't. Must be their load-balancing + non-identical servers. At least ftp://ftp.mozilla.org/pub/mozilla.org/firefox/releases/7.0.1/ is stable. < 1323000509 25123 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Nice. < 1323000690 228423 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fizzie: as far as I see the both the HTTP and the FTP tarball are the same for linux-x86_64/en-US/ < 1323000709 940548 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: it just looks like you are maximizing the chance of being misunderstood while still having plausible deniability. < 1323000745 153152 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :kallisti: Yes, most likely, but http://releases.mozilla.org/pub/mozilla.org/firefox/releases/7.0.1/ only has the update/ directory (no tarballs) for most of the time for me; sometimes it has what's in ftp.mozilla.org too, though. < 1323000760 235341 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: Yes, the thing I want most out of IRC is kallisti complaining about how vague I am. < 1323000771 435911 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: How did you discover my secret pleasure and the devious means by which I acquire it? < 1323000772 901748 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(The directory indexing also keeps flipping between lighttpd and Apache indexes. And so on. < 1323000808 261745 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Apache at least shows the server domain at the bottom of the indices, so if you want COMPLETE CONFIRMATION that's what's happening... < 1323000813 209926 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: My server is stable on refresh, though. < 1323000814 135449 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: vague impression, my secret weapon. < 1323000821 900061 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, not on cache-flush. < 1323000828 804765 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Wow, one of these servers is using Cherokee. < 1323000849 607057 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :All the apaches I've seen have said "at releases.mozilla.org", I think. < 1323000855 415997 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://releases.mozilla.org/cherokee_themes/default/ftp.gif < 1323000904 915543 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :http://p.zem.fi/9i13 -- since it has 'geo' in the name, it might also return different lists for different people. < 1323000955 672725 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has SOA record geo.mozilla.com. hostmaster.mozilla.com. 200309181 28800 7200 86400 28800 < 1323000955 850447 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com name server ns1.geo.mozilla.com. < 1323000955 904141 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com name server ns0.geo.mozilla.com. < 1323000955 904306 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 204.152.184.113 < 1323000955 904413 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 128.61.111.9 < 1323000957 696801 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 64.50.236.214 < 1323000959 827321 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 131.188.12.212 < 1323000961 777623 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 216.165.129.141 < 1323000963 807002 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 204.152.184.196 < 1323000965 750297 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 202.177.202.154 < 1323000967 714310 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 129.101.198.59 < 1323000969 918902 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 204.246.0.136 < 1323000971 922597 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 155.98.64.83 < 1323000973 768031 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has address 156.56.247.196 < 1323000975 747062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has IPv6 address 2001:6b0:e:2018::1337 < 1323000977 839927 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :releases.geo.mozilla.com has IPv6 address 2001:4f8:4:b:230:48ff:fedf:7f3a < 1323000979 918420 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :IPv6, impressive. < 1323000981 849565 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(That's with Google Public DNS.) < 1323000983 809852 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(Also that's more lines than it seemed to be.) < 1323000999 459282 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'm just going to fuck it and make links to the binaries in /bin :P < 1323001016 346311 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :In /bin? < 1323001025 533958 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Are you trying to pick the worst possible place to link the binaries? < 1323001034 679640 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :/usr/local/bin? < 1323001034 931903 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Anyway, that probably won't work. < 1323001035 924564 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :kallisti: Why don't you just run it from where you extracted it? I mean, I don't suppose you're planning to permanently stick with FF7. < 1323001041 849493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Since there are auxiliary files it'll try and find. < 1323001060 673370 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I think the tarball is constructed to be a very self-contained directory. < 1323001060 918726 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :fizzie: I'm pretty sure I need it to be as though it were installed normally < 1323001071 162802 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION secretive < 1323001195 682939 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :bah stupid cross-device link error thing. < 1323001199 614126 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Speaking of "vague", this looks like a huge X-Y problem to me. < 1323001210 429267 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: that's because I'm being secretive < 1323001216 771584 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Unfortunately, nobody can help you, since you won't give any details, so you'll have to enjoy fucking it up by yourself. < 1323001221 701793 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Have you considered a chroot? < 1323001226 580251 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no, bad idea. < 1323001232 447067 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Not as bad as this idea. < 1323001239 324189 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Have fun breaking your system. < 1323001246 679569 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :um... < 1323001252 854576 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I seriously doubt that will happen < 1323001270 921186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Good for you. < 1323001402 920528 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :unless soft links (and now, since that doesn't work, a simple shell script) CATASTROPHICALLY MALFUNCTION AND WIPE MY HARD DRIVE < 1323001766 963373 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Chrome has, for some reason, wiped my profile. < 1323001862 186095 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, Firefox 7 doesn't seem to fix the problem either. < 1323001888 11610 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I believe that's the last version I was using that worked correctly. < 1323001908 704452 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Have you considered that maybe whatever shit you're doing is more likely to be broken than Firefox. < 1323001918 281969 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: you are correct < 1323001926 560270 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: firefox is not broken at all < 1323002003 279567 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: You did not think of this first time around? < 1323002017 936237 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :no, it's unrelated to what I'm trying to do. < 1323002038 599423 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Last time selenium worked I was using Firefox 7, so... I thought going back to Firefox 7 would fix the issue < 1323002045 557620 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but it either hasn't, or created a new issue. < 1323002154 815514 :derdon!~derdon@pD9E1CE30.dip.t-dialin.net QUIT :Remote host closed the connection < 1323002179 788455 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: but I appreciate the continued and unyielding condescension for reasons I don't fully understand. < 1323002194 190974 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Me too. < 1323003414 201644 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :http://www.fibers.com/shop/design/this-is-not-a-hipster-t-shirt.D46044/mens-fine-cotton-t-shirt.P1308?utm_source=google&utm_medium=product-search&utm_campaign=feed < 1323003417 197767 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :SO IRONIC < 1323003459 532325 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :"This American Apparel brand shirt, is our most popular premium t-shirt" < 1323003462 993822 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :eh, too mainstream for me. < 1323003649 74609 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Home > Browse T-Shirts > Lifestyle & Identity > Subcultures > Hipster > This Is Not A Hipster T-shirt < 1323003664 989581 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Paintings > Pipes > The Treachery of Images < 1323003725 758365 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I can't seem to find those categories on the site. :P < 1323003783 525163 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :the problem is that... < 1323003791 373833 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :while it is indeed not a pipe, but merely an image of a pipe < 1323003798 892268 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that shirt is, in fact, a hipster shirt < 1323003908 924215 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, actually, it could easily be a hipster poser shirt. < 1323003916 300215 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I'd need to consult a hipster to find out. < 1323004811 105609 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what's interesting about Google is they have a lot of software products that... don't really seem to generate any revenue for them. < 1323004893 925976 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: *in a way I can see < 1323004942 930972 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, yes. but how does chrome produce revenue? < 1323005056 852 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Makes it really easy to use Google and thus view Google ads, for one < 1323005062 552867 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :sure it gives me a browser, and pretty much any significant amount of time I spend on the web = revenue for google. < 1323005079 436220 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :but, web browsers already existed for that. < 1323005115 502421 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Chrome was the first web browser with one big bar advertised to just have you type what you want and get there (via Google) < 1323005141 617280 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Oh, and Chrome was massively faster than Firefox, making it nicer to use Google's many profitable web applications < 1323005171 747966 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :And allowing them to implement more complex web applications that would previously only be possible on the desktop, thus generating more revenue, etc. etc. etc. < 1323005209 272138 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :hmmm, okay. < 1323005290 333225 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :another interesting thing about Google: they've convinced everyone that their rapid expansion has benefited everyone. < 1323005294 776811 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess in some ways it has. < 1323005304 233463 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :ACTION convinced. < 1323005326 4539 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Also, giving Google more leverage in standards organisation :P < 1323005344 713065 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :And things like Native Client, SPDY, etc. etc. etc. < 1323005358 112733 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I suspect V8 might have originated as some 20% time thing though < 1323005412 748612 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :oh I wasn't aware of native client. < 1323005415 858134 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that's pretty interesting. < 1323005470 321028 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :NaCl's x86-32 sandboxing was really fancy. < 1323005476 462832 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Sadly it was very x86-32-only. < 1323005479 741158 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I suspect Native Client is how they intend to make Chrome OS capable of running native code apps. < 1323005500 816870 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :(And by "fancy" I mean "freako".) < 1323005504 359864 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: NaCl is sort of dead these days. < 1323005521 610680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Mozilla were like "hahaha, NO" and everyone was like "oh". < 1323005571 811877 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Mozilla and HTML bffs forever. < 1323005574 513818 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :(yes bffs forever) < 1323005583 335977 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :bfff < 1323005593 967833 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Best friend forevers forever. < 1323005607 5804 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :which will then later be used as: "bfffs forever" < 1323005608 642887 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :etc < 1323005657 441746 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : Sadly it was very x86-32-only. < 1323005663 941099 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Because it used segmentation, right? < 1323005669 252099 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Right. < 1323005673 572456 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I didn't know you could even do that in proteced mode. < 1323005686 520127 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :But I <3 it still; segmentation is so underutilized and abandoned, you have to feel pity for it. < 1323005711 548776 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: I wonder why they didn't just use a hypervisor thing; I guess because not everyone had the CPU for it at the time. < 1323005725 499535 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :But, uh, better future-ready than planned-obsolescent, surely? < 1323005735 215939 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Ehm: "An ARM implementation was released in March 2010,[6] and x86-64 is also supported. However, As of March 2011, all three implementations can only use code compiled to the host's native instruction set." < 1323005740 654697 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: why is Mozilla not implementing native code a big deal? < 1323005748 456643 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :elliott: isn't Google like the internet tough guy? < 1323005752 882245 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Because the people who don't use Chrome or IE use Firefox < 1323005763 638209 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, and Safari < 1323005765 430982 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :well, yes.. < 1323005769 32666 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :>_>? < 1323005771 300048 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :okay I guess < 1323005773 661311 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that makes sense. < 1323005781 560909 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: People don't like websites that only work in one browser, dude. < 1323005783 86585 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not much of a standard if it isn't standard. < 1323005792 152308 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Especially a browser that was less widely-used than Firefox until recently. < 1323005801 465894 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: Yes, they have x86-64 and ARM now; it's a different sandboxing mechanism though. < 1323005805 474485 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Ah. < 1323005812 10844 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :http://research.google.com/pubs/pub35649.html describes the new one. < 1323005827 909249 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Apparently they're doing something with "portable LLVM", which sounds, uh, fun, since I gathered LLVM assembly was very platform-specific. < 1323005837 248945 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Because sizeof etc. is all done by then. < 1323005851 20520 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I suppose that's for the PNaCl thing? < 1323005856 712706 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1323005858 573785 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Pnackle. < 1323005861 825277 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Also, name my branch already. < 1323005917 336226 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :I think the x86-64 NaCl sandbox actually makes 'long's and pointers 32-bit too, to aid in PNaCling things between ARM and x86-64. < 1323005949 161116 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :Mozilla Firefox currently supports SPDY through an out-of-tree patch,[12][13] the target version for mainline inclusion is Firefox 11 < 1323005954 2664 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :should be out next year then. < 1323005961 696546 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: But it sounds like PNaCl is a separate thing entirely designed to eliminate the native code altogether. < 1323005975 61846 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Or were you using the term FACETIOUSLY < 1323005997 439661 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Firefox 9 is in beta, so probably early next year; Firefox 11 is in alpha. < 1323006008 71168 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That is, 11 will probably be early next year. < 1323006017 383739 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :what happened to... < 1323006018 706337 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :like < 1323006021 402473 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :decimal numbers? < 1323006042 657165 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Mozilla Firefox 7.0.1 was released a few days later, fixing a rare but serious issue with add-ons not being detected by the browser." < 1323006044 107584 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :See, decimals. < 1323006063 162842 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :elliott: I thought it worked so that you compiled your "native" code into that LLVM IR, and then on runtime they'd LLVMize it into actual native code, and run in the usual x86-32/x86-64/ARM NaCl sandbox. But I confess I haven't really looked at it very closely. < 1323006075 763859 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Apparently the single feature Firefox 8 introduced was to ask you whether you really want all your addons at install time. < 1323006082 248102 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :(Because of third-party junkware.) < 1323006089 570345 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :.. < 1323006090 855057 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :see < 1323006092 294864 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :that should be < 1323006095 443062 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: Oh, that would make sense. < 1323006096 639798 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :7.2 < 1323006103 591269 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :not 8 < 1323006114 247948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: What happened to 7.1? < 1323006122 430362 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :lost in time, I dunno. < 1323006136 101242 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :I guess 7.1 is fine. < 1323006143 621973 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :unless there was some other slightly minor thing. < 1323006149 658221 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :but subversions like 7.2 is so complicated and technical looking for the people who just want a new browser < 1323006155 393290 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :8 is more than 7, 7.2 is MATH < 1323006181 994726 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake PRIVMSG #esoteric :10 years from now: Firefox 53 < 1323006271 594606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: (It wasn't actually the single feature introduced.) < 1323006282 267951 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :See http://www.mozilla.org/en-US/firefox/8.0/releasenotes/, "What's New in Firefox". < 1323006298 788097 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :The load-tabs-on-demand thing is quite a major nicety. < 1323006301 575348 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :kallisti: In ten years it should be around 95 or so; the release cycle is six weeks. < 1323006317 443546 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Firefox 95 "So Very Tired" < 1323006332 112428 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Followed by Son of Firefox 1 "RIP Dad". < 1323006389 247183 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: Really though, the versions don't /matter/, since it's all done through the automatic-update channels. < 1323006411 848021 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :There's not much point having a major version number if you only increment it every "long while" without any fanfare. < 1323006420 679341 :augur!~augur@208.58.5.87 QUIT :*.net *.split < 1323006421 320277 :olsner!~salparot@c83-252-161-133.bredband.comhem.se QUIT :*.net *.split < 1323006421 972677 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :*.net *.split < 1323006424 754271 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :*.net *.split < 1323006425 943071 :elliott!elliott@unaffiliated/elliott QUIT :*.net *.split < 1323006426 567874 :hagb4rd2!~perdito@koln-5d81f2c1.pool.mediaWays.net QUIT :*.net *.split < 1323006426 950368 :Nisstyre!~yours@infocalypse-net.info QUIT :*.net *.split < 1323006427 187154 :Deewiant!~deewiant@cs27125254.pp.htv.fi QUIT :*.net *.split < 1323006428 955979 :Betawolf33!~betawolf@li151-44.members.linode.com QUIT :*.net *.split < 1323006430 769160 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net QUIT :*.net *.split < 1323006431 823230 :itidus21!~itidus21@120.148.51.249 QUIT :*.net *.split < 1323006431 933365 :TeruFSX!~quassel@71-210-150-147.mpls.qwest.net QUIT :*.net *.split < 1323006434 321820 :fizzie!fis@iris.zem.fi QUIT :*.net *.split < 1323006437 878306 :twice11!~twice11@lenny32.physik.fu-berlin.de QUIT :*.net *.split < 1323006444 196772 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net QUIT :*.net *.split < 1323006446 144685 :lambdabot!~lambdabot@li85-105.members.linode.com QUIT :*.net *.split < 1323006447 442504 :quintopia!~quintopia@unaffiliated/quintopia QUIT :*.net *.split < 1323006448 48926 :yorick!~yorick@unaffiliated/yorick QUIT :*.net *.split < 1323006448 977185 :yiyus!1242712427@je.je.je QUIT :*.net *.split < 1323006450 758943 :Zwaarddi1k!miekko@infa.abo.fi QUIT :*.net *.split < 1323006454 845194 :Zuu!~zuu@unaffiliated/zuu QUIT :*.net *.split < 1323006455 725147 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :*.net *.split < 1323006459 508788 :fungot!~fungot@momus.zem.fi QUIT :*.net *.split < 1323006460 982836 :fizziew!~htkallas@pc112.ics.hut.fi QUIT :*.net *.split < 1323006464 393872 :coppro!~scshunt@denardo.csclub.uwaterloo.ca QUIT :*.net *.split < 1323006466 700457 :kallisti!~eris@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake QUIT :*.net *.split < 1323006473 132246 :SimonRC!~sc@fof.durge.org QUIT :*.net *.split < 1323006474 324192 :FireFly!firefly@unaffiliated/firefly QUIT :*.net *.split < 1323006474 883913 :oklopol!~oklopol@dyn58-57.yok.fi QUIT :*.net *.split < 1323006475 536216 :Jafet!~Jafet@unaffiliated/jafet QUIT :*.net *.split < 1323006475 862292 :mtve!~mtve@65.98.99.53 QUIT :*.net *.split < 1323006480 139 :ineiros!~itniemin@james.ics.hut.fi QUIT :*.net *.split < 1323006489 178209 :coppro!~scshunt@denardo.csclub.uwaterloo.ca JOIN :#esoteric < 1323006500 959549 :yiyus!9802bonex@je.je.je JOIN :#esoteric < 1323006745 951907 :Zwaarddijk!miekko@infa.abo.fi JOIN :#esoteric < 1323006829 354105 :FireFly!firefly@unaffiliated/firefly JOIN :#esoteric < 1323006829 409070 :oklopol!~oklopol@dyn58-57.yok.fi JOIN :#esoteric < 1323006829 409180 :SimonRC!~sc@fof.durge.org JOIN :#esoteric < 1323006829 409258 :mtve!~mtve@65.98.99.53 JOIN :#esoteric < 1323006829 409336 :quintopia!~quintopia@74.117.159.204 JOIN :#esoteric < 1323006829 409547 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net JOIN :#esoteric < 1323006829 409627 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1323006829 409702 :olsner!~salparot@c83-252-161-133.bredband.comhem.se JOIN :#esoteric < 1323006829 409799 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1323006829 409877 :ineiros!~itniemin@james.ics.hut.fi JOIN :#esoteric < 1323006829 409954 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1323006829 410030 :fizziew!~htkallas@pc112.ics.hut.fi JOIN :#esoteric < 1323006829 410106 :aloril!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1323006829 410181 :twice11!~twice11@lenny32.physik.fu-berlin.de JOIN :#esoteric < 1323006829 410258 :fizzie!fis@iris.zem.fi JOIN :#esoteric < 1323006829 410332 :TeruFSX!~quassel@71-210-150-147.mpls.qwest.net JOIN :#esoteric < 1323006829 410406 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1323006829 410482 :Betawolf33!~betawolf@li151-44.members.linode.com JOIN :#esoteric < 1323006829 410559 :Deewiant!~deewiant@cs27125254.pp.htv.fi JOIN :#esoteric < 1323006829 410634 :Nisstyre!~yours@infocalypse-net.info JOIN :#esoteric < 1323006829 410708 :myndzi!myndzi@c-67-168-184-168.hsd1.wa.comcast.net JOIN :#esoteric < 1323006829 410783 :hagb4rd2!~perdito@koln-5d81f2c1.pool.mediaWays.net JOIN :#esoteric < 1323006829 410858 :elliott!elliott@unaffiliated/elliott JOIN :#esoteric < 1323006829 410932 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1323006829 411007 :Zuu!~zuu@77.215.149.86 JOIN :#esoteric < 1323007041 447432 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :hi gaiz < 1323007050 461764 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Not you again. < 1323007053 440041 :itidus21!~itidus21@120.148.51.249 QUIT :Quit: Leaving < 1323007315 432578 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote Dinner? At two? It's four here already. See, UTC+2. You need to add a couple of hours. Or was that subtract? I can never get those straight. < 1323007318 33817 :HackEgo!foobar@codu.org PRIVMSG #esoteric :744) Dinner? At two? It's four here already. See, UTC+2. You need to add a couple of hours. Or was that subtract? I can never get those straight. < 1323007357 641142 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, I think you need the myndzi context for that to work. < 1323007361 387873 :Zuu!~zuu@77.215.149.86 QUIT :Changing host < 1323007361 459432 :Zuu!~zuu@unaffiliated/zuu JOIN :#esoteric < 1323007363 858917 :quintopia!~quintopia@74.117.159.204 NICK :Guest12461 < 1323007364 24244 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's in our collective consciousness now. < 1323007375 705908 :yorick!~yorick@unaffiliated/yorick JOIN :#esoteric < 1323008202 455702 :Phantom__Hoover!~phantomho@cpc2-sgyl21-0-0-cust501.sgyl.cable.virginmedia.com JOIN :#esoteric < 1323008208 177692 :Phantom__Hoover!~phantomho@cpc2-sgyl21-0-0-cust501.sgyl.cable.virginmedia.com QUIT :Changing host < 1323008208 231780 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1323008330 367552 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1323008451 690613 :MDude!~fyrc@or-67-238-19-212.dhcp.embarqhsd.net PRIVMSG #esoteric :I have no idea about the context, but I find the quote amusing enough. < 1323010628 310646 :copumpkin!~pumpkin@unaffiliated/pumpkingod JOIN :#esoteric < 1323010975 809195 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1323011090 353275 :itidus21!~itidus21@120.148.51.249 PART :#esoteric < 1323011195 740878 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1323011407 604812 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I've become such a sc2 junkie. < 1323012265 506857 :itidus21!~itidus21@120.148.51.249 QUIT :Read error: Connection timed out < 1323012302 306638 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1323012331 835095 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kallisti, Star Control 2? < 1323012409 711977 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :s/ Control/Craft/ < 1323012559 205539 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :^^ < 1323012601 90488 :Vorpal!~AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1323012767 397756 :itidus21!~itidus21@120.148.51.249 QUIT :Read error: Operation timed out < 1323012773 745055 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: there are two elements of randomness in SC2 games that I've discovered (modulo lag). 1) your spawn location is random 2) you can select a random race, which prevents your opponent from knowing what your race is until they scout. < 1323012843 740542 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :the first one is a bit more important. < 1323012852 147640 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :It's also map-dependent. < 1323012852 286761 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :as it makes when you discover enemies random < 1323012863 646976 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :because you can "scout the wrong way" < 1323012868 613335 :itidus21!~itidus21@120.148.51.249 JOIN :#esoteric < 1323012876 210027 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :which wastes time. < 1323012891 411873 :itidus21!~itidus21@120.148.51.249 QUIT :Client Quit < 1323012912 744497 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it also randomy determines which strategies are more effective, based on how close you spawn to your opponent. < 1323012915 939663 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :+l < 1323013222 122063 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Deewiant: can you explain why the game clock is not sync'd to actual seconds? < 1323013225 464641 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it's "Blizzard seconds" < 1323013239 728733 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :"Normal" speed is actual seconds < 1323013245 346406 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :kallisti: it changes based on your speed setting? < 1323013254 618584 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :oh okay. < 1323013256 88390 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :But no, I don't know why the default speed isn't actual seconds < 1323013256 143499 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :that's weird. < 1323013269 972888 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Almost nobody plays on normal < 1323013288 859031 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I guess it makes sense to change the clock speed for faster speed settings because it lets you time strategies < 1323013324 793766 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :I'd say it's just because it's easiest to implement like that :-P < 1323013339 238030 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :...I think actual seconds are easier. < 1323013364 91021 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Well, if you're talking about the in-game timer, that's one thing < 1323013368 846309 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :time() //lol < 1323013370 60355 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :But I was thinking about e.g. APM calculation < 1323013376 364361 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ah right < 1323013382 900561 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it makes everything consistent, yes. < 1323013390 28458 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :The in-game timer wasn't even in the original game, it appeared in a later patch. < 1323013395 6119 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :s/game/release/ < 1323013397 846738 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :and you can say "oh I should expand at the 6 minute mark" regardless of speed setting. < 1323013405 900402 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Deewiant: right < 1323013891 182036 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1323014169 881477 :derrik!~xix@143.122.191.90.dyn.estpak.ee QUIT :Client Quit < 1323014312 167711 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@hoogle (a -> b, c -> d) -> (a,c) -> (b,d) < 1323014318 443017 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's going to be some arrow shit < 1323014325 5826 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lambdabot? < 1323014336 643861 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: @hoogle (a -> b, c -> d) -> (a,c) -> (b,d) < 1323014368 467139 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Not easy IIRC < 1323014386 944438 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Sure it is: f (g,h) (a,b) = (g a, h b) :P < 1323014399 857537 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Wait, isn't that just bilift < 1323014401 1051 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Not easy to pointlessify < 1323014402 528294 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or whatever it was called < 1323014447 996320 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's (<<.>>) < 1323014477 136034 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :uncurry (***) ? < 1323014482 42215 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh wait, that isn't even what I want... < 1323014483 131978 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I have < 1323014493 289250 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :do { (f, fm') <- fm; (a, am') <- am; return (f a, fm' <*> am') } < 1323014497 182380 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :And am trying to pointlessify it < 1323014517 120928 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :So... liftA2 (uncurry ($) *** uncurry (<*>)) < 1323014520 447458 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gross < 1323014542 470564 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :@@ @pl @undo do { (a,m') <- m; return (f a, fmap f m') } < 1323014543 967749 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Deewiant: also some maps are asymmetric. like Delta Quadrant for example. < 1323014555 614840 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :kallisti: AKA blizzard's shitty maps < 1323014561 553088 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh wait < 1323014564 495571 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lambdabot still isn't here :-) < 1323014567 460805 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :you can be in a spawn where your natural expansion is toward your opponent, and your opponent's natural is away from you. < 1323014569 281677 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Or anywhere < 1323014571 393094 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :m >>= \(a,m') -> (f a, fmap f m') < 1323014580 876948 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :m >>= f *** fmap f < 1323014585 364686 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fucking arrows < 1323014733 374792 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: what's wrong with arrows again? < 1323014743 41194 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :remind me why I dislike them. < 1323014746 67052 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Satanism, etc. < 1323014801 771529 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :m >>= ap (***) fmap f < 1323014961 980705 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Wow, you made it so that even I can't read it < 1323014972 72922 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: OK, now embetter So... liftA2 (uncurry ($) *** uncurry (<*>)) :P < 1323014973 727946 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :m >>= ((***) <*> fmap) f < 1323015027 17654 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Are you serious < 1323015032 141535 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh < 1323015041 316438 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :That was for the last < 1323015052 535849 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :elliott: Your liftA2 thing doesn't type < 1323015115 628647 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: do { (f, fm') <- fm; (a, am') <- am; return (f a, fm' <*> am') } < 1323015143 751265 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Can't be bothered to mess with that without a @. pl undo or at least @undo pass first :-P < 1323015178 516219 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: fm >>= \(f,x) -> am >>= \(a,y) -> return (f a, x <*> y) < 1323015199 530971 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: fm >>= \(f,x) -> fmap (\(a,y) -> (f a, x <*> y)) am < 1323015209 170960 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That's as far as I can be bothered to go :P < 1323015329 210854 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :fm >>= \(f,x) -> fmap (f *** (x <*>)) am < 1323015343 347332 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :So pointy! < 1323015364 428331 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Can't think of a reduction for that offhand < 1323015393 523020 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: there are programs that can help you with your pointless addiction. < 1323015396 239813 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Well, we need to get \(f,x) -> (f *** (x <*>)), then we just need to compose that with flip fmap am. < 1323015405 978831 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: like... people programs, not computer programs. < 1323015421 234922 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :\(f,x) -> (***) f (x <*>) < 1323015427 987178 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :uncurry (\f x -> (***) f (x <*>)) < 1323015436 821493 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :> f `ap` g < 1323015443 714517 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :...oh < 1323015444 284251 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :right < 1323015451 624832 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :uncurry (\f -> (***) f . (<*>)) < 1323015472 673372 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :The next one involves more than one (.) so I'd probably get it wrong < 1323015480 730541 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Heh < 1323015487 400981 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Perhaps it should stay pointless < 1323015492 916351 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Erm < 1323015493 884456 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Pointful < 1323015523 550306 :azaq23!~derivecto@unaffiliated/azaq23 JOIN :#esoteric < 1323015893 277039 :Klisz!~Klisz@c-67-176-12-54.hsd1.co.comcast.net JOIN :#esoteric < 1323016148 591725 :derrik!~xix@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1323016206 143440 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :fflip (((flip f :: Expr -> Expr -> Expr)) . g) x y < 1323016206 198968 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :f x (g y) < 1323016211 415994 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :*flip < 1323016229 159165 :derrik!~xix@143.122.191.90.dyn.estpak.ee PART :#esoteric < 1323016242 556272 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: ^^^ < 1323016307 755178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :what < 1323016315 970928 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh < 1323016318 565548 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :f = (***) g = (<*>) < 1323016340 809769 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :flip (flip (***) . (<*>))? < 1323016340 902779 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :unfortunately it uses flip < 1323016344 212275 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION doesn't like flip < 1323016351 242452 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :believe so yes. < 1323016435 715093 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :unless you want to rearrange your arguments. < 1323016439 572830 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but I doubt you do. < 1323016471 950247 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :So it's... < 1323016508 362469 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fm >>= flip fmap am . flip (flip (***) . (<*>)) < 1323016511 103918 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Lovely" < 1323016519 101740 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :yes looks nice. < 1323016546 371285 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it would be nice to have more combinators < 1323016574 964196 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :for example f ??? g x y = f (g x) y < 1323016644 407840 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :or... < 1323016648 988275 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :for example f !!! g x y = f y (g x) < 1323016653 881730 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :er < 1323016657 57566 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :for example f !!! g x y = f x (g y) < 1323016698 774614 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: let's make a pointless library!!! :) :) :) :) < 1323016763 670405 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: You realise that's just (<*>)? < 1323016766 651876 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : for example f !!! g x y = f x (g y) < 1323016767 559149 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That one. < 1323016770 672607 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, no, wait. < 1323016776 668181 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :<*> is x z (y z). < 1323016781 709521 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :yep < 1323016789 755023 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I thought the same thing actually < 1323016797 880725 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :when I was working out how to do that pointfreely < 1323016809 756329 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but then I remember it takes the same argument instead of two different ones. < 1323016813 762299 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :flip . ((.) .) < 1323017161 55331 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :why do I keep having these wtf moments < 1323017166 432693 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :where I change some python code < 1323017174 231289 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :and it continues to run on another version for some reason. < 1323017189 806516 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :.pyc? < 1323017195 56938 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :no I checked < 1323017216 82259 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :and even if there were it would still recompile < 1323017308 300824 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :surely I'm just stupid < 1323017329 749937 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but this happens often with no indication of why < 1323017665 891246 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :[[ < 1323017666 316816 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Besides the following is absolutley equivalent: < 1323017666 370040 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :mysql_query("LOCK TABLES mytable WRITE"); < 1323017666 370252 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :try { < 1323017666 370378 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : // ... do lots of queries here < 1323017667 271503 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :} catch (Exception $e) { < 1323017669 320238 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : // do nothing here < 1323017671 350028 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :} < 1323017673 338797 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : mysql_query("UNLOCK TABLES"); < 1323017675 290857 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :The only difference is the second example does rethrow the exception. Though this is still possible (however much more to type) it is wrong design. Since obviously you are using the exceptions as control flow. < 1323017678 159755 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :]] -- php dev justifying noninclusion of "finally" < 1323017697 366489 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Occasionally I try and give PHP developers the benefit of the doubt because, hey, it's not easy to write a VM, they must have *some* modicum of intelligence, right? < 1323017701 371267 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :nooooooooooooooope < 1323017715 556018 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net JOIN :#esoteric < 1323017748 950956 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"And that design looks like Java where it unlike with PHP makes somewhat sense." < 1323017752 269120 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION cries. < 1323017815 277275 :kallisti!~eris@h132.49.18.98.dynamic.ip.windstream.net QUIT :Ping timeout: 244 seconds < 1323017870 114434 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: wat < 1323017873 994655 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :that sentence.... < 1323017875 988613 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti_: http://codu.org/logs/log/_esoteric/2011-12-04#165425elliott < 1323017919 692659 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I like the part where < 1323017921 850192 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it's not equivalent < 1323017938 443747 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :well, not in all situations. < 1323017961 226473 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It's equivalent in no situations. < 1323017986 388157 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Method names are case insensitive, unless you're calling a forwarded method on a FilterIterator, in which case you must include at least one uppercase letter in the method name for it to work. Even if the name of the actual method you're calling does not have one." < 1323017993 113499 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :php :') < 1323018003 958219 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :wat < 1323018006 55252 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :The fuck? :-D < 1323018009 309993 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :perl is weird but like... < 1323018022 490615 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :there's usually some kind of sense behind it, unless it's historically. < 1323018029 44371 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :-ly < 1323018033 6513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: http://www.reddit.com/r/lolphp/comments/kmbpo/method_names_are_case_insensitive_unless_youre/ < 1323018037 277374 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://codepad.org/c7ewg1yc < 1323018676 555727 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh no, Mathnerd314 is in #haskell. < 1323018807 559303 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :for some reason, user names are hidden on that whole subreddit < 1323018937 368804 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: yeah, it's irritating :P < 1323018970 607953 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :for the benefit of everyone who tries to keep their php bashing secret < 1323019007 989134 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :or maybe rasmus lehrdorf puts all this crap in so that he can post it anonymously on lolphp later < 1323019016 872123 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: You can turn off the stylesheet for that subreddit or whatever. < 1323019021 959433 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or just view the soure. < 1323019022 920765 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :source. < 1323019027 471393 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or use the element inspector in $browser. < 1323019481 801327 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :wtf python... < 1323019677 21346 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :hmm, no lolpython or wtfpython reddit :/ < 1323020132 767209 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Where's oerjan when you need him < 1323020136 253600 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: Are you a suitable oerjan < 1323020529 99575 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :http://www.qwantz.com/index.php?comic=1907 < 1323020531 751941 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :teehe < 1323020638 909837 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Slereah! < 1323020647 228837 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Yes! < 1323020698 884711 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :WE MISS YOU < 1323020704 973359 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Also, that is a good Dinosaur Comic. < 1323020721 613388 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Well < 1323020724 270447 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :See, the thing is < 1323020728 719836 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I am bad at programming < 1323020734 701041 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yeah but you've always been that. < 1323020736 553144 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :So I can't really read most discussions here < 1323020741 20507 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :We just want you for the gay sex. < 1323020748 911225 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Like all our most cherished members. < 1323020787 371282 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Well I just go to furnet for that < 1323020943 587241 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I am currently reading up on TIME TRAVEL < 1323020946 648667 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Because it is awesome < 1323020958 497654 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :So maybe instead, we should be talking about TWO DUCKS < 1323020964 937047 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Or any other time-travel related language < 1323021039 858202 :monqy!~swell@pool-71-102-226-192.snloca.dsl-w.verizon.net JOIN :#esoteric < 1323021175 143113 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :elliott: I dunno, try me? < 1323021195 913764 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :olsner: Don't need 'im any more < 1323021197 214486 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Well, probably < 1323021211 487960 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION can surprisingly understand like 50% of what is said. < 1323021215 98138 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Slereah: I have but one duck to offer. < 1323021218 285464 :kallisti_!~eris@h166.42.18.98.dynamic.ip.windstream.net NICK :kallisti < 1323021221 396322 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: We dumb it down just for you! < 1323021229 368994 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :ok, back to watching julian and miles spelunking in sloan's mind then < 1323021272 5174 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :It only works with a pair of ducks I'm afraid < 1323021281 178541 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: even I'm not paranoid enough to believe that. < 1323021284 743262 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :A time pair of ducks < 1323022467 215809 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :what's the purpose of ^^ ? < 1323022470 145047 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric ::t (^^) < 1323022477 101095 :Slereah!~butt@ANantes-259-1-246-67.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :It makes anime eyes < 1323022478 387145 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :just to restrict the type to Fractional instead of Num? < 1323022715 620823 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: (^) can only do integer exponents < 1323022720 409333 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or hm < 1323022725 876089 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i forget what (^^) is < 1323022733 234891 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it probably does something more accurate than repeated multiplication, I reckon < 1323022738 962129 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: it's the same but instead of a Num base it's fractional < 1323022745 142858 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :right < 1323022746 498548 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :see above then < 1323022760 246434 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but it's still an integral power... sooo < 1323022772 262265 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1323022773 372304 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and? < 1323022777 927132 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :> 2 ^ (-4) < 1323022780 227870 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Bah < 1323022785 361273 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ah, right < 1323022787 550850 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :> 2 ^ (-4) < 1323022787 604431 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :*** Exception: Negative exponent < 1323022787 604571 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :> 2 ^^ (-4) < 1323022787 604681 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :6.25e-2 < 1323022810 643270 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Hmm, doesn't (**) work for that though < 1323022823 147106 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I suppose ^^ is just for different types. < 1323022824 186270 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Yes, but (**) is for Floating < 1323022828 441955 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Ah < 1323022838 892663 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: no < 1323022839 472654 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :(^^) is Fractional^Integral, (**) is Floating^Floating < 1323022845 787194 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : > 2 ^ (-4) < 1323022845 841219 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : *** Exception: Negative exponent < 1323022845 841374 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : > 2 ^^ (-4) < 1323022845 841482 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric : 6.25e-2 < 1323022847 934324 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but yeah right what Deewiant said < 1323022859 902663 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Deewiant: Hmm, isn't Rational fractional < 1323022863 514145 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: no what? < 1323022868 446057 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it's not for different types? < 1323022870 679720 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Oh, duh < 1323022877 244320 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: It's not "just" for different types < 1323022881 566580 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It has different behaviour to (^) < 1323022950 501801 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I was talking about ** vs ^^ (which also has different behavior.... as the result of different types) < 1323022975 450071 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Ah. < 1323023896 265528 :DCliche!~Klisz@c-67-176-12-54.hsd1.co.comcast.net JOIN :#esoteric < 1323024106 440194 :Klisz!~Klisz@c-67-176-12-54.hsd1.co.comcast.net QUIT :Ping timeout: 255 seconds < 1323025094 337986 :Ngevd!~Taneb@host-2-99-80-70.as13285.net JOIN :#esoteric < 1323025214 574288 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Hello! < 1323025268 759178 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :hele < 1323025440 337313 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1323025698 727114 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: OH SNAP < 1323025707 833395 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I just got into a free will vs. determinism debate < 1323025709 965045 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :on the internet < 1323025712 255012 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :someone was /wrong/ < 1323025714 143676 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I had to do something < 1323025728 635545 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I... care deeply? < 1323025768 326401 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :I dare creepily < 1323025825 915165 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1323025881 689359 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :What mistake did someone made? < 1323026456 634234 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :zzo38: they thought free will existed. < 1323026464 87740 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION puts a can of worms on the table. He opens it. < 1323026562 476577 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I hope no one likes worms. < 1323026594 896172 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :kallisti: That can be the matter of opinion. If someone is /wrong/ it meant they must get some plain fact wrong, such as the premises of an argument leading to the conclusion that free will existed. < 1323026605 428686 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :zzo38: oh they did that. < 1323026610 9887 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but yes, I agree. < 1323026620 29191 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :determinism is not necessarily right, because we have not proven it. < 1323026623 537004 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :It would be equally wrong if you used wrong premises of an argument that leads to a conclusion that free will is not exist. < 1323026689 520447 :oerjan!oerjan@tyrell.nvg.ntnu.no JOIN :#esoteric < 1323026891 548242 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :My opinion is that the universe works by lazy I/O. < 1323026939 161234 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :it's an interesting hypothesis. it means the universe does not have to simulate exactly the huge parts where there might not live anyone... < 1323026973 569797 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's not really lazy IO is it, it's just plain laziness < 1323026979 366342 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :nah probably a dynamically typed strict imperative functional language with syntax in the form of tokens seperated by whitespace and grouped in lists formed by balanced parentheses. < 1323026987 194311 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I guess it's kind of like Hashlife < 1323026996 63964 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but I don't think you could outright avoid simulating anywhere < 1323026996 234078 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I am not talking about lazy evaluation (which it probably makes no sense to say the universe has it or not), but about lazy I/O. < 1323027000 721163 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :because everything depends on everything else :P < 1323027008 665617 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: well "IO" only really applies if there's an outside the computation is communicating with, no? < 1323027025 781848 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes. so you are addressing the wrong person < 1323027031 583934 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :and still may not apply if you expand to include the outside < 1323027033 469511 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :oerjan: such a life-centric notion, that the universe cares that we're witnessing part of it. < 1323027117 313682 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :kallisti: the opposite alternative is to assume that absolutely every particle in the universe is faithfully simulated. and that's _before_ we consider many-worlds. < 1323027162 995876 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I think many worlds is very... silly. < 1323027210 458330 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :oerjan: also is it really "simulated" if you're the thing that simulations simulate? :P < 1323027237 945843 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes, but no one has afaik found an interpretation of QM which _doesn't_ require the entire wavefunction to exist in some form. < 1323027268 120320 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :this may of course just be a failure of imagination. < 1323027273 356574 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: yes what? < 1323027304 48151 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I think c sort of provides a mechanism for the universe to be lazy < 1323027312 256289 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it could just simulate events when we're able to observe them < 1323027316 630316 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and defer actually running them until then < 1323027322 285367 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :and so on, recursively < 1323027324 439832 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that doesn't reduce work < 1323027325 2239 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :oerjan: Yes I suppose it is possible we have forgotten about some things, but we probably cannot know for sure < 1323027328 737057 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :but it lets it be delayed < 1323027331 66276 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: yes to kallisti. many worlds isn't silly if no one has found an interpretation which is _less_ silly. < 1323027343 67835 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION doesn't find Many Worlds silly at all. < 1323027351 507912 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION finds Copenhagen pretty silly, though. < 1323027371 233538 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION also doesn't think it matters. < 1323027380 267921 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :elliott: it seems to lack parsimony. intuitively it uses an enormous amount of information to calculate a comparatively tiny result. < 1323027394 685586 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :from our perspective. < 1323027400 902329 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: that's just anthropic bias < 1323027409 804523 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: assuming /this/ universe is the "result" < 1323027420 141559 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I suppose such things go well with supernatural beliefs, though >:) < 1323027422 872446 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I think some multiple interpretations might still be valid in case they can change into each other and in case each one makes calculations resulting in the same result; otherwise it might not be. < 1323027433 820285 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well i guess in a sense it's the _least_ silly in that sense that it actually assumes the other possible results also exist rather than are just thrown away. < 1323027445 242167 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :there's also assumptions of "waste"... what is wasteful in the context of the entire universe (or multiple universes)? < 1323027460 118773 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: copenhagen is imperative programming. many worlds is functional! < 1323027468 890606 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: you see, we _are_ the result. the other universes get garbage-collected. < 1323027480 692084 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :copenhagen is just mutating this universe rather than forking new ones off it < 1323027485 165792 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :heh < 1323027487 245066 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :god isn't that inelegant < 1323027576 200716 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :I see nothing silly about many worlds at all. < 1323027610 616321 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :the man reason I think it's silly is that there isn't really any evidence to make such a huge assumption about reality. < 1323027626 691534 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :we have no observation of it taking place. < 1323027629 980647 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: um < 1323027635 859506 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: there's no evidence of _any_ interpretation of QM < 1323027638 378380 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's kind of the point < 1323027644 804841 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :there's no evidence for the Copenhagen interpretation, either < 1323027649 2629 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :sure < 1323027658 497487 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I didn't say that many worlds is the only silly one. :P < 1323027659 232098 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :kallisti: Um, nobody's saying it's absolutely true. We're merely claiming that many worlds seems more reasonable. < 1323027664 765475 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Which is the most that can be said. < 1323027744 440389 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :If the only criterion you care about is "strong amounts of evidence in favor", then all you can say about quantum mechanics that's not 'silly' is "quantum mechanics exists". :P < 1323027802 83107 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I think it's much more reasonable to accept that we have at the moment (or possibly forever) hit a limit in what we can know about reality and to not invent notions, from scientific reuslts, that have no basis. < 1323027833 244283 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: STOP THINKING, EVERYONE!!! < 1323027835 228668 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :IT'S UNREASONABLE! < 1323027841 862752 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :YOU MIGHT _LEARN_ SOMETHING! < 1323027862 401918 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :kallisti: I take it you despise hypothesis. < 1323027871 662948 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Hypotheses, even. < 1323027881 67508 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :not at all. I'm not like a... knowlege fascist or whatever. < 1323027891 345807 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :whatever this position you seem to think I take. < 1323027905 864205 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :The one where you think it unreasonable to hypothesise. < 1323027968 975546 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it's about comparative reasonability. not inventing notions without basis is /more/ reasonable. Sure, you're free to imagine and hypothesize. < 1323028055 941041 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :I strongly suspect you don't actually think like that, you just think it's more 'rational' to do so. < 1323028076 970979 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :sure, that sounds like a better word. < 1323028078 212847 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Unless when you see the side of a house, you think "This side of the house is white" instead of "The house is white"? < 1323028104 574463 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION is not a reasonable person. < 1323028112 976103 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :excuse me, rational. < 1323028146 387161 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :And you're not even proposing rational methods of thought, you're proposing Hollywood rational methods of thought. :) < 1323028155 924806 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I am? < 1323028186 616061 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Yes, you're essentially excluding any form of reasonable inference from limited evidence. < 1323028227 335061 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh god, is kallisti trying to think. < 1323028228 655022 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :It would, of course, be pointless and irrational to assert that such inferences are very *certain*, but it's perfectly reasonable to *draw* said inferences. < 1323028231 43815 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :That never ends well. < 1323028234 649363 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Or starts well. < 1323028243 807864 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Or progresses between the two well. < 1323028278 834498 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but it's not... reasonable. It's reasonable to hypothesize and speculate, but I think it's unreasonable to go any further. < 1323028335 613429 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Um. It's not the case that you have to have 99.9999% certainty for something. You act like it is. < 1323028336 156945 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it's entirely meaningless, for example, to say that many-worlds holds any more merit than Copenhagen, because neither are certain. < 1323028369 908481 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :So you think it's unreasonable to say "here's this system that's quite hard to wrap your mind around; why don't we analogise it with this equivalent system which is easier to comprehend"? < 1323028403 28100 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it could be that our universe is within a large super computer that calculates wavefunction collapse, and that is how it works. we wouldn't be any wiser to this. < 1323028406 9277 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Phantom__Hoover: no that's fine < 1323028422 281464 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :kallisti, because that's all MWI and Copenhagen are. < 1323028422 655822 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :analogies are good learning tools. < 1323028446 875687 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1323028450 294556 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Phantom__Hoover: okay good. I was under the impression that people believed these things or put value into these interpretations as being true in some sense. < 1323028465 199487 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Many Worlds does hold more merit than Copenhagen. Many Worlds is significantly more consistent with other properties of how physics works as far as we know. < 1323028474 766266 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: you realise that we do not _know_ these are untestable? < 1323028484 196270 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: sure. < 1323028486 980694 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :we merely do not know that they are testable. < 1323028491 206259 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :yes. < 1323028495 886160 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :and we haven't tested them. < 1323028496 785803 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :if nobody started with untestable hypotheses, we'd have no science < 1323028502 54547 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :correct. < 1323028506 46316 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :so < 1323028507 425978 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :That said, I'd say that Many Worlds has something like 51% odds of being true, while Copenhagen has something like 40% odds. < 1323028508 249082 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you have no valid complaint < 1323028543 270981 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :pikhq: are you sure that they contradict each other? < 1323028559 411736 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pikhq, ...define 'true'. < 1323028560 420003 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: cool. < 1323028570 824643 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION is done. he has learned stuff. < 1323028575 620826 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: "Actually how quantum mechanics works." < 1323028604 949798 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: Or, if you want me to just rub your face in shit: "The sky is blue" is true if and only if the sky is blue. < 1323028608 559443 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pikhq, ...define "actually how quantum mechanics works". < 1323028624 760381 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: Stop being a numbskull. < 1323028628 336462 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :oh my god what is going on in here < 1323028641 135999 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pikhq is failing to understand modelling. < 1323028651 675591 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :He is insulting me for not sharing his misconceptions. < 1323028671 52405 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: You are certainly not aiding things. < 1323028687 734173 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: Phantom__Hoover is right. < 1323028694 736611 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :perhaps, or perhaps he understands it so well he doesn't bother to mention that that's actually going on every time this is discussed, but is fine with the more intuitive way of stating it. < 1323028697 122182 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :who gives a fuck < 1323028697 911657 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :"Actually how quantum mechanics works" doesn't really make any sense, because QM never referencess an interpretation. < 1323028710 189557 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :elliott: I phrased things poorly. < 1323028714 105649 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes, you did. < 1323028717 208146 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :That's why Phantom__Hoover asked for a definition. < 1323028726 548661 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: This is like going "define purple" if someone says "The sky is purple". It doesn't aid correcting a misunderstanding, it just pisses people off. < 1323028742 174888 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :can we talk about something that has more to do with say algebra < 1323028753 999817 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :wait i'm actually leaving, leave something juicy for the backlog < 1323028760 453013 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oklopol, QM is all group theory, maaaan. < 1323028764 984571 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :(Note, lies.) < 1323028788 85194 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: it's like going "define 'really is'" if you say "The sky really is purple." < 1323028791 532147 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :okay so umm < 1323028793 292607 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :it's more charitable than "no" < 1323028795 426707 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i lost my underpants. < 1323028801 75887 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's also all zeta function realisation or whatever it's called so elliott loves it. < 1323028806 211738 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i guess i'm going ninja turtle. < 1323028807 863039 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: Regularisation. < 1323028810 319233 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: Let's go with s/being true/being a more accurate model/ < 1323028828 613103 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Does Copenhagen suffer from floating-point roundoff errors? < 1323028876 744085 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :elliott: remember when fax/what'sherface told me that the distance of two points in R^2 is *actually* sqrt(x^2 + y^2), and other metrics are not actually distances. < 1323028897 828442 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pikhq, MWI and Copenhagen /are not models/. < 1323028907 834548 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They're ways of /looking/ at a model. < 1323028918 466956 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol: no :) < 1323028950 854757 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :It's like asking whether Lagrangian or "standard" (I don't really know the proper term) mechanics are more accurate. < 1323028979 965501 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Aaah! < 1323028991 921685 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i wish she was here now so i could finally know what the actual distance of two points in S^Z is < 1323028994 928770 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Pandas arrive at Edinburgh Zoo! < 1323029000 578665 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I HATE PANDAS GOD < 1323029011 229216 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Pandas: nature's D student. < 1323029013 367867 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Poll setbacks for Putin's party! < 1323029017 877240 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :THEY MUST BE CONNECTED < 1323029025 858397 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: FUCK YOU < 1323029028 198673 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :PANDAS ARE AWESOME < 1323029029 22158 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :because we regularly use 4 and only two are uniformly equivalent < 1323029033 732286 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I hate pandas; god. < 1323029035 729244 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :(or even topologically) < 1323029037 417217 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Phantom__Hoover: I dislike pandas also < 1323029045 290497 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: FUCK YOU < 1323029058 991956 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : i wish she was here now so i could finally know what the actual distance of two points in S^Z is < 1323029059 610409 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :elliott: NO EVERYONE MUST HAVE /MY/ OPINION, ASSHOLE. < 1323029061 654443 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait S? < 1323029068 105614 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Isn't that the sedenions? < 1323029070 839319 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :elliott: Pandas are carnivores that prefer the least nutritionally dense food possible that they can't even digest well. < 1323029087 504878 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :pikhq: Yeah, and that's the stupidest thing they do. < 1323029091 605112 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :You're *human*. < 1323029098 492172 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Phantom__Hoover: here it's a finite set < 1323029100 792786 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :elliott: And can only barely manage to fuck. < 1323029109 848581 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :And they also regularly kill their children. < 1323029115 751275 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :From *inattention*. < 1323029129 284382 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :s/pandas/humans/ < 1323029144 344750 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: Tell me you hate pandas for a good reason (there are no good reasons pandas are adorable). < 1323029144 432810 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :i guess you could say that the Cantor topology is the actual one, since that's inherited from the finite set whose natural topology is discrete < 1323029148 23777 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :They'd be PERFECT for Dwarf Fortress < 1323029148 765368 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :but w/e have to go < 1323029159 555944 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :kallisti: Pandas typically have twins and ignore one of them. < 1323029170 305038 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :No reason. Just do. < 1323029173 528676 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric : Phantom__Hoover: Tell me you hate pandas for a good reason (there are no good reasons pandas are adorable). < 1323029182 9202 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I hate them just because they're useless? < 1323029186 828582 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :pikhq: maybe it's part of their culture. don't be an insensitive prick. < 1323029189 480484 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :They'll also roll over and crush their cubs. < 1323029194 351720 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :pikhq: (but no really, I think pandas are stupid too.) < 1323029196 773134 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Unfortunately so does pikhq; he always ruins hating things for me. < 1323029206 338012 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Basically the only adaptation they've got is being cute. < 1323029246 460818 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: Humans are pretty useless? < 1323029248 707067 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Nothing eats us. < 1323029258 298527 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :I suppose we're decent at eating other things, but they're all things other things like too. < 1323029270 842731 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :elliott, well yeah, but we don't go around asking other things to help us not die. < 1323029286 703150 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :elliott: The only strictly necessary things for a life form is surviving and reproducing. < 1323029290 163466 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Pandas suck at both. < 1323029294 827731 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Phantom__Hoover: That's only because we were too fucking stupid to and only the dolphins took pity on us. < 1323029306 930175 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ahh. < 1323029313 355404 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pikhq, s/surviving and // < 1323029320 174731 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :They literally prefer to eat the worst possible food *for their own damned digestion*. < 1323029339 544449 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Phantom__Hoover: Surviving until you can reproduce is a prereq of reproduction. < 1323029342 448927 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Thus why it's listed. < 1323029394 282293 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :you forgot "being born" and "the universe must exist" < 1323029399 791845 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I'm sure there are others. < 1323029405 267434 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :other prereqs < 1323029407 967018 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Bah. < 1323029412 649514 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :(looool) < 1323029417 563373 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :as opposed to all that surviving things do without being born < 1323029434 623020 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :indeed < 1323029435 302596 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :elliott: Many things survive without being born. < 1323029437 853039 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :pikhq, hence why surviving is an unnecessary addendum. < 1323029443 676022 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :this conversation < 1323029445 899883 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :Any life form that doesn't do live birth. :) < 1323029446 80811 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :is hilarious < 1323029465 871189 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net PRIVMSG #esoteric :I don't think bacteria are born, for instance. < 1323029519 629154 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :sh, semantics. < 1323029556 798941 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ALLT HINGS ARE BR0N AS THE UNIVRESE ONCWE AWS < 1323029572 254061 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :thep lanets bron < 1323029580 59715 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :the uns < 1323029584 872646 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :the sarts < 1323029740 364243 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :That is not dead which can eternal lie, And with strange aeons death may die. < 1323029741 457746 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :^style < 1323029748 924358 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Hey, where's the bot? < 1323029761 731607 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :RAW >>> :leguin.freenode.net NOTICE fungot :Server Terminating. Received SIGTERM <<< < 1323029764 943851 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Well, that was impolite. < 1323029766 569355 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :HackEgo: EgoBot: locate the missing brots < 1323029776 19265 :fungot!~fungot@momus.zem.fi JOIN :#esoteric < 1323029784 166828 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :^style lovecraft < 1323029784 220168 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Selected style: lovecraft (H. P. Lovecraft's writings) < 1323029786 454600 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :HackEgo: EgoBot: excellent work < 1323029795 307611 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :fungot: So, do you think death may ever die? < 1323029796 301073 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: it was the fnord of m. fnord, gilman dragged himself forward along a course determined by the opportunities it gave for continuing the use of the principle of the small radiating arms was broken off and were missing. what of the fnord < 1323029809 499124 :Deewiant!~deewiant@cs27125254.pp.htv.fi PRIVMSG #esoteric :Yes, what of the fnord. < 1323029811 271946 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :What of the fnord! Indeed. < 1323029822 778458 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :fizzie: fungot: I wonder if there are any transcripts of the dialogue in Starcraft I and Starcraft Brood Wars < 1323029823 662041 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :kallisti: it is dark not the darkness that is part of the accursedly resculptured wall in a series of cartouches the continuous band arrangement being frequently interrupted in these late carvings depicting a constantly growing migration to the nearest fnord. once inside one of the most ancient one cease to flow forth. < 1323029881 46902 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :fungot: You sound like a madman. < 1323029882 100657 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: so randolph carter thanked the zoogs, for one thing; and after its fnord in the form of titanic egyptian letters spelling terrible primal arcana of earth; and thereafter a still more elaborate theory, and believed he would try to keep track of his somnambulism. as he planned, he could not < 1323029936 677215 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :fungot: In Ulthar, no man may kill a cat. True or false? < 1323029937 686487 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :fizzie: the hill's summit by safer routes they saw that fnord the fnord hear strange murmurings and half-remembered notes. woods and fields, he had slipped out unseen and fnord boldly in past the men hired to guard him. that was in 1692 the fnord had gone mad and babbled of a small seaport. < 1323030046 621345 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :it is dark not the darkness that is part of the accursedly resculptured wall in a series of cartouches the continuous band arrangement being frequently interrupted in these late carvings depicting a constantly growing migration to the nearest fnord. once inside one of the most ancient one cease to flow forth. -- Benjamin Franklin < 1323030666 148465 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric : Well, that was impolite. <-- there was a previous admin warning < 1323030798 370318 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :oerjan, about the server? < 1323030870 680328 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yes < 1323030893 304824 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :leguin and a couple of others were being updated < 1323031282 729587 :Gregor!foobar@codu.org PRIVMSG #esoteric :IOCCC submitteddddddddd < 1323031302 866989 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: more like < 1323031304 296096 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :subCRAPPED < 1323031306 362795 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :OH SNAP < 1323031324 195277 :Gregor!foobar@codu.org PRIVMSG #esoteric :MOAR LIKE SUBWHYSHOULDELLIOTTEVENBOTHERWHENGREGORSGONNAWIN < 1323031390 293559 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :More like subTITLED. Wait, that made no sense. < 1323031415 484258 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :More like the pain has now subSIDED. < 1323031451 678088 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :Gregor: do you send your papers directly to journals or do you go to conferences first? (i'm wondering how likely it is that i'll see esolang people in a conference sometime, that'd be awesome, but ais seems pretty useless at least) < 1323031461 565766 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ais523: :'( < 1323031478 608106 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I made a class IsNatural and a type family Lesser. Now how would I encode number theory in the type system? Would I somehow encode the Poeano postulates? I don't know? < 1323031480 188549 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :More like the subBAND STRUCTURE OF II-VI MODULATION-DOPED MAGNETIC QUANTUM WELLS. < 1323031488 195940 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :oklopol: my papers have all been conference papers so far < 1323031493 249273 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :fizzie: ilu < 1323031497 214148 :Gregor!foobar@codu.org PRIVMSG #esoteric :oklopol: Conferences. < 1323031498 583680 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: data Z; data S n < 1323031499 496181 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :which conferences? < 1323031505 26534 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :but I suspect I end up in different sorts of conferences to you < 1323031513 664274 :Gregor!foobar@codu.org PRIVMSG #esoteric :oklopol: ECOOP, OOPSLA, PLDI primarily. < 1323031516 580679 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oklopol just goes to pimping conferences. < 1323031519 227402 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yes but the big ones take all kinds of crap < 1323031521 373384 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :so far, they've been to MFPS, POPL, and ICFP (in that order); I only went to the first of them < 1323031527 406302 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :elliott: Well I already have data Zero and Maybe < 1323031547 420225 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: then you're done :) define addition with type families or typeclasses with functional dependencies < 1323031579 707696 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK. < 1323031595 730887 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But can that work to make proof by functions? < 1323031611 99488 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :yeah obviously none of those are general enough < 1323031613 824737 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Sure, with GADTs. < 1323031615 833348 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :At first I thought of using bijective function type but Haskell doesn't have that, so I try a different way. < 1323031638 475793 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: data a :=: b where EqZZ :: Z :=: Z; EqSS :: a :=: b -> S a :=: S b < 1323031645 818272 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :and i assume fizzie's are even stupider, fizzie: can i have a list? < 1323031648 919932 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :or you could just go all the way < 1323031654 117430 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :data a :=: b where Refl :: a :=: a < 1323031662 100918 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :foo :: a :=: b -> t a :=: t b < 1323031663 778763 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :foo Refl = Refl < 1323031682 612119 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :O, that is how it works. < 1323031695 202263 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh, wait, you actually need < 1323031695 859997 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :newtype Lift f a b = Lift { unlift :: f a := f b } < 1323031696 5756 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :-- | You can lift equality into any type constructor < 1323031696 60260 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lift :: a := b -> f a := f b < 1323031696 60407 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :lift a = unlift (subst a (Lift id)) < 1323031697 81484 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :for that < 1323031698 138866 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :oklopol: Possibly a majority of our speech-related conference papers go to Interspeech, ICASSP and EUSIPCO; there's quite a lot more, but I think they're mostly quite specific too. < 1323031707 118186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :oh no wait < 1323031709 478489 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :that's leibnizian equality < 1323031714 236495 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :yeah my foo definition should work fine < 1323031758 25995 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :ASRU, too. < 1323031814 896992 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :maybe i should write something up for mfps, that almost sounds like a real conference < 1323031859 700671 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :of course we need to do some syncing with ais, perhaps not in a few years though < 1323032001 598034 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Many Fake Proceedings Scam < 1323032022 459681 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :real? i think not! < 1323032156 998763 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Massively Fraudulent, Positively Shady. Sure, that's the best conference. < 1323032232 803547 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Do I need to add constructors for addition and multiplication? < 1323032248 803409 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :no < 1323032355 562905 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Mafia Facade Pretending Science < 1323032404 173727 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :And exponent? < 1323032410 332887 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :Manifested Fructose Protagonist Society < 1323032439 476771 :fizzie!fis@iris.zem.fi PRIVMSG #esoteric :Mishandled Facts Proudly Submitted. < 1323032462 651147 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :My Friends Presenting Shit < 1323032467 574757 :copumpkin!~pumpkin@unaffiliated/pumpkingod QUIT :Quit: Computer has gone to sleep. < 1323032523 439388 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :zzo38: I don't know about that one. < 1323032550 903443 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :_<0 < 1323032585 674193 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :),} < 1323032828 693699 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: no < 1323032882 466638 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :kkkkkkkkkkkk < 1323032886 417930 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :kallisti: ((t<<1)^((t<<1)+(t>>7)&t>>12))|t>>(4-(1^7&(t>>19)))|t>>7 < 1323032886 976348 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :http://canonical.org/~kragen/bytebeat/crowd.ogg < 1323032951 55159 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :those bitshifts are sexy. < 1323032965 455932 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION changes pants. < 1323033046 25640 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :I like how it uses + - << >> & ^ and | < 1323033138 912184 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :but it's actually kind of rhythmically boring. < 1323033165 621528 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :ACTION is a snobby 8-bit C music critic. < 1323033520 792853 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1323033635 6761 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :mmkay, so the war on the dominion is over and everone's happy but there are 30 more minutes left of the series < 1323033640 144985 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :plenty of time to fuck it up then < 1323033678 927899 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric ::D < 1323033775 368139 :kallisti!~eris@h166.42.18.98.dynamic.ip.windstream.net PRIVMSG #esoteric :hypothetical roleplaying scenario: you're in a Hilbert space, there are ket-vectors everywhere. What do you do? < 1323033826 508112 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :take of your bra and just go with the flow. < 1323033828 761019 :oklopol!~oklopol@dyn58-57.yok.fi PRIVMSG #esoteric :*off < 1323033966 517687 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PART :#esoteric < 1323033971 735446 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com JOIN :#esoteric < 1323034337 415166 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: do you have the fix patch for Dungeons of Dredmor? the forum wants me to create an account to download it < 1323034356 679294 :derdon!~derdon@p5DE8947D.dip.t-dialin.net JOIN :#esoteric < 1323034364 320215 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :I couldn't get the patch to work < 1323034392 619573 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :hmm, < 1323034404 452730 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :I'm getting crashes occasionally on dlevel 2 and consistently on dlevel 3 < 1323034432 500010 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :I got them often on level 1 < 1323034643 599028 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: I see that you're back in #haskell. < 1323034678 641186 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Tell that vrook guy that CPP is only used for cabal version constraints and other uses can be replaced by TH. < 1323034679 980988 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Or don't. < 1323034683 369975 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :But I promised I wouldn't say anything more! < 1323034709 988376 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Being in #haskell is so much *fun*. < 1323034712 664767 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: That doesn't stop you from... What's the word? < 1323034713 135840 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Fun in the derogatory sense. < 1323034725 915546 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Oh, yes. It doesn't stop you from mad. < 1323034725 968864 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Killing fishes? < 1323034730 265513 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Ah. < 1323034731 659877 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :ACTION mad < 1323034734 121937 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`? shachaf < 1323034736 364361 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf mad < 1323034741 969362 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`rm wisdom/shachaf < 1323034744 190959 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323034755 368129 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`? shachaf < 1323034757 306187 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf mad < 1323034788 990258 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`ls wisdom < 1323034791 552686 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​? \ ais523 \ augur \ banach-tarski \ c \ cakeprophet \ category \ elliott \ everyone \ finland \ finns \ fizzie \ flower \ friendship \ functor \ fungot \ gregor \ hackego \ haskell \ ievan \ intercal \ itidus20 \ kallisti \ mad \ monad \ monads \ monoid \ monqy \ nooga \ oerjan \ oklopol \ phantom__hoover \ phantom_hoover \ php \ qdb \ qdbformat \ quine \ sgeo \ shachaf \ u \ vorpal \ welcome \ wiki \ you < 1323034793 81085 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`rm wisdom/shachaf < 1323034794 337283 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? shachaf < 1323034796 525252 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323034796 821570 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf mad < 1323034816 817521 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`run rm wisdom/shachaf; \? shachaf < 1323034818 929141 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf? ¯\(°_o)/¯ < 1323034825 956333 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`? shachaf < 1323034827 786723 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf mad < 1323034851 383658 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :"Mad call I it; for, to define true madness, what is't but to be nothing else but mad?" < 1323034855 364544 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :But let that go. < 1323034917 221255 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Let what go? < 1323034922 658060 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :It only remains because you remain mad. < 1323034927 407046 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :`? mad < 1323034929 516713 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​"But I don't want to go among mad people," Alice remarked. "Oh, you can't help that," said the Cat: "we're all mad here. I'm mad. You're mad." "How do you know I'm mad?" said Alice. "You must be," said the Cat, "or you wouldn't have come here." < 1323034929 821317 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Eliminate the madness and you eliminate the mad. < 1323034954 571738 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Eliminate the mad and you eliminate the mad. < 1323034965 205457 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :ACTION ain't even mad < 1323034979 530814 :Gregor!foobar@codu.org PRIVMSG #esoteric :ACTION steals your cake. < 1323035002 133206 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :shachaf: that's in flagrant violation of all the evidence < 1323035016 311346 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :oerjan: What, do I seem mad? < 1323035048 102357 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :you seem to be _here_. note above quote. < 1323035080 366515 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :If you let it go you are nothing at all. < 1323035097 612162 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :"That he is mad, 'tis true: 'tis true 'tis pity; And pity 'tis 'tis true" < 1323035113 730787 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? elliott < 1323035115 589078 :HackEgo!foobar@codu.org PRIVMSG #esoteric :elliott wrote this learn DB, and wrote or improved many of the other commands in this bot. He probably has done other things? < 1323035133 201951 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`cat wisdom/shachaf < 1323035135 223968 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf mad < 1323035141 494276 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`run echo elliott mad > wisdom/elliott < 1323035143 414525 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323035148 834273 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? elliott < 1323035149 953123 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :NOOOOOOOOOOOOOOOO < 1323035151 162750 :HackEgo!foobar@codu.org PRIVMSG #esoteric :elliott mad < 1323035156 613586 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? oerjan < 1323035158 580577 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Your future evil overlord oerjan is an expert in lazy computation. < 1323035164 670951 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`run echo oerjan mad > wisdom/oerjan < 1323035166 790882 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323035169 311246 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :it was a genuine zzo38 production! < 1323035184 404056 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i'll ban you for that. eventually. < 1323035184 859332 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Wait, what was? < 1323035194 970206 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the `? elliott one < 1323035202 122837 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :elliott: You're saying more words, aren't you. < 1323035207 390842 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert 1199 < 1323035208 551020 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1323035211 257469 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`revert 1 < 1323035213 122604 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1323035213 176529 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf is awfully mad about this whole thing. < 1323035214 285500 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`ls < 1323035214 639679 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well, or it looks like one, anyhow. < 1323035215 978286 :HackEgo!foobar@codu.org PRIVMSG #esoteric :bin \ canary \ karma \ lib \ paste \ quotes \ share \ wisdom < 1323035218 598687 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`revert 1199 < 1323035219 12556 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`ls wisdom < 1323035220 258057 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1323035230 611623 :Gregor!foobar@codu.org PRIVMSG #esoteric :`? Gregor < 1323035233 20867 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Gregor took forty cakes. He took 40 cakes. That's as many as four tens. And that's terrible. < 1323035234 688994 :HackEgo!foobar@codu.org PRIVMSG #esoteric :ls: cannot access wisdom: No such file or directory < 1323035249 150898 :Gregor!foobar@codu.org PRIVMSG #esoteric :elliott: Transactions done yet :P < 1323035267 388858 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Gregor: Yeah, they just don't happen to work. < 1323035291 110786 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? ? < 1323035293 264713 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​? is wisdom < 1323035300 317487 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? oerjan < 1323035302 353733 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Your future evil overlord oerjan is an expert in lazy computation. < 1323035353 437960 :Gregor!foobar@codu.org PRIVMSG #esoteric :`run echo 'Your evil overlord oerjan is a lazy expert in future computation.' > wisdom/oerjan < 1323035355 643647 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323035376 25007 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :close enough. < 1323035407 130517 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :ACTION doesn't get the 40 cakes thing. < 1323035415 588926 :Gregor!foobar@codu.org PRIVMSG #esoteric :"What's the most efficient way to compute this?" "Eh, I'll do it later." < 1323035441 131226 :Gregor!foobar@codu.org PRIVMSG #esoteric :shachaf: That's terrible. < 1323035482 538605 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`run spot run < 1323035484 564635 :HackEgo!foobar@codu.org PRIVMSG #esoteric :bash: spot: command not found < 1323035572 503168 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :shachaf: http://knowyourmeme.com/memes/lex-luthor-took-forty-cakes < 1323035812 438380 :lambdabot!~lambdabot@li85-105.members.linode.com JOIN :#esoteric < 1323035819 218405 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? oklopol < 1323035821 497129 :HackEgo!foobar@codu.org PRIVMSG #esoteric :oklopol "so i hear these blogs are getting popular, people like writing about their lives and shit. on this thing called the internet which is like a neural network only really stupid." < 1323035855 694497 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Curious now < 1323035860 31308 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :And narcissistic < 1323035865 49378 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :`? Taneb < 1323035866 905049 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Taneb? ¯\(°_o)/¯ < 1323035871 509722 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :`? Ngevd < 1323035873 723581 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Ngevd? ¯\(°_o)/¯ < 1323035876 406547 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Aww < 1323035917 651785 :Gregor!foobar@codu.org PRIVMSG #esoteric :`run ln -s /dev/urandom wisdom/ngevd < 1323035919 860565 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323035933 457355 :Gregor!foobar@codu.org PRIVMSG #esoteric :Today in Good Ideas 101... < 1323035942 21188 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well it _is_ your bot < 1323035943 13542 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? Ngevd < 1323035944 891604 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​.>N.vlx4Zw.ozuT..j.+x..})eV^a.} D$gK.4G&ro4o.. ".O1.Ӊ>&d2Vl3 < 1323035958 257391 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :`? Ngevd < 1323035959 900971 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :That's me, all right < 1323035959 954700 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​S4n5W.3,p+ޓ6t.s憏..+@t.ig:..K圷G.>t..ND[Ml'y?.f`'H=K'Cd..}* < 1323035962 432414 :Gregor!foobar@codu.org PRIVMSG #esoteric :It's hard to argue with that. < 1323035962 550106 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :Yes. < 1323035990 123102 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`ln -sf /dev/null wisdom/shachaf < 1323035992 168333 :HackEgo!foobar@codu.org PRIVMSG #esoteric :ln: invalid option -- ' ' \ Try `ln --help' for more information. < 1323035993 983217 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Ngevd, dammit, why did you get the Best Wisdom. < 1323036000 9805 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`run ln -sf /dev/null wisdom/shachaf < 1323036001 734826 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? shachaf < 1323036002 169536 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323036003 773050 :HackEgo!foobar@codu.org PRIVMSG #esoteric :shachaf mad < 1323036012 506120 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`cat bin/\? < 1323036014 115653 :HackEgo!foobar@codu.org PRIVMSG #esoteric :cat: bin/\?: No such file or directory < 1323036024 926819 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`cat bin/? < 1323036026 755636 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​#!/bin/sh \ topic=$(echo "$1" | tr A-Z a-z) \ [ -e "wisdom/$topic" ] || { echo "$1? ¯\(°_o)/¯"; exit 1; } \ cat "wisdom/$topic" \ < 1323036036 988627 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? P < 1323036039 377049 :HackEgo!foobar@codu.org PRIVMSG #esoteric :P? ¯\(°_o)/¯ < 1323036039 479292 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? Phantom__Hoover < 1323036041 397503 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Phantom__Hoover can't decide what an appropriate number of underscores is. < 1323036056 78351 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Oh, of course. < 1323036058 246544 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? Phantom_Hoover < 1323036060 315824 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Phantom_Hoover is a true Scotsman and hatheist. < 1323036079 250583 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Wait how can I *be* a hatheist? < 1323036112 453517 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :a true scotsman can be anything. < 1323036132 621417 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Except an Englishman. < 1323036134 897440 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :I like how elliott is still talking in #haskell. < 1323036143 491288 :Gregor!foobar@codu.org PRIVMSG #esoteric :`? ../bin/quote < 1323036145 279956 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​#!/bin/sh \ allquotes | if [ "$1" ]; then \ if expr "$1" + 0 >/dev/null 2>&1; then \ sed "$1q;d" \ else \ egrep -i -- "$1" \ fi \ else shuf -n 1; fi < 1323036146 476139 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Arguing with vrook, no less. < 1323036147 586768 :Gregor!foobar@codu.org PRIVMSG #esoteric :lol < 1323036153 125151 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Shhhhhhh. < 1323036157 11906 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well ok a true scotsman can be anything except an englishman. < 1323036174 568783 :Gregor!foobar@codu.org PRIVMSG #esoteric :`learn ../bin/quote was the way to access the quote database until Gregor broke it. < 1323036176 895187 :HackEgo!foobar@codu.org PRIVMSG #esoteric :I knew that. < 1323036184 167140 :Gregor!foobar@codu.org PRIVMSG #esoteric :>_> < 1323036185 14917 :Gregor!foobar@codu.org PRIVMSG #esoteric :<_< < 1323036193 308413 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`quote < 1323036196 415214 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​/hackenv/bin/quote: line 1: ../bin/quote: No such file or directory < 1323036210 190350 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :O KAY < 1323036217 636381 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`run cd wisdom; quote < 1323036246 912355 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​../bin/quote: fork: retry: Resource temporarily unavailable \ ../bin/quote: fork: retry: Resource temporarily unavailable \ ../bin/quote: fork: retry: Resource temporarily unavailable \ ../bin/quote: fork: retry: Resource temporarily unavailable \ ../bin/quote: fork: Resource temporarily unavailable < 1323036251 864544 :Gregor!foobar@codu.org PRIVMSG #esoteric :lol < 1323036257 845715 :Gregor!foobar@codu.org PRIVMSG #esoteric :`revert 1207 < 1323036259 222310 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Done. < 1323036283 31072 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? Phantom___Hoover < 1323036284 926614 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Phantom___Hoover? ¯\(°_o)/¯ < 1323036285 810782 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :`? shachaf < 1323036300 604102 :HackEgo!foobar@codu.org PRIVMSG #esoteric :No output. < 1323036340 827895 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :`? Ngevd < 1323036342 562142 :HackEgo!foobar@codu.org PRIVMSG #esoteric :​שH.w|C*!.ë`D.Q0V..a.!AN.vu.Ѥ=xӋ2.XPt.j.4Vf*ҶpcG.(~M".S5%>..GcՄHY@>....w̓N.W4JO&.5QX..#:T..O.. \ ވ/#Zٙ....5/z}q.fկi)(.X`v/ܟE...Pea%]Ԑf.FO".. < 1323036413 189995 :Gregor!foobar@codu.org PRIVMSG #esoteric :I gotta say. < 1323036416 301141 :Gregor!foobar@codu.org PRIVMSG #esoteric :That's the best wisdom entry. < 1323036421 98802 :Gregor!foobar@codu.org PRIVMSG #esoteric :Can't deny that. < 1323036439 504943 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :Ngevd: Whence "Ngevd"? < 1323036452 99138 :shachaf!~shachaf@204.109.63.130 PRIVMSG #esoteric :And also, how is it pronounced? < 1323036453 893771 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :It's my initails < 1323036474 729570 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :it starts with "ing" without the i < 1323036488 26427 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Then "revved" without the r < 1323036488 457355 :Gregor!foobar@codu.org PRIVMSG #esoteric :Ngevd: With plosive? < 1323036536 866149 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Hmm < 1323036539 510689 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :I don't think so < 1323036546 582910 :Gregor!foobar@codu.org PRIVMSG #esoteric :Good :P < 1323036571 981078 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :I had a momenteray lapse of knowledge of phonetics < 1323036606 860842 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :I think the ng may be aspirated, though < 1323036628 892320 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Strictly speaking, my initials are NGvD < 1323036651 605487 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :the e is just for elliott clone < 1323036654 424610 :lambdabot!~lambdabot@li85-105.members.linode.com QUIT :Remote host closed the connection < 1323036656 208860 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :The G comes from my great-grandfather, George Elliott Moscrop < 1323036661 812346 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Hence the E < 1323036665 165623 :Gregor!foobar@codu.org PRIVMSG #esoteric :oerjan: lol, you were right. < 1323036683 640876 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :He was named after his father, George Elliott Moscrop Senior < 1323036688 254034 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Who was named after his mother < 1323036692 35475 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :... < 1323036759 82234 :Gregor!foobar@codu.org PRIVMSG #esoteric :I was named after my grandfather, Dodifer Chauncy Wertheimer. < 1323036764 180139 :Gregor!foobar@codu.org PRIVMSG #esoteric :Luckily I inherited none of his names. < 1323036794 54074 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Jane Elliott < 1323036802 302422 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :it would have been awkward if you were named _before_ him. < 1323036816 340973 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :It's an idiom, dammit < 1323036833 805594 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric ::( < 1323036842 844338 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Ngevd: Gregor broke it first < 1323036874 391359 :lambdabot!~lambdabot@li85-105.members.linode.com JOIN :#esoteric < 1323036897 405093 :Gregor!foobar@codu.org PRIVMSG #esoteric :PS people whose nicks are their real names are the best kind of people. < 1323036907 229835 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :yeah < 1323036916 315069 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Yeah, like FireFly < 1323036932 479596 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :ACTION swats FireFly -----### < 1323036936 399079 :Gregor!foobar@codu.org PRIVMSG #esoteric :And Coppro "Pooppy" Sophicles < 1323037167 554946 :Gregor!foobar@codu.org PRIVMSG #esoteric :`? coppro < 1323037169 635987 :HackEgo!foobar@codu.org PRIVMSG #esoteric :coppro? ¯\(°_o)/¯ < 1323037179 417539 :Gregor!foobar@codu.org PRIVMSG #esoteric :`learn coppro prefers his nickname, Pooppy. < 1323037181 791472 :HackEgo!foobar@codu.org PRIVMSG #esoteric :I knew that. < 1323037190 795869 :olsner!~salparot@c83-252-161-133.bredband.comhem.se PRIVMSG #esoteric :`? coppro < 1323037192 312103 :HackEgo!foobar@codu.org PRIVMSG #esoteric :coppro prefers his nickname, Pooppy. < 1323037300 370216 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :pooppy the sailor < 1323037481 793390 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :How would I include the rule of induction into the Haskell code I have? < 1323037544 520163 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1323037838 822503 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? zzo38 < 1323037840 738900 :HackEgo!foobar@codu.org PRIVMSG #esoteric :zzo38? ¯\(°_o)/¯ < 1323037936 373346 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`learn zzo38 is not actually the next version of fungot, much as it may seem. < 1323037937 95460 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom__Hoover: it is impossible for me to endure again. and the king bade him put away his tattered purple, crowned with fnord vine-leaves and gazing ahead as if upon the golden domes of gigantic cities glittering on the infinitely distant horizon. < 1323037938 781757 :HackEgo!foobar@codu.org PRIVMSG #esoteric :I knew that. < 1323038021 467092 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :fnord vine-leaves, the best kind. < 1323038181 84254 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? fungot < 1323038181 893391 :fungot!~fungot@momus.zem.fi PRIVMSG #esoteric :Phantom__Hoover: just when my fancy merged into real sight i cannot tell; but there came a recollection of those ancient ways and shadow forth the fnord of that life, and of helping him explain the situation to the proper fnord authorities. to this end he employs endless notes, records, mnemonic objects, and < 1323038183 209141 :HackEgo!foobar@codu.org PRIVMSG #esoteric :fungot cannot be stopped by that sword alone. < 1323038915 693759 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? HackEgo < 1323038917 922520 :HackEgo!foobar@codu.org PRIVMSG #esoteric :HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. < 1323038937 121909 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? EgoBot < 1323038939 383981 :HackEgo!foobar@codu.org PRIVMSG #esoteric :EgoBot? ¯\(°_o)/¯ < 1323038962 885228 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :`? oerjan < 1323038965 28602 :HackEgo!foobar@codu.org PRIVMSG #esoteric :Your evil overlord oerjan is a lazy expert in future computation. < 1323038982 827741 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :I should probably stop now. < 1323039441 892085 :Guest12461!~quintopia@74.117.159.204 NICK :quintopia < 1323039455 959770 :quintopia!~quintopia@74.117.159.204 QUIT :Changing host < 1323039456 13296 :quintopia!~quintopia@unaffiliated/quintopia JOIN :#esoteric < 1323039471 10155 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :how did i become not quintopia? < 1323039714 811035 :Gregor!foobar@codu.org PRIVMSG #esoteric :By lack of AUTHENTICATION. < 1323039965 923534 :Ik4ru5!~Adium@HSI-KBW-078-043-120-044.hsi4.kabel-badenwuerttemberg.de JOIN :#esoteric < 1323039987 480273 :Gregor!foobar@codu.org PRIVMSG #esoteric :Yowsa. < 1323039996 864661 :Ik4ru5!~Adium@HSI-KBW-078-043-120-044.hsi4.kabel-badenwuerttemberg.de PART :#esoteric < 1323040015 496576 :Gregor!foobar@codu.org PRIVMSG #esoteric :lol < 1323040088 661154 :S2GUARD!~Guard@88.235.57.232 JOIN :#esoteric < 1323040088 714691 :S2GUARD!~Guard@88.235.57.232 QUIT :Excess Flood < 1323040102 584605 :S2GUARD!~Guard@88.235.57.232 JOIN :#esoteric < 1323040102 639200 :S2GUARD!~Guard@88.235.57.232 QUIT :Excess Flood < 1323040112 618678 :Gregor!foobar@codu.org PRIVMSG #esoteric :Promising. < 1323040120 173067 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i'd say < 1323040124 717854 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :ACTION → sleep < 1323040127 313134 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1323040130 935503 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Are these names names? < 1323040139 870442 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :which names? < 1323040150 903288 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Ik4ru5 and S2GUARD < 1323040176 862809 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :well the first is pretty clearly icarus in 1337 < 1323040189 76315 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :So it does < 1323040226 404216 :Gregor!foobar@codu.org PRIVMSG #esoteric :And the other one guards stoo'. < 1323040246 293372 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Or lives in Stutgart? < 1323040247 199912 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :Gregor: probably a colleague of pooppy, then. < 1323040253 743496 :Gregor!foobar@codu.org PRIVMSG #esoteric :oerjan: Quite possible. < 1323040293 955362 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :unless it's pooppy's parole officer < 1323040610 96685 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Is this OK? class Classical x => IsNatural x where { selfEqual :: x :=: x; induction :: (forall y. IsNatural y => f y -> f (Maybe y)) -> f Zero -> f x; }; < 1323040638 42229 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: x :=: x is true for all x < 1323040643 25493 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :well, depends what your (:=:) is < 1323040668 983244 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I certainly could make a constructor for :=: making that unnecessary, I suppose. < 1323040680 83114 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :the constructor is called Refl :P < 1323040683 388637 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :But is the type signature for induction correct? < 1323040710 676384 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :sure. it forces x to be either Zero or Maybe n, so you don't even need selfEqual with an (:=:) that only works on nats < 1323040715 798643 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :you can _prove_ it with induction < 1323040783 333530 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :define f x = (x :=: x). then it becomes (forall y. IsNatural y => y := y -> Maybe y :=: Maybe y) -> Zero :=: Zero -> x :=: x < 1323040787 508443 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :easy < 1323040998 654567 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes, I can see how that works. < 1323041315 613608 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :How do you define the induction for instance IsNatural x => IsNatural (Maybe x) < 1323041405 38273 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :zzo38: instance (IsNatural a) => IsNatural (Maybe a) where induction s = s . induction s < 1323041442 3401 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :OK, thanks that works < 1323042762 327846 :pikhq_!~pikhq@71-219-254-53.clsp.qwest.net JOIN :#esoteric < 1323042770 800543 :pikhq!~pikhq@174-22-145-84.clsp.qwest.net QUIT :Ping timeout: 244 seconds < 1323042846 458138 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :O, now I need a Classical instance for :=: as well < 1323042858 856421 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :shouldn't be hard < 1323042864 646829 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i forget what Classical is though < 1323042870 258143 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Yes. < 1323042878 950704 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :Classical is class for the law of excluded middle < 1323042914 739747 :elliott!elliott@unaffiliated/elliott PRIVMSG #esoteric :i mean, the contents < 1323042943 257229 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :lem :: Classical x => Either x (Not x); < 1323043041 582240 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :I probably would need to add the rule that zero is not the successor of any number, at first < 1323043071 42659 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :i suspect it may be impossible to derive Classical for quantified propositions < 1323043128 716336 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Hang on, are you doing number theory in Haskell? < 1323043134 982957 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :That means it is time for me to go to sleep < 1323043137 653539 :zzo38!~zzo38@h24-207-49-17.dlt.dccnet.com PRIVMSG #esoteric :oerjan: Yes, that seems the problem too < 1323043138 907940 :Ngevd!~Taneb@host-2-99-80-70.as13285.net PRIVMSG #esoteric :Goodnight < 1323043143 28752 :Ngevd!~Taneb@host-2-99-80-70.as13285.net QUIT :Quit: Goodbye < 1323043172 907201 :oerjan!oerjan@tyrell.nvg.ntnu.no PRIVMSG #esoteric :because if a proposition is undecidable, then obviously you cannot derive either p or Not p