< 1348272009 807901 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Good night < 1348272856 800037 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I'm not sure if Clojure's community is a good thing or a bad thing < 1348272865 113743 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :On the one hand, lots of libraries, many of them good < 1348272870 379190 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :On the other hand, so many idiots < 1348272905 268316 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :zzo38: put a weak pull-up resistor on the bus, and require that any connected device drives the bus low when idle < 1348273487 378406 :jaboja!~kvirc@ers19.neoplus.adsl.tpnet.pl QUIT :Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/ < 1348274096 89662 :DHeadshot!~DH____@unaffiliated/dh----/x-6288474 JOIN :#esoteric < 1348275413 872143 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1348275494 631203 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hi < 1348275970 975447 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :kmc: OK, well, I suppose it could be used on one pin to specify whether or not a program can be loaded from the device. < 1348276173 742867 :JaBoJa!~JaBoJa@public-gprs307350.centertel.pl JOIN :#esoteric < 1348276398 431817 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, if you have a dedicated pin then the cartridge can just short that pin to ground < 1348276453 653501 :Lumpio-!~user@62-113-182-248.bb.dnainternet.fi PRIVMSG #esoteric :Just do a standard protocol like USB < 1348276754 314771 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It isn't USB. It is a memory address/data bus, and a few other things such as clock, audio, and some general purpose I/O. < 1348277136 728565 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Quit: Leaving < 1348277871 521991 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1348278092 138784 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm having a bit of a doubt < 1348278167 155665 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Turing machines do not have a finite number of possible states, right? < 1348278199 488571 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :otherwise all programs would be known to halt because they would necessarily either stop or be periodic < 1348278219 105835 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :uh, I mean, they wouldn't necessarily halt but the halting problem would be solved < 1348278234 842562 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the "head" of the machine has a finite set of states < 1348278243 432611 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but the tape can grow without bound < 1348278247 556546 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yep < 1348278267 643280 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so a language which doesn't have this infinity possibility, that's what we call a finite-state automaton? < 1348278296 486343 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :there are non-infinite machines other than finite state automata < 1348278310 727477 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :for example, the pushdown automaton is intermediate in power between a finite state machine and a turing machine < 1348278310 745984 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, ok < 1348278328 506170 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :also be careful, the word "language" in computability theory does not mean the same as "programming language" < 1348278336 271706 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :in computability a language is just a set of strings < 1348278345 59610 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :we don't assign meaning to the strings; we just ask whether they're in the set or not < 1348278414 768532 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :right < 1348278425 329611 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so "programming language" you call "machine"? < 1348278437 789928 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :maybe < 1348278440 430819 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I mean intuitively I'd say the "machine" is a particular program < 1348278445 465189 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1348278455 378783 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so the programming language would be "the set of all machines" < 1348278459 629058 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :languages are types of machines, then < 1348278464 96336 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yes < 1348278466 809525 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but for turing machines there is a universal machine < 1348278481 350338 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :any turing machine can be emulated by passing some initial state to the universal machine < 1348278487 221026 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1348278496 640174 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :right < 1348278520 406463 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and of course "initial state" can be seen as an input, so basically a unversal turing machine is an interpreter? < 1348278524 245680 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1348278553 58214 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :when you're viewing turing machines as functions, the input is the initial state of the tape < 1348278607 917097 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok < 1348278623 661571 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so I looked up what exactly a push-down automaton was - it's just a turing machine hooked to a stack < 1348278631 94867 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :except with a finite tape < 1348278636 198101 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but the stack can be infinite < 1348278672 744390 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yet that's not enough to be as powerful as a turing machine? < 1348278794 896790 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :no, it's not a turing machine hooked up to a stack < 1348278800 990420 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it's a finite state machine hooked up to a stack < 1348278816 855097 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :fsm: (state, input character) -> state < 1348278855 778604 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :pda: (state, input character, top of stack) -> (state, thing to push or not) < 1348278865 359167 :JaBoJa!~JaBoJa@public-gprs307350.centertel.pl PRIVMSG #esoteric :Is it logically determined for every UTM program if it halts or not? Or does there exist programs with stop problem unsolvable like continuum problem. < 1348278887 510001 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :turing machine: (state, character under head) -> (state, new character under head, direction to move on tape) < 1348278935 179912 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a turing machine with finite tape is equivalent to a finite automaton < 1348278964 401383 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :just like a turing machine with n independent state variables is equivalent to a turing machine with one state variable < 1348278990 247007 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :right < 1348278995 379292 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the only requirement is that the set of states is finite < 1348279011 185161 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but the input character can be taken from an infinite alphabet? < 1348279012 528616 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :so you can use finite-length tuples over finite sets of states < 1348279013 340948 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :no < 1348279027 80525 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so input is bounded < 1348279055 293107 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1348279067 82459 :NihilistDandy!~ND@65-183-140-119-dhcp.burlingtontelecom.net QUIT :Quit: ["Textual IRC Client: www.textualapp.com"] < 1348279118 301963 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@where sneaky < 1348279118 559135 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :dropFromEnd n xs = zipWith const xs (drop n xs) < 1348279127 795292 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :☝ best function < 1348279246 765618 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Arc_Koen: there is a wrinkle in what i said though < 1348279262 998903 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a deterministic finite state machine is defined by a function (state, input character) -> state < 1348279291 814509 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but a nondeterministic finite state machine has a set of "possible" new states < 1348279301 629637 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yup < 1348279313 587238 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it turns out that, if some language is recognized by a NFA, you can make a DFA to recognize it < 1348279316 635033 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(and vice versa) < 1348279319 597722 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but this is not true for pushdown automata < 1348279329 202083 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :nondeterministic pushdown automata are strictly more powerful than deterministic ones < 1348279351 640312 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but it is true for turing machines < 1348279363 63713 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's what the wikipedia page said, but they explained why in one sentence and it was grammatically incorrect and not really helping < 1348279374 516951 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(until you start talking about the execution time rather than just what's possible or impossible) < 1348279389 331804 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :which thing did wikipedia try to explain? < 1348279409 938683 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :why you couldn't turn a nondeterministic pushdown automaton into a deterministic one < 1348279423 824132 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah, i don't remember offhand < 1348279444 185622 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :Unlike finite-state machines, there exists no general alogorithm of turning a NDPDA into an equivalent DPDA, because that the problem of determining whether a http://en.wikipedia.org/wiki/Context-free_language is deterministic is decidable, which is not.[1] < 1348279466 23347 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(please excuse the weird way my irc client copies links) < 1348279667 474371 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :finding a proof of this is surprisigly hard < 1348279670 983039 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :or maybe i just suck at googling it < 1348279672 262001 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :http://cstheory.stackexchange.com/questions/9673/why-is-non-determinism-push-down-automata-necessary < 1348279984 36396 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so in their example they say you have a word as input < 1348280005 266241 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :you said you had only a character - if the word's length is not bounded, then it's not the same, is it? < 1348280648 180591 :JaBoJa!~JaBoJa@public-gprs307350.centertel.pl QUIT :Quit: Bye < 1348280864 263 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a finite state machine or pushdown automaton processes one character at a time < 1348280895 105923 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the input is a word of finite length, but it can be any finite length, there is no bound to how big the word could be < 1348280902 88325 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(of course you can make a machine which rejects all words bigger than n) < 1348280921 598736 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmmm but does it have to process the next character at every tick? < 1348280932 90528 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a deterministic automaton yes < 1348280980 476864 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :in some presentations, a nondeterministic automaton can have "ε transitions" which move from one state to another without consuming a character < 1348280991 388171 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but this is a just notational convenience < 1348281027 210810 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :because you could just add everything reachable from ε transitions to the set of possible next states < 1348281056 640563 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a good book on this stuff is _Introduction to the Theory of Computation_ by Sipser < 1348281076 233027 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :it presents everything in order using consistent notation etc < 1348281090 473467 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :much nicer than reading a bunch of wikipedia pages < 1348281104 427812 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :haha < 1348281117 673870 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :yep I definitely should read books < 1348281287 31676 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hmmmm < 1348281303 78753 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but still, if there are an infinity of possible words < 1348281351 368755 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh, right, you said the epsilon thing was only for nondeterministic automatons < 1348281481 548753 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :actually i'm not sure the ε transitions can be removed from a NPDA < 1348281496 734382 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :you can use them to push or pop more than one stack character per input character < 1348281536 549679 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :on a dpa with a finite number of states I'm pretty convinced it cannot be removed < 1348281552 874828 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the set of states is always finite < 1348281559 534768 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :right < 1348281575 360266 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i mean it's not impossible to talk about infinite number of states < 1348281580 139383 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :but it's not what people usually talk about < 1348281584 248081 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so where exactly does the "finite-state automaton" name come from? < 1348281598 707495 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :there are a finite number of states < 1348281606 476718 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i.e. a finite amount of state < 1348281698 779480 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ok so that "finite" means it really is finite, opposite to a turing machine which tape can be in an infinite amount of states < 1348281736 373883 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah < 1348281771 89573 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :a pushdown automaton also has an infinite number of states icluding the stack < 1348281806 377467 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :(when i said "the set of states is always finite" i meant the states not including the stack, i.e. the things typically drawn as nodes in a graph < 1348281809 402209 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :) < 1348281813 203915 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I'm thinking they should have bothered to find a different word for the "states" in the automaton and the total "states" the machine can be in < 1348281819 871519 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah exactly < 1348282103 290815 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you lose a game of Double Fanucci against a dragon, you will die, isn't it? However, I lost against a half-dragon, so I only lost five perica instead. < 1348282177 71815 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :a half-dragon? I thought we called them lizards < 1348282269 486199 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :This is different half dragon though. < 1348282283 45129 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :besides, i'm guessing half-dragons are less powerful than whole dragons, so losing against a half-dragon should be more severely punished < 1348282367 843661 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(as in, losing against a half-dragon implies you would have lost against a whole dragon as well) < 1348282418 633040 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I don't think it would imply; it depend how the cards are dealt. < 1348282484 826451 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :As well as on how good you are at the game. < 1348282537 419472 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well except if it's a game of chance, and you're considering that the winner will bully the loser, in which case yeah I guess being bullied by a whole dragon is more scary < 1348282584 139593 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :wait, are you playing Zork? < 1348282586 858870 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is a card game, so there would be chance involved, but skill is also involved < 1348282608 591971 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, it is not Zork. It is what I wrote in my character background story for Dungeons&Dragons. < 1348282639 12131 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :zzo38: i have been thinking that some of those x-bit sports you have been playing could be played without a computer by a few people around a table < 1348282654 193793 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :but i dont want to interrupt right now < 1348282706 860883 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :itidus21: Play by cards? < 1348282741 293988 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :like the boxing and the basketball < 1348282795 628977 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i was thinking more of having a GM < 1348282834 556376 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(zzo38: my point was that, if you're playing, say, a go tournament (or chess tournament, or any other game) and every game you play affects your ranking, then loosing against a "strong" opponent will make you loose less ranking points than losing against a "weak" player) < 1348282841 167439 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Sure you could, but I would think it would be better by cards < 1348282887 180047 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Arc_Koen: OK. But how good you are at these kind of games (chess, cards, go, whatever) is not your physical strength. < 1348282890 167793 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I'm tempted to just stick with Eclipse < 1348282906 559510 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :zzo38: well, a box tournament then < 1348282912 396887 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1348282992 379966 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :though yeah, if you can be physically "damaged" during the game then playing against someone too strong might be dangerous - though if the damage is already implied by the fact that you have lost, it could not make a difference < 1348283046 383653 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :is this like playing chess against a wookie? < 1348283079 546827 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :also, the way you said "play by cards" just gave me the idea that any card game which doesn't include a pile, but rather have the cards dealt among the players at the beginning, could be played by email < 1348283101 10560 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :like, you send the card you want to play along with the letter < 1348283101 352912 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :well not chess.. i don't know what the actual game is called < 1348283121 634092 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Arc_Koen: OK, if you prefer that way. < 1348283133 918485 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :^Dejarik < 1348283142 722030 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :itidus21: against a wookie, I think it's less dangerous to loose than to win (in case the wookie is a sore looser) < 1348283151 746474 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1348283251 738564 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i see, a dragon is not like a wookie < 1348283571 640101 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :less hair, more scales < 1348283716 944462 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh I had an idea for a nondeterministic language today < 1348283731 756707 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :basically it would be a monopoly-like board game < 1348283756 635230 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :where all the players are controlled by the computer, with dice being rolled < 1348283780 607768 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and the cells on the board, or the cards to be drawn, would affect the memory and trigger some computations < 1348284012 684574 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1348285876 872272 :TeruFSX_!~quassel@65-128-147-76.mpls.qwest.net JOIN :#esoteric < 1348286676 488119 :dajfsa!~dajfsa@95.149.228.168 JOIN :#esoteric < 1348286679 17625 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :erfjoirgejroijg < 1348286682 342759 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :werjero < 1348286696 688874 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :oioieoiroeiro < 1348287042 955671 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`welcome dajfsa < 1348287051 201293 :HackEgo!codu@codu.org PRIVMSG #esoteric :dajfsa: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1348287406 213738 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1348287557 873531 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :q < 1348287558 759710 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :qqq < 1348287561 490102 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :q qq q q qq < 1348287562 721546 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :itidus21: q? < 1348287566 145143 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@!@! < 1348287569 866116 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric ://///////////// < 1348287719 476730 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :qqqq < 1348287737 218207 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :q qq q q qq q q q qq < 1348288005 733578 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric ::wq < 1348288047 10087 :ion!ion@heh.fi PRIVMSG #esoteric :> (intercalate " " . map (flip (replicate 'q'))) [1..] < 1348288048 61498 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `GHC.Types.Int' < 1348288048 217795 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type ... < 1348288055 933000 :ion!ion@heh.fi PRIVMSG #esoteric :duh < 1348288058 401200 :ion!ion@heh.fi PRIVMSG #esoteric :> (intercalate " " . map (flip replicate 'q')) [1..] < 1348288060 280973 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "q qq qqq qqqq qqqqq qqqqqq qqqqqqq qqqqqqqq qqqqqqqqq qqqqqqqqqq qqqqqqqqq... < 1348288086 940900 :ion!ion@heh.fi PRIVMSG #esoteric :ACTION remembers unwords < 1348288557 962514 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :machine code uses goto? when writing functional programs it's better to have recursive calls be the last thing in a function... I wonder if, on a computer where machine code would use comefroms instead of gotos, it would be better to have recursive calls be the first thing in a function < 1348288644 323850 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(that thought was sponsored by the It Is 6 am And I Havent Slept Yet industry) < 1348288790 418067 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :head llac optimization < 1348288850 490883 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :has there been much work on esoteric quantum programming languages < 1348288902 726074 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :there is quantum brainfuck at least < 1348288904 850230 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :of course < 1348290649 133818 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Read error: Connection reset by peer < 1348290715 901057 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1348291127 993321 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Read error: Connection reset by peer < 1348291265 494609 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1348293129 423837 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well my interrogations about turing-completeness and input/output were legitimate I think < 1348293169 799950 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :consider a language which has a function "print" and a function "read" which allow to output and input some stuff < 1348293190 116131 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and it also has other functions, and considering those other functions only you manage to prove it turing-complete < 1348293229 39826 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :then someone asks you to write a program in that language that takes an input n, and outputs fib(n) < 1348293229 131732 :Gregor!codu@codu.org PRIVMSG #esoteric :Errr < 1348293244 884339 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well it may not be possible < 1348293273 318957 :Gregor!codu@codu.org PRIVMSG #esoteric :And? Claiming that a language is TC does not claim that it is possible to do that. < 1348293344 857665 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :well, I thought turing-completeness was a way to describe what algorithms the language could implement < 1348293380 462415 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :and there you have a language you said was tc and yet it cannot do something as simple as giving you fib(n) < 1348293389 223077 :Gregor!codu@codu.org PRIVMSG #esoteric :It is. Input is not usually considered to be part of algorithms, and even if it is, it's certainly outside the scope of Turing-completeness. < 1348293396 293940 :Gregor!codu@codu.org PRIVMSG #esoteric :It can give you fib(n) < 1348293406 40757 :Gregor!codu@codu.org PRIVMSG #esoteric :The question of how you get “n” is different. < 1348293428 743657 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :how can it give me fib(n)? < 1348293439 178167 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :it can ran computations, but it has no ways of giving me a result < 1348293452 396122 :Gregor!codu@codu.org PRIVMSG #esoteric :It doesn't have to. < 1348293458 234195 :Gregor!codu@codu.org PRIVMSG #esoteric :So long as it's calculated that result, it's done. < 1348293464 905288 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's where I disagree < 1348293473 727328 :Gregor!codu@codu.org PRIVMSG #esoteric :Your disagreement is irrelevant, you're simply wrong. < 1348293487 641967 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :whoa that's really interesting talking with you < 1348293500 980020 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I have to go sleep anyway, have a nice day < 1348293521 572572 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1348293541 208618 :Gregor!codu@codu.org PRIVMSG #esoteric :*shrugs* < 1348294931 668439 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de JOIN :#esoteric < 1348294938 934792 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de QUIT :Client Quit < 1348295703 246046 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 268 seconds < 1348295773 344155 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1348296497 178623 :atriq!~Taneb@host-92-17-12-26.as13285.net JOIN :#esoteric < 1348297576 576950 :xroslight!~xroslight@27.197.68.255 JOIN :#esoteric < 1348297590 219462 :xroslight!~xroslight@27.197.68.255 PRIVMSG #esoteric :我能吞下粘土而不伤身体 < 1348297709 613965 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :How much of a memory hog is Eclipse, exactly? < 1348297741 590783 :xroslight!~xroslight@27.197.68.255 PRIVMSG #esoteric :不知道 < 1348298144 665825 :ion!ion@heh.fi QUIT :Ping timeout: 252 seconds < 1348298213 927949 :xroslight!~xroslight@27.197.68.255 PRIVMSG #esoteric :这里都是中国人吗? < 1348298343 82363 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1348298409 196299 :TeruFSX!~TeruFSX@65-128-147-76.mpls.qwest.net QUIT :Ping timeout: 256 seconds < 1348298601 34037 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Client Quit < 1348299685 133044 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :`welcome guy_who_maybe_should_speak_English < 1348299696 334890 :HackEgo!codu@codu.org PRIVMSG #esoteric :guy_who_maybe_should_speak_English: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1348299726 574726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :thizzie < 1348299827 498163 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Floozie. < 1348299833 254495 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@wn floozie < 1348299833 865318 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :*** "floozie" wn "WordNet (r) 3.0 (2006)" < 1348299834 53794 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :floozie < 1348299834 146984 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : n 1: a prostitute who attracts customers by walking the streets < 1348299834 165468 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : [syn: {streetwalker}, {street girl}, {hooker}, {hustler}, < 1348299834 165637 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : {floozy}, {floozie}, {slattern}] < 1348299837 115443 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Maybe not that. < 1348299850 266268 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i watched this is spinal tap today. it occured to me at some point that the main motivation for programming to be performance art is so that programmer fashion can happen < 1348299929 108402 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1348301024 56506 :xroslight!~xroslight@27.197.68.255 PART :#esoteric < 1348301821 535368 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1348301834 947408 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 240 seconds < 1348301869 530823 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1348302351 2836 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1348303580 27057 :Taneb!~Taneb@host-78-148-13-125.as13285.net JOIN :#esoteric < 1348303609 321335 :atriq!~Taneb@host-92-17-12-26.as13285.net QUIT :Ping timeout: 260 seconds < 1348304025 571472 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1348305096 260465 :KingOfKarlsruhe!~chatzilla@p5B1334D6.dip.t-dialin.net JOIN :#esoteric < 1348305425 128694 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1348306435 516866 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348311207 621935 :yiyus!1242712427@je.je.je QUIT :Ping timeout: 268 seconds < 1348311230 470507 :yiyus!~124271242@je.je.je JOIN :#esoteric < 1348311435 283201 :fungot!fis@selene.zem.fi QUIT :Ping timeout: 250 seconds < 1348311830 661199 :JaBoJa|!~JaBoJa@public-gprs378518.centertel.pl JOIN :#esoteric < 1348311878 378801 :JaBoJa|!~JaBoJa@public-gprs378518.centertel.pl NICK :jaboja < 1348313683 306737 :FireFly!~firefly@oftn/member/FireFly QUIT :Ping timeout: 245 seconds < 1348313707 192451 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1348314256 744471 :FireFly!~firefly@firefly.xen.prgmr.com JOIN :#esoteric < 1348314669 650665 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1348315883 326642 :MoALTz!~no@host-92-2-117-165.as43234.net JOIN :#esoteric < 1348316549 184970 :KingOfKarlsruhe!~chatzilla@p5B1334D6.dip.t-dialin.net QUIT :Quit: ChatZilla 0.9.89 [Firefox 15.0.1/20120905151427] < 1348316680 774275 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: Now the Jolverine loops work again < 1348317323 317340 :FireFly!~firefly@firefly.xen.prgmr.com QUIT :Changing host < 1348317323 374597 :FireFly!~firefly@oftn/member/FireFly JOIN :#esoteric < 1348317719 299951 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :OK, so if you're looking for a (reasonably sensible) syntax for something that can be a list or tuple or both, what should it be? < 1348318037 233723 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :rojoerj < 1348318044 567250 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :,, ,, , , , < 1348318048 875366 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :ais523: ? | ( | ) ? ? < 1348318053 961998 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :``` < 1348318059 414751 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ``: not found < 1348318111 786452 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric ::Q < 1348319091 86139 :xiaoding!~GaoMing@27.115.83.149 JOIN :#esoteric < 1348319096 263812 :xiaoding!~GaoMing@27.115.83.149 PART :#esoteric < 1348319223 40587 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :ais523: how about {x,y} < 1348319224 569340 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :ais523: or [x,y] < 1348319225 983056 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :ais523: or (x,y) < 1348319235 3113 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :former is probably my favourite although {} are often overloaded for other purposes < 1348319240 155131 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric : is also an option < 1348319246 78173 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :[x,y] i find ugly for tuples, (x,y) i find ugly for lists < 1348319258 884006 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :ais523: however i would question what your distinction between list and tupl eis < 1348319265 755822 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :& if such an overloaded literal actually makes sense given that < 1348319281 506243 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :qqqqQQqqqQ*$(@(##(@#*(@#*(@#*(@*(*(@((@~)------------oooooooooooooooooooooooooo===>>>>>>$>$>$>$>$ < 1348319343 385784 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :nice rant by arc_koen in the logs < 1348319459 624060 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :zzo38: what is the internet < 1348319575 492714 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :dajfsa: Internet is the TCP/IP computer network connected by everything. < 1348319749 939991 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :+x,y- < 1348319907 625602 :atriq!~nathan@host-78-148-13-125.as13285.net JOIN :#esoteric < 1348320007 898868 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :@messages? < 1348320007 999948 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Sorry, no messages today. < 1348320010 141010 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Yay! < 1348320394 662585 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1348320421 866384 :kinoSi!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1348320554 975647 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :lol. many things in the logs! < 1348320595 739451 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Such as? < 1348320885 431046 :Taneb!~Taneb@host-78-148-13-125.as13285.net QUIT :Ping timeout: 248 seconds < 1348320958 77524 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The Wikipedia article for call/cc describes to access the continuation from outside of call/cc, and I think I have made that work with Haskell too by making up a newtype of it. < 1348320981 570628 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :zzo38, isn't that in Control.Monad.Cont? < 1348321057 935467 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :atriq: There is Cont and ContT in there, but I mean I could make something like this: newtype C r x = C (C r x -> Cont r x); which I think would be the correct type to return the current continuation from callCC. < 1348321077 150440 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hmm < 1348321087 274337 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I still haven't understood call/cc < 1348321125 561852 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Read the Wikipedia it describe. The esolang wiki article for Unlambda also links to some related information. < 1348321135 351544 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :atriq: such as whales! < 1348321139 987091 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log whale < 1348321174 279318 :HackEgo!codu@codu.org PRIVMSG #esoteric :No output. < 1348321179 984158 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log whale < 1348321193 281194 :HackEgo!codu@codu.org PRIVMSG #esoteric :2011-07-23.txt:00:17:06: very like a whale < 1348321204 244813 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log wales < 1348321216 490269 :HackEgo!codu@codu.org PRIVMSG #esoteric :2010-12-26.txt:05:18:39: rms doesn't quite give the same air as jimbo wales < 1348321229 164581 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log wails < 1348321236 539556 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-09-22.txt:13:40:29: `log wails < 1348321249 589441 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log [w]ails < 1348321256 82238 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-09-22.txt:13:40:29: `log wails < 1348321260 554700 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log [w]ails < 1348321267 644226 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-09-22.txt:13:40:56: 2012-09-22.txt:13:40:29: `log wails < 1348321273 119836 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :fine < 1348321291 231423 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log [w]ells < 1348321299 399069 :HackEgo!codu@codu.org PRIVMSG #esoteric :2007-11-30.txt:20:08:20: Giving the old ones energy would make them temperature wells; creating and destroying particles would make them pressure wells. < 1348321309 877067 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log [w]alls < 1348321317 275307 :HackEgo!codu@codu.org PRIVMSG #esoteric :2009-10-15.txt:13:52:21: [The walls, of which there aren't any, melt.] < 1348321325 77860 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :`log [w]ills < 1348321331 218102 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-04-20.txt:02:44:02: you wills ee < 1348321348 809544 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :In other news, I've finally installed the Haskell Platform correctly on this computer with GHC 7.* < 1348321722 969754 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Every other time I messed up installing the docs < 1348321815 167680 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1348321839 259141 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1348322468 618053 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de JOIN :#esoteric < 1348322477 183127 :ztirf!~ztirf@HSI-KBW-078-043-031-070.hsi4.kabel-badenwuerttemberg.de QUIT :Client Quit < 1348322559 328984 :TeruFSX!~TeruFSX@65-128-147-76.mpls.qwest.net JOIN :#esoteric < 1348322727 781235 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1348323569 663646 :TeruFSX!~TeruFSX@65-128-147-76.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1348323873 5373 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :ais523: Welcome to saturday < 1348325380 34158 :atriq!~nathan@host-78-148-13-125.as13285.net QUIT :Remote host closed the connection < 1348325509 262868 :jaboja!~JaBoJa@public-gprs378518.centertel.pl QUIT :Ping timeout: 244 seconds < 1348325880 293535 :atriq!~Taneb@host-78-148-13-125.as13285.net JOIN :#esoteric < 1348326540 56480 :atriq!~Taneb@host-78-148-13-125.as13285.net PRIVMSG #esoteric :You know what? < 1348326546 409986 :atriq!~Taneb@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I'm going to go and read a book < 1348326549 698228 :atriq!~Taneb@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Bye < 1348326551 905195 :atriq!~Taneb@host-78-148-13-125.as13285.net QUIT :Quit: Leaving < 1348326633 484828 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1348326779 824027 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348326807 244354 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Read error: Connection reset by peer < 1348326935 474444 :sivoais!~zaki@199.19.225.239 QUIT :Quit: Lost terminal < 1348327269 332631 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1348327386 700546 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348327445 186389 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348327479 312513 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348327679 468006 :sivoais!~zaki@199.19.225.239 JOIN :#esoteric < 1348330696 288424 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :Dog dog dog dog dog dog dog dog dog < 1348330985 815858 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl PRIVMSG #esoteric :Cat cat cat cat cat cat cat cat cat < 1348331068 784360 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Cat dog cat dog cat dog cat dog cat < 1348331355 116073 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :nice, i made a program that dies with ETOOMANYREFS < 1348331375 11898 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :this errno is only produced in one place in the entire Linux kernel < 1348331516 309686 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1348331996 102088 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl PRIVMSG #esoteric :Where? < 1348332015 167338 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl PRIVMSG #esoteric :#!/usr/bin/env cat < 1348332021 8486 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl PRIVMSG #esoteric :dog dog dog dog dog dog dog dog < 1348332031 40183 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :dong dong dong dong dong dong dong dong < 1348332055 101250 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl PRIVMSG #esoteric :fish fish fish fish fish fish fish fish fish < 1348332070 515302 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Buffalo buffalo Buffalo buffalo buffalo buffalo Buffalo buffalo. < 1348332102 393371 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl PRIVMSG #esoteric :Triadobatrachus triadobatrachus triadobatrachus triadobatrachus triadobatrachus triadobatrachus triadobatrachus triadobatrachus triadobatrachus < 1348332546 658614 :uroboroo!~samgamael@dynamic-adsl-84-222-83-78.clienti.tiscali.it JOIN :#esoteric < 1348332637 568338 :uroboroo!~samgamael@dynamic-adsl-84-222-83-78.clienti.tiscali.it PART #esoteric :"PING 1348332637" < 1348333101 839368 :Lumpio-!~user@62-113-182-248.bb.dnainternet.fi NICK :LumpioI < 1348333173 637777 :itidus20!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au JOIN :#esoteric < 1348333193 97325 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1348333369 38281 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au QUIT :Ping timeout: 246 seconds < 1348334385 118504 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1348334492 291046 :atriq!~Taneb@host-78-148-13-125.as13285.net JOIN :#esoteric < 1348334585 16316 :atriq!~Taneb@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Well, that was fun < 1348334814 39010 :ion!ion@heh.fi JOIN :#esoteric < 1348335027 283034 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348335074 146500 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348336221 142261 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi JOIN :#esoteric < 1348337841 194643 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348337865 167217 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :atriq: Q q q < 1348337876 798375 :atriq!~Taneb@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Q q r < 1348337879 189069 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348337950 96371 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348337981 141365 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348338033 688180 :LumpioI!~user@62-113-182-248.bb.dnainternet.fi QUIT :Quit: no more irssi < 1348338142 815680 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348338219 156783 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348338495 874171 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 256 seconds < 1348338530 9634 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1348338831 342047 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1348340470 495680 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348340532 139090 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl JOIN :#esoteric < 1348340594 775220 :JaBoJa!~kvirc@ern88.neoplus.adsl.tpnet.pl QUIT :Read error: Connection reset by peer < 1348340761 959376 :dajfsa!~dajfsa@95.149.228.168 PRIVMSG #esoteric :Deth < 1348340777 673502 :dajfsa!~dajfsa@95.149.228.168 QUIT :Quit: Lost terminal < 1348340793 45488 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well that was the end of him, then. < 1348341115 682945 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1348341124 670585 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1348341619 905572 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1348342114 805494 :TeruFSX_!~quassel@65-128-147-76.mpls.qwest.net QUIT :Ping timeout: 240 seconds < 1348342501 772646 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1348342611 136764 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1348342771 344844 :atriq!~Taneb@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Who even is dajfsa < 1348343050 305331 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 246 seconds < 1348343699 890012 :atriq!~Taneb@host-78-148-13-125.as13285.net QUIT :Remote host closed the connection < 1348344680 504642 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1348345321 278546 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348347442 481090 :atriq!~nathan@host-78-148-13-125.as13285.net JOIN :#esoteric < 1348347955 196854 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1348348183 651726 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :http://www.msr-inria.inria.fr/events-news/feit-thompson-proved-in-coq < 1348348542 338556 :MoALTz!~no@host-92-2-117-165.as43234.net QUIT :Ping timeout: 264 seconds < 1348348642 744992 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: wow. i think this is actually quite big. < 1348348714 559612 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: roconnor was just talking about that at his talk the other day. < 1348348720 356667 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :He did some of it, I think. < 1348348851 788468 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well he's listed in the sidebar of that page... < 1348348903 790274 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :not directly related though < 1348348912 526778 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :(afaict) < 1348348923 274348 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Galois Connections, Poset-Enriched Categorical Logic, and Type Theory < 1348349017 605925 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it seems to me that the larger the proof of a theorem, the more important it is to get it formally verified < 1348349032 319650 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although of course the more difficult, too < 1348349232 396671 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :Vorpal: was it you who changed C-INTERCAL to use an actual bool type? < 1348349260 242264 :copumpkin!~copumpkin@unaffiliated/copumpkin NICK :COPUMPKIN < 1348349312 5410 :COPUMPKIN!~copumpkin@unaffiliated/copumpkin NICK :copumpkin < 1348349743 727116 :Gregor!codu@codu.org PRIVMSG #esoteric :INTERNET < 1348349746 652041 :Gregor!codu@codu.org PRIVMSG #esoteric :INTERNET, TELL ME < 1348349749 390508 :Gregor!codu@codu.org PRIVMSG #esoteric :Should I buy an accordion? < 1348349774 154312 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Are you able to play the accordion, or are you able to get accordion lessons? < 1348349790 182633 :Gregor!codu@codu.org PRIVMSG #esoteric :I am able to play the piano and various other instruments, and am not incompetent. < 1348349800 184596 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Then the answer is hell < 1348349801 584126 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Freaking < 1348349802 700338 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Yes < 1348349812 76036 :Gregor!codu@codu.org PRIVMSG #esoteric :But I'm SO CHEAP. < 1348349824 805172 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hey, it was your idea < 1348349837 249930 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Also, go to anime conventions dressed as an esolang < 1348349845 517937 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :kmc: thanks for giving me my first r/math post, btw :P < 1348349864 628496 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :(should totally be a thing that happens) < 1348349867 694938 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually, first reddit post whatsoever < 1348349904 110886 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Feit-Thompson theorem has been, like, TOTALLY checked in Coq < 1348349935 648675 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :My first reddit post was a Muse/Sweet Bro and Hella Jeff mashup on /r/homestuck/ that received one downvote and no comments < 1348350002 836536 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric ::( < 1348350106 861688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :atriq: :( < 1348350157 762948 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :8 notes on Tumblr, though! < 1348350173 642565 :ais523!~ais523@unaffiliated/ais523 PRIVMSG #esoteric :btw, I like Debian's condensed version of INTERCAL's development history: http://bugs.debian.org/cgi-bin/version.cgi?info=1;collapse=1;found=0.29-2;package=intercal < 1348350181 520335 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :When me posting a screenshot of a tweet got 12... < 1348350224 120077 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :hahaha < 1348350273 940027 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: I watched some episodes of that television series. < 1348350279 698938 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :which one? < 1348350290 217495 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :Poset-Enriched Categorical Logic: The Television Series? < 1348350314 95361 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :_Breaking Bad_ < 1348350323 606361 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :ah < 1348350331 901592 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :are you watching it from the beginning? < 1348350342 467593 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The ones I watched were the first ones. < 1348350495 416096 :variable!root@freebsd/developer/variable NICK :constant < 1348351185 822657 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Read error: Connection reset by peer < 1348351386 170298 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl JOIN :#esoteric < 1348351463 125401 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :I think I've just blown someone's mind by playing along with someone else's joke < 1348351513 602207 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :how evil. < 1348351537 112342 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :We've convinced her that Power Rangers was originally a British series < 1348351540 467914 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :And that it was awful < 1348351878 840724 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :power rangers is actually a spinoff of dr. who < 1348351950 179403 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :power doctors, doctor rangers, ranger who < 1348351959 334396 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :'For example in Mighty Morphin, alien wizard Zordon recruits "teenagers with attitude" to harness the power of the dinosaurs to overcome the forces of evil space alien Rita Repulsa.' < 1348351970 658386 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :you really cannot make this show sound more awful than it actually is < 1348352071 544859 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :What, Dr. Who? < 1348352176 927129 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I liked Power Rangers when I was a kid. < 1348352193 41775 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Although I think I did recognize how repetitive it is < 1348352194 377474 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :alien "wizard", recruits teenagers, fights evil space aliens... that's doctor who indeed < 1348352234 55347 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1348352332 639247 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :monqy: hi monqy < 1348352342 653096 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :hi < 1348352889 980350 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :15:27 If you guys were to explain monads to a newbie, how would you do it? < 1348352908 368106 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I should probably leave now. :-( < 1348353185 406544 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : Badly. < 1348353529 266268 :nooga!~nooga@ip-46-250-173-30.ip.maverick.com.pl QUIT :Ping timeout: 246 seconds < 1348353922 907421 :segorev!~cherep@217.172.23.118 JOIN :#esoteric < 1348354168 63514 :segorev!~cherep@217.172.23.118 PRIVMSG #esoteric :hhhiii < 1348354189 569137 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`welcome segorev < 1348354200 421638 :HackEgo!codu@codu.org PRIVMSG #esoteric :segorev: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) < 1348354253 721078 :segorev!~cherep@217.172.23.118 PRIVMSG #esoteric :hi < 1348354260 846706 :segorev!~cherep@217.172.23.118 PRIVMSG #esoteric :) < 1348354289 646147 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :We also talk about: maths, Haskell, Homestuck, Dwarf Fortress, Finland, television, Gregor's taste in clothes and accessories... < 1348354301 976815 :segorev!~cherep@217.172.23.118 PRIVMSG #esoteric :i know) < 1348354305 290952 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hexham < 1348354315 411869 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is Hexham a kind of Finland? < 1348354329 898391 :Gregor!codu@codu.org PRIVMSG #esoteric :My taste in clothes is AMAZING, TYVM. < 1348354341 365295 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hexham's a kind of Dwarf Fortress < 1348354353 739494 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 JOIN :#esoteric < 1348354355 487787 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is television a kind of maths? < 1348354359 88617 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't even own one. < 1348354362 143848 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Who knows? < 1348354406 277069 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :can you own kinds of maths? < 1348354408 309406 :Gregor!codu@codu.org PRIVMSG #esoteric :Television /involves/ math :) < 1348354427 940887 :segorev!~cherep@217.172.23.118 PRIVMSG #esoteric :Television? TV?) < 1348354437 267621 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :You wouldn't steal a kind of maths! < 1348354457 8368 :segorev!~cherep@217.172.23.118 PRIVMSG #esoteric :Television and math? Is this stuff compatible? < 1348354502 759018 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :question: if a system wih 12GB of ram costs $1000 and the same system with 16GB costs $1200, is the sstem with more ram worth it? < 1348354523 869921 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :tggggggggghtjuuy0v= < 1348354530 382769 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :oops < 1348354533 846427 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :How much would it cost to buy the additional RAM separately? < 1348354543 883311 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :not sure < 1348354566 553756 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :but imd need the unit beforehand < 1348354567 885845 :ion!ion@heh.fi PRIVMSG #esoteric :Is that ECC RAM or something? Because normal DDR3 RAM is *much* cheaper than that. < 1348354626 629748 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : tggggggggghtjuuy0v= <-- what _is_ with the weird words people use today < 1348354655 425313 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :a 4gb ddr3-1333 chip costs? < 1348354675 841344 :ion!ion@heh.fi PRIVMSG #esoteric :1333? That’s even cheaper than what i was thinking of. < 1348354704 202849 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :is this system bad now that it uses 1333? < 1348354773 717573 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :there's gotta be something else < 1348354807 886081 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :i'm on road. i'll get back to you when i get home < 1348354808 204299 :ion!ion@heh.fi PRIVMSG #esoteric :benuphoenix: In Finland, 16.90 € http://www.verkkokauppa.com/fi/product/15419/cbdjm/Kingston-Valueram-2GB-1333MHz-DDR3-CL9-muistimoduli < 1348354816 456410 :ion!ion@heh.fi PRIVMSG #esoteric :whoops, sorry < 1348354819 694382 :ion!ion@heh.fi PRIVMSG #esoteric :I misread. < 1348354853 528761 :ion!ion@heh.fi PRIVMSG #esoteric :benuphoenix: 19.90 € http://www.verkkokauppa.com/fi/product/4110/dghjq/Kingston-HyperX-blu-4-GB-1600-MHz-DDR3-CL9-muistimoduli < 1348354879 807158 :ion!ion@heh.fi PRIVMSG #esoteric :For some reason, the 4 GiB Valueram 1333 MHz and HyperX 1600 MHz modules have the same price. < 1348354908 290117 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :does byte start with a t in finnish? < 1348354949 343654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :tybä < 1348354993 335847 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :gigatavua, apparently < 1348355040 113984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :they're not big on b's, come to think of it < 1348355144 176546 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :do they even have it at all? < 1348355160 933951 :ion!ion@heh.fi PRIVMSG #esoteric :olsner: Even though everyone learned that you don’t “translate” international unit symbols, Microsoft™ followed by the Finnish media began changing B to t for some reason. < 1348355180 386491 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: television is mostly cardboard and drugs and only a little bit math < 1348355190 815955 :ion!ion@heh.fi PRIVMSG #esoteric :+in school < 1348355212 67345 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION read that as "only a little bit meth" < 1348355220 985371 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :watch more breaking bad < 1348355226 99807 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION blamc < 1348355391 60054 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :"Finnish is written with [an] alphabet that includes the distinct characters Ä and Ö, and also several characters (b, c, f, q, w, x, z and å) reserved for words of non-Finnish origin." < 1348355535 261222 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :wax < 1348355562 690918 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :What's a ridiculous Finnish word that everyone should know? < 1348355575 822275 :ion!ion@heh.fi PRIVMSG #esoteric :Yliesierikoisapulaisvaravaurioraivausvuorovarausratkaisupäällikkö < 1348355580 745040 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :"suomi" < 1348355583 527407 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It means "silly person" < 1348355589 88479 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :ion, what does that mean? < 1348355645 319045 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Google reckon's it's probably Finnish for something but has no idea what < 1348355667 466509 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :you need to add spaces to help it parse out the words in the word < 1348355681 475270 :ion!ion@heh.fi PRIVMSG #esoteric :Someone on the Intertubes translated it as “chief superior pre-special assistant vice damage-clearing turn reservation solution executive” but i’m not sure that’s 100 % correct. < 1348355699 388251 :ion!ion@heh.fi PRIVMSG #esoteric :(“pre-special”, huh?) < 1348355750 649650 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :but you're the finnish person here, you should know right? < 1348355761 361761 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is Finnish! < 1348355773 320247 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :shachaf: prove it < 1348355777 970806 :ion!ion@heh.fi PRIVMSG #esoteric :I know what it means in Finnish but i’m not familiar enough with title jargon in English. < 1348355795 857083 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :shachaf, there's about half a dozen finns online at any one time < 1348355850 933297 :ion!ion@heh.fi PRIVMSG #esoteric :Okay, the proper translation for esi- in this case would be fore-, not pre-. < 1348355879 216127 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :fore-special? < 1348355910 195884 :ion!ion@heh.fi PRIVMSG #esoteric :The fore- isn’t really attached to the following word, you’d need to change the word order as well to translate it properly. < 1348355917 100353 :ion!ion@heh.fi PRIVMSG #esoteric :I mean, the esi- < 1348355924 667282 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yliesi is like over-pre-something? < 1348355956 427834 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :overformynderiet < 1348355958 926051 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Hang on < 1348355975 694056 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :Isn't it about half two in the morning in Finland < 1348355978 134595 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :@time ion < 1348355978 642726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Local time for ion is Sun, 23 Sep 2012 02:19:38 +0300 < 1348355991 257864 :atriq!~nathan@host-78-148-13-125.as13285.net PRIVMSG #esoteric :THAT MEANS GOODNIGHT < 1348355993 716849 :atriq!~nathan@host-78-148-13-125.as13285.net QUIT :Quit: Leaving < 1348356011 836921 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :why did he quit because it is late in finland? < 1348356033 263585 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :sure, everyone knows hexham is in finland < 1348356038 221658 :ion!ion@heh.fi PRIVMSG #esoteric :Here’s a long single word. The previous one was a compound word. kumarreksituteskenteleentuvaisehkollaismaisekkuudellisenneskenteluttelemattomammuuksissansakaankopahan < 1348356070 302095 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :why is that not compound? is it all suffixes and conjugations? < 1348356091 969794 :ion!ion@heh.fi PRIVMSG #esoteric :yeah < 1348356122 87416 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :looks like it breaks google translate somehow, maybe they have a finnish parser that is actually trying to parse the word < 1348356183 440904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :doesn't google translate work purely statistically with no builtin language knowledge? < 1348356255 940297 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yes, afaik < 1348356291 982975 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh well, I took the time to rate this translation "unhelpful" < 1348356350 663694 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :Why does Kerbal Space Program hate me ;_; < 1348356557 706347 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Phantom_Hoover: it's probably written in a brainfuck derivative < 1348356570 473801 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :i think it's written in c# < 1348356589 972726 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :there should be a Gerbil Space Program < 1348356597 15356 :Phantom_Hoover!~Phantom@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :which is in many ways a brainfuck derivative < 1348356603 549872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :it's a little known fact < 1348356627 207212 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :the greatest success of the gluing things to skateboards principle < 1348356636 330987 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :thinking about it, wouldn't gerbils need practically just as big rockets to get into orbit as the human space program? < 1348356699 439381 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i thought the size of the rocket would be proportional to the mass of the payload < 1348356781 721619 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :yes, but is the mass of the payload proportional to the size of humans? < 1348356875 570593 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1348356886 584355 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, apparently the average adult gerbil weighs about 70 g ... they're a lot more smaller than I thought < 1348356921 57954 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner clearly has been thinking of gerbils as fearsome human-sized monsters < 1348357067 422678 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :which is better: intel h67 chipset or intel b75 chipset?\ < 1348357227 433315 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :Sgeo, ion, oerjan? Continuing conversation from before... < 1348357434 497442 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :ACTION has no idea < 1348357463 515089 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I can tell you which language I'm currently mostly interested in: Clojure. This is completely unhelpful for your question, though. < 1348357520 762512 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :oh...h67 is sandy bridge and b75 is ivy bridge < 1348357531 181423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Wait, you're interested in Clojure?! < 1348357532 853799 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :i think i want the ivy, right? < 1348357631 820102 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :(dotimes [n 500] (println "Yes, shachaf.")) < 1348357642 132079 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :especially with an ivy processor < 1348357642 634657 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oerjan: yes, something like http://en.wikipedia.org/wiki/Josephoartigasia_monesi < 1348357646 791777 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :benuphoenix: You want Haswell, dude. < 1348357655 808898 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :shachaf, what's wrong with Clojure? < 1348357682 660603 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Sgeo: Nothin' < 1348357697 430479 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :(no, actually I was just thinking approximately rabbit-sized) < 1348357811 321306 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: so not like these, then? http://www.webcomicsnation.com/shaenongarrity/narbonic_plus/series.php?view=archive&chapter=14370 < 1348358139 145309 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :assuming the gerbils were also working on this in the '60s, they'd need about a thousand gerbils' weight in computers < 1348358148 916424 :benuphoenix!benuphoeni@2600:3c03::f03c:91ff:feae:e1f7 PRIVMSG #esoteric :shachaf: can't wait