< 1348963305 821007 :constant!root@freebsd/developer/variable NICK :trout < 1348963352 259277 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :oerjan: ? < 1348963361 601219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i see it now < 1348963385 608633 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :actually its (1 ==) . nand < 1348963392 958168 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :why the abs? < 1348963433 504441 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :because Int is signed, so if you flip all the bits, you flip the sign < 1348963434 833903 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm... < 1348963447 821380 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yes but... < 1348963460 872870 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :yes but? < 1348963479 306923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let k = 15 ; mns :: [[Int]] ; mns = [ [ abs (complement (m .&. n)) | m <- [0..k] ] | n <- [0..k] ] in text . reverse $ intercalate "\n" $ map (concat . map (\n -> case n of 1 -> "X"; -1 -> "Y"; _ -> " ")) mns < 1348963481 265355 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : X < 1348963481 460289 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XX < 1348963481 460380 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : X X < 1348963481 460426 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XXXX < 1348963481 460470 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1348963488 174698 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :er < 1348963496 456787 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let k = 15 ; mns :: [[Int]] ; mns = [ [ complement (m .&. n) | m <- [0..k] ] | n <- [0..k] ] in text . reverse $ intercalate "\n" $ map (concat . map (\n -> case n of 1 -> "X"; -1 -> "Y"; _ -> " ")) mns < 1348963498 324809 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Y < 1348963498 519155 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : YY < 1348963498 519232 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Y Y < 1348963498 519278 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : YYYY < 1348963498 519347 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1348963517 953265 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok no apparent 1's... < 1348963574 985318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let k = 15 ; mns :: [[Int]] ; mns = [ [ complement (m .&. n) | m <- [0..k] ] | n <- [0..k] ] in 'X' `elem` (concat $ intercalate "\n" $ map (concat . map (\n -> case n of 1 -> "X"; -1 -> "Y"; _ -> " ")) mns) < 1348963575 766872 :Phantom__Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1348963576 2739 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Couldn't match expected type `[a]' < 1348963576 197784 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : against inferred type `GHC.Types... < 1348963620 506631 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let k = 15 ; mns :: [[Int]] ; mns = [ [ complement (m .&. n) | m <- [0..k] ] | n <- [0..k] ] in 'X' `elem` (intercalate "\n" $ map (concat . map (\n -> case n of 1 -> "X"; -1 -> "Y"; _ -> " ")) mns) < 1348963622 508830 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : False < 1348963627 582906 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok there are none < 1348963643 998017 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :oerjan: there couldnt be any < 1348963654 131246 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :n > 0 has initial 0 in the bits < 1348963689 261778 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :anyway < 1348963690 504478 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :point is < 1348963695 190278 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :how cool is that < 1348963705 138342 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :(1 ==) . nand gets you sierpinski's triangle < 1348963718 906798 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :check out The Philosophical Computer < 1348963732 863182 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let k = 15 ; mns :: [[Int]] ; mns = [ [ m .&. n | m <- [0..k] ] | n <- [0..k] ] in text $ intercalate "\n" $ map (concat . map (\n -> case n of 0 -> "X"; _ -> " ")) mns < 1348963734 720176 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XXXXXXXXXXXXXXXX < 1348963734 914653 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : X X X X X X X X < 1348963734 914852 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XX XX XX XX < 1348963734 914976 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : X X X X < 1348963734 915085 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XXX... < 1348963804 632694 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :bit simpler < 1348963934 907799 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let k = 15 ; mns :: [[Int]] ; mns = [ [ m .&. n | m <- [0..k] ] | n <- [0..k] ] in text $ intercalate "\n " $ map (map (\n -> case n of 0 -> 'X'; _ -> ' ')) mns < 1348963936 8163 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XXXXXXXXXXXXXXXX < 1348963936 202984 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : X X X X X X X X < 1348963936 203158 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : XX XX XX XX < 1348963936 203331 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : X X X X < 1348963936 203437 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : ... < 1348963974 640949 :copumpkin!~copumpkin@unaffiliated/copumpkin QUIT :Ping timeout: 252 seconds < 1348964016 556088 :copumpkin!~copumpkin@unaffiliated/copumpkin JOIN :#esoteric < 1348964070 895066 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :is that (0 ==) . and < 1348964071 126764 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :? < 1348964078 113923 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep < 1348964084 573336 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :interesting < 1348964090 45890 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :well it makes sense < 1348964090 965325 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :but < 1348964124 925261 :augur!~augur@129-2-129-32.wireless.umd.edu PRIVMSG #esoteric :the really interesting thing is that these are the nand/and tautologies/contradictions for all propositions < 1348964327 317584 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :mhm < 1348964373 489695 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1348964465 601911 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I wonder. In NFU, is there a function f whose domain is the set of all non-empty sets, and whose image is the set of all singleton sets, such that for all non-empty sets S, f(S) is a subset of S? < 1348964559 341952 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION vaguely recall new foundations is incompatible with axiom of choice < 1348964562 988309 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*+s < 1348964568 809563 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :oerjan: NFU *has* the axiom of choice. < 1348964593 580641 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah, fuck < 1348964610 425566 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So yeah, there is. Consider the set P = { { (S, {x}), x in S}, S is non-empty }. P is a set of pairwise disjoint non-empty sets. < 1348964673 211502 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Therefore, there is a set C, called a choice set from P, which contains exactly one element of each element of P. In other words, for all non-empty sets S, C contains a pair of the form (S, {x}), where x is in S. < 1348964688 433765 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So C is the "universal choice function" we're after. < 1348964734 460879 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: wikipedia says that it disproves choice < 1348964748 331594 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :coppro: Wikipedia says that NFU disproves choice? < 1348964800 649917 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :tswett: yes, because there is no function x \mapsto {x} < 1348964807 780460 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :this is required to avoid Cantor's Paradox < 1348964814 681318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :"Much of this entry discusses NFU, an important variant of NF due to Jensen (1969) and exposited in Holmes (1998)." < 1348964835 83434 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :and then wikipedia proceeds not to define NFU properly... < 1348964858 298719 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :yeah :/ < 1348964891 666137 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ah wait < 1348964894 5502 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :based on reading < 1348964898 151646 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :coppro: I guess I can believe that NFU disproves one *formulation* of the axiom of choice. < 1348964900 209062 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :NF disproves choice, but NFU is not a strict superset < 1348964903 501899 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :of NF < 1348964909 312029 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Right. < 1348964913 561461 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ok < 1348964915 913279 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :carry on < 1348964930 993535 :augur!~augur@129-2-129-32.wireless.umd.edu JOIN :#esoteric < 1348964940 449507 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Now I wonder if we can go the other way: given this universal choice function, can we prove the axiom of choice? < 1348964982 325437 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :For all non-empty S, let f(S) be a singleton subset of S. Is it true that "for each set P of pairwise disjoint non-empty sets, there is a set C, called a choice set from P, which contains exactly one element of each element of P"? < 1348965015 870040 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If I'm not mistaken, the answer is yes: let C be the union of f(T) for all T in P. < 1348965549 793520 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It really seems like given stratified comprehension as an axiom, NFU has very few other axioms. < 1348965580 504144 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :There are probably a couple of axioms so "obvious" I've completely forgotten them, like extensionality. < 1348965622 705816 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :But given that stratified comprehension is the "basic" axiom and the ones I've forgotten are "obvious" axioms, the only axiom I've seen so far that is neither basic nor obvious is the axiom of choice. < 1348965747 677788 :augur!~augur@129-2-129-32.wireless.umd.edu QUIT :Remote host closed the connection < 1348965954 781478 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well comprehension, extensionality and choice are afair the only axioms of naive set theory < 1348965963 161810 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1348965971 786329 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :I wasn't aware that naive set theory had choice as an axiom. < 1348966016 367216 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well you cannot obviously deduce it (without going through the actual inconsistencies :P) < 1348966040 661522 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Aha, here's another neither-basic-nor-obvious axiom. < 1348966085 116002 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :If n is a natural number, let S be a set of cardinality n, and let 1 -> S be the set of all singleton subsets of S. < 1348966091 256839 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Then n = |S| = |1 -> S|. < 1348966108 784904 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The n = |S| part is obvious, of course, but |S| = |1 -> S| is not. < 1348966171 692446 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Can this axiom also be expressed as the existence of a function? Yeah, I think so. < 1348966210 870326 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It's the function { (x, {x}), x is a natural number }, isn't it? < 1348966295 343554 :jiella!~jiella@cs27103076.pp.htv.fi QUIT :Quit: Leaving. < 1348966399 939471 :coppro!raedford@taurine.csclub.uwaterloo.ca PRIVMSG #esoteric :ACTION loves Zorn's lemma < 1348966536 756556 :quintopia!~quintopia@unaffiliated/quintopia PRIVMSG #esoteric :ACTION eats zorn's lemon < 1348966691 850110 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ACTION peels a bananach algebra < 1348966723 342192 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :One more NBNO axiom. The Axiom of Small Ordinals: "For any sentence phi in the language of set theory, there is a set S such that for all x, x is a small ordinal such that phi iff (x in A and x is a small ordinal)." < 1348966727 598432 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :...what? < 1348966931 866984 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Okay. If phi is a statement about small ordinals, then there is a set A such that each small ordinal is in A if and only if it satisfies phi. < 1348967147 982654 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1348967417 102793 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Looks like there's exactly one NBNO axiom remaining, the Axiom of Large Ordinals. < 1348968334 724363 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 240 seconds < 1348969064 991619 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :*.net *.split < 1348969342 756720 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1348969976 242614 :olsner!~salparot@c83-252-194-156.bredband.comhem.se QUIT :*.net *.split < 1348970178 169891 :augur!~augur@208.58.5.87 JOIN :#esoteric < 1348970285 844766 :olsner!~salparot@c83-252-194-156.bredband.comhem.se JOIN :#esoteric < 1348970804 538356 :oerjan!oerjan@sprocket.nvg.ntnu.no QUIT :Quit: leaving < 1348972895 848886 :evincar!~jon@173-228-12-215.dsl.dynamic.sonic.net PART :#esoteric < 1348973209 85837 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :help my brain < 1348973304 380174 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :how can we help it? < 1348973321 682558 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :haealp < 1348973325 495433 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :tswett: In what way? What help? < 1348973357 142839 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Okay, so Forsome takes [S], a box of a type. That type is S. It then takes f, a function taking a box of an S, and returning a type. It finally returns a box of a type. < 1348973372 532822 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The type of Forsome is an expression involving Forsome. < 1348973413 332740 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Its first argument is [Box [Type]], which is a box of type, and also is the expression for the phrase "a box of a type". < 1348973452 897599 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric : itidus21: http://lesswrong.com/lw/k9/the_logical_fallacy_of_generalization_from/ <-- the thing to remember though is that inspite of what is true and what isn't, science keeps developing more and more dangerous things, due to it's unwitting constant participation in arms races < 1348973456 986765 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :It then takes f, a function taking a box of an S, and returning a type. What is "an S"? Well, S = Box [Type], so "an S" is a box of a type. < 1348973477 862876 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :admittedly i haven't read the article itself yet, and it's not necessarily denying that < 1348973479 662950 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :So f (here) is a function taking a box of a box of a type, and returning a type. < 1348973581 771253 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :What is f? It's the function taking [[S]] (a box of a box of a type) and returning the type "a function taking a box of an S, and returning a type" (a type). < 1348973608 376304 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :describing types in english is so cumbersome, if only someone had invented a concise symbolic syntax for them < 1348973642 742298 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :And modified the human brain to make that symbolic syntax as easy to understand as English, in all cases. < 1348973650 388664 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is a box of a type? < 1348973673 232944 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :yeah because the english sentences one produces this way are so easy to understand < 1348973676 557796 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :zzo38: for all type S, a "box of an S" is a one-element set whose element is an S. < 1348973780 825238 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :The distinction is important in NFU. < 1348973795 50809 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I still do not understand very well. < 1348973810 487476 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :Well, I haven't given you any of the context. < 1348973818 505274 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1348973827 561214 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose that is why < 1348974307 447252 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :hello log reader! i know that theres plenty of things wrong with what i'm saying. i haven't been awake very long and i had some kind of nightmare. < 1348974339 574881 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What kind of nightmare? The kind of nightmare with plenty of things wrong with what you are saying? < 1348974555 276768 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :the one where i'm in an alternate universe where haskell curry joined the circus, and all of programming was affected < 1348974570 749838 :tswett!~tswett@unaffiliated/tswett PRIVMSG #esoteric :itidus21: that was my fault. I'm sorry. < 1348974766 149685 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1348974787 352599 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :nah it was the one where marty mcfly travels to a future which is dominated by something more exciting than the internet < 1348974806 583311 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :^world wide web sorry < 1348974830 562760 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1348975095 258027 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :or being chased through a kafkaesque maze by a female gregor < 1348975121 482449 :Gregor!codu@codu.org PRIVMSG #esoteric :I've had some REALLY interesting mentions on this channel of late >_> < 1348975129 482228 :Gregor!codu@codu.org PRIVMSG #esoteric :I hope female me has hair as fabulous as male me. < 1348975193 215267 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :One hopes. < 1348975226 721931 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :somehow i think she dresses like tom baker < 1348975234 570417 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :even though you don't < 1348975254 773640 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :^i think < 1348975323 330873 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :is there something like http://subterfugue.org/ but working on modern linux < 1348976129 873690 :mig22!~miguelort@bb116-15-0-183.singnet.com.sg JOIN :#esoteric < 1348976565 609408 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :there is https://github.com/dustin/labrea which is a bit different, but also very cool < 1348977023 97519 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I made the Ptolemaic just intonation to work with Famicom with the exact ratios in all octaves (if using equal temperament, you get approximate ratios which are less precise in higher octaves). < 1348977561 459912 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :Cue ominous choral music < 1348978404 236584 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What ominous choral music? < 1348980513 858440 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :"行今if君欲it、an他界a待s君。為不君呉上onit、君噛the手that餌s君。" Okay, English written with Chinese characters is really silly looking. < 1348980690 177922 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :"行 今 if 君 欲 it、an 他界 a待s 君。為不 君 呉 上 on it、君 噛 the 手 that 餌s 君。" < 1348980695 887350 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :And only slightly less strange space'd < 1348980744 752409 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :what does it say? < 1348980760 37451 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :google translate gives pinyin but i can't read it as english < 1348980784 868318 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :"Go now if you want it, an otherworld awaits you. Don't you give up on it, you bite the hand that feeds you." First couple lines of "Otherworld", from the FFX soundtrack. < 1348980789 489180 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Random boredom. < 1348980795 36153 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :heh, that song! < 1348980807 97035 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i haven't thought about that song in, like, 10 years < 1348980809 925129 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :pretty good one though < 1348980820 489709 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Kinda partial to Uematsu music. < 1348980823 612695 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric ::) < 1348980827 67049 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i wonder if english written with arabic alphabet works ok < 1348980846 195029 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :you can do so many cool things with arabic letters, typographically / calligraphically speaking < 1348980885 422452 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :If it weren't for the random has-to-be-alphabetic bits, English in Chinese characters basically works. Except, of course, you really need to know your characters to do it. < 1348980911 85723 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Like, that whole phrase only repeats 君... < 1348981349 683058 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :naming stuff is hard < 1348981354 816977 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :what is a good way to name things < 1348981393 120935 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Throw the Scrabble tiles on the floor, whichever ones land face up, mixed up their order and use that as their name. < 1348981412 574148 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@fresh < 1348981412 768637 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Hahr < 1348981997 601139 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1348984914 954309 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I made up Famicom Hangman it works so far! Only things left to add is tme limit and 7166 more phrases (I already have 514). < 1348984968 333063 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Some people name programs after Italian foods. < 1348985005 33579 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I suppose that is one way. < 1348985512 799077 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If you have phrases (single words is also OK) to add to Famicom Hangman you can suggested it. Rules are: Maximum length is 32 (but recommended maximum 30; text is centered and the edge is outside of the NTSC safe area). Letters (all converted to uppercase, although input is case-insensitive), digits, spaces, and some punctuation is allowed: - , . ? ! / & ' " < 1348985528 350491 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(nine kinds of punctuation) < 1348985563 202221 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(Actually, : and ; are also allowed, making eleven kinds of punctuation) < 1348985579 955035 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, and also parentheses, I forgot that. < 1348988164 307328 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :using chrome element inspector to fix typographical errors in the page i'm reading < 1348988493 881555 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Can you tell it to save the changes, though? < 1348989868 410343 :atriq!~nathan@host-84-13-94-10.opaltelecom.net JOIN :#esoteric < 1348989910 579383 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :I had a dream that I was playing a sidescrolling platformer/shoot-em-up with randomly generated levels < 1348989910 774474 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :atriq: You have 3 new messages. '/msg lambdabot @messages' to read them. < 1348990041 208847 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :but was it good < 1348990053 264980 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :I wasn't very good at it < 1348990085 471672 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :It had lava and turrets < 1348990089 680370 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :No wait < 1348990094 851383 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :They weren't turrets < 1348990097 662875 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :They were people < 1348990114 883985 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :what does that mean < 1348990147 308526 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :were there people shaped like turrets? did a wizard turn people into turrets? < 1348990169 420543 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :It means they were people who acted like turrets < 1348990175 219970 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :i.e. standing still shooting at me < 1348990194 789320 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net PRIVMSG #esoteric :maybe they had bad legs < 1348990204 395005 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Maybe < 1348990792 13571 :ogrom!~del@143.122.191.90.dyn.estpak.ee JOIN :#esoteric < 1348990934 947171 :zzo38!~zzo38@24-207-49-17.eastlink.ca QUIT :Remote host closed the connection < 1348992297 601503 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net JOIN :#esoteric < 1348992313 718358 :Sgeo_!~Sgeo@ool-ad034d00.dyn.optonline.net QUIT :Read error: Connection reset by peer < 1348992553 983922 :Indecipherable!~Indeciphe@41.30.67.68 JOIN :#esoteric < 1348992806 548594 :atriq!~nathan@host-84-13-94-10.opaltelecom.net QUIT :Remote host closed the connection < 1348992906 215572 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348992999 514796 :TeruFSX!~quassel@65-128-188-237.mpls.qwest.net QUIT :Read error: Connection reset by peer < 1348993433 143594 :Indecipherable!~Indeciphe@41.30.67.68 QUIT :Quit: used jmIrc < 1348993843 830994 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net JOIN :#esoteric < 1348994061 776362 :barts!~barts@p57AEA1EF.dip.t-dialin.net JOIN :#esoteric < 1348994088 526124 :barts!~barts@p57AEA1EF.dip.t-dialin.net PRIVMSG #esoteric :hi guys < 1348994136 250094 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Hey < 1348994140 246667 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :`welcome barts < 1348994151 503554 :HackEgo!codu@codu.org PRIVMSG #esoteric :barts: 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.) < 1348994223 247718 :barts!~barts@p57AEA1EF.dip.t-dialin.net PRIVMSG #esoteric :oh hi < 1348994225 805476 :barts!~barts@p57AEA1EF.dip.t-dialin.net PRIVMSG #esoteric ::) < 1348994272 114078 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 244 seconds < 1348994448 578431 :Vorpal!~Vorpal@unaffiliated/vorpal JOIN :#esoteric < 1348997056 900863 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1348997076 419129 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Why did I think it would be a good idea to port mcmap to Haskell < 1348997302 257679 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1348997863 699257 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :@ask fizzie If I, in the near future, were to ask you questions regarding the implementation of mcmap, could you easily answer them? < 1348997863 894022 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1348997871 248616 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net QUIT :Quit: Leaving < 1348998050 102931 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :because doing what normal people would consider useless things is highly esoteric < 1348998271 141361 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 244 seconds < 1348998373 120114 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i think just as images can be stored as lossy and lossless, maybe programs can be stored as lossy and lossless < 1348998581 200919 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :to be honest i think its the sort of nonsense zzo38 might have a cogent opinion on < 1348999862 148365 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net QUIT :Quit: hello < 1349000340 461514 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1349000353 945685 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1349000596 300739 :aloril_!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi QUIT :Ping timeout: 244 seconds < 1349001008 740984 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349001401 18031 :aloril_!~aloril@dsl-tkubrasgw3-fe7ef900-153.dhcp.inet.fi JOIN :#esoteric < 1349002354 724599 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 240 seconds < 1349002514 177641 :jiella!~jiella@cs27103076.pp.htv.fi JOIN :#esoteric < 1349003291 823993 :barts_!~barts@p57AEBCE6.dip.t-dialin.net JOIN :#esoteric < 1349003483 398139 :barts!~barts@p57AEA1EF.dip.t-dialin.net QUIT :Ping timeout: 260 seconds < 1349003757 464537 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1349003766 724680 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hallo < 1349004183 743296 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :hi < 1349004483 756514 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349004578 434129 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :ggggh the coffee maker is full of delicious coffee < 1349004583 566699 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I love coffee < 1349004591 87991 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :no you don't < 1349004593 455488 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :coffee is bad < 1349004595 242509 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :you are ba < 1349004596 111881 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :d < 1349004596 306774 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :but if I drink coffee I won't be able to sleep tonight < 1349005868 463693 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net JOIN :#esoteric < 1349006132 339497 :Jafet!~Jafet@unaffiliated/jafet JOIN :#esoteric < 1349006320 181620 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :@messages? < 1349006320 376473 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Sorry, no messages today. < 1349006324 47562 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Yay! < 1349006351 465566 :ion!ion@heh.fi PRIVMSG #esoteric :@massages < 1349006351 698674 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :You don't have any new messages. < 1349007009 595944 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :what the hell < 1349007038 574829 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :the internet connection in these halls has an upstream more than twice as fast as the downstream < 1349007072 868320 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Lol < 1349007102 88455 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :They got the package that says "we're hosting a bunch of websites! Yay" < 1349008126 325851 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :They say you're not allowed t run servers too, it makes no sense < 1349008150 732049 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :How... how do they know if you're running a server? < 1349008155 32641 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Wait < 1349008164 367863 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :There's loads of ways they can know if you're running a server < 1349008176 854305 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Maybe Coventry University has an evil plan to take over the world < 1349008371 148722 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :And they're gonna use all the upload speed to take over the internet < 1349008389 737860 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 260 seconds < 1349008397 937258 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :The reason this doesn't make sense is because the philosophy department created the plan and nobody can be bothered to shut them up < 1349008692 894318 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Blaxxun. Y U NO EXIST ANYMORE? < 1349010523 206703 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Wait < 1349010523 928609 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :Hmm < 1349010527 966483 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :What number's opaque? < 1349010531 620417 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :255? < 1349010531 815099 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :0? < 1349011538 286679 :jiella!~jiella@cs27103076.pp.htv.fi QUIT :Quit: Leaving. < 1349011713 580019 :Jafet!~Jafet@unaffiliated/jafet PRIVMSG #esoteric :If you're not sure, go with 127.5. < 1349011713 778892 :ion!ion@heh.fi PRIVMSG #esoteric :−42 < 1349012052 901802 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :in Java, Math.OPAQUE < 1349013115 468497 :ogrom!~del@143.122.191.90.dyn.estpak.ee QUIT :Quit: Left < 1349013719 102594 :atriq!~Taneb@host-84-13-94-10.opaltelecom.net QUIT :Quit: Leaving < 1349014413 366821 :MoALTz!~no@host-92-2-116-150.as43234.net JOIN :#esoteric < 1349015782 306834 :mig22!~miguelort@bb116-15-0-183.singnet.com.sg QUIT :Quit: mig22 < 1349016723 108389 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :wait, is "whitespace" invariable? < 1349019807 604849 :Slereah!~jackal@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr QUIT :Ping timeout: 276 seconds < 1349019866 739091 :Slereah!~jackal@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1349020254 368781 :clog!~nef@bespin.org QUIT :Ping timeout: 240 seconds < 1349020308 963460 :AnotherTest!~tim@94-224-22-26.access.telenet.be JOIN :#esoteric < 1349020315 395307 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :Hello < 1349020377 950220 :ogrom!~del@gprs-inet-65-12.elisa.ee JOIN :#esoteric < 1349020391 623877 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :On Wikipedia, programming language pages have this side bar thing which shows some basic but useful information (paradigms, creator, year of creation etc.); maybe we could do this on the esolangs wiki too? < 1349020402 466649 :HackEgo!codu@codu.org QUIT :Ping timeout: 240 seconds < 1349020402 661078 :EgoBot!codu@codu.org QUIT :Remote host closed the connection < 1349020440 688659 :HackEgo!codu@codu.org JOIN :#esoteric < 1349020441 263467 :EgoBot!codu@codu.org JOIN :#esoteric < 1349020582 358691 :Nisstyre-laptop!~yours@oftn/member/Nisstyre QUIT :Remote host closed the connection < 1349020822 882518 :EgoBot!codu@codu.org QUIT :Remote host closed the connection < 1349020854 330975 :EgoBot!codu@codu.org JOIN :#esoteric < 1349020894 514110 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349020968 852340 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :I believe it's called an "info box" < 1349021636 82409 :ion!ion@heh.fi PRIVMSG #esoteric :A couple of photos from the GPS receiver connected to my NTP server. http://imgur.com/a/WtaOp < 1349022082 335884 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :AnotherTest: maybe bf derivatives should have their own infoboxes. < 1349022573 619592 :AnotherTest1!~tim@94-224-22-26.access.telenet.be JOIN :#esoteric < 1349022574 75405 :AnotherTest!~tim@94-224-22-26.access.telenet.be QUIT :Read error: Connection reset by peer < 1349022782 550630 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 255 seconds < 1349023188 198301 :clog!~nef@bespin.org JOIN :#esoteric < 1349023513 518913 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349023556 862306 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Read error: Connection reset by peer < 1349023819 844896 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"Ultimate GPS Breakout" is kind of an impressive name, I'll give it that. < 1349023820 118243 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :fizzie: You have 1 new message. '/msg lambdabot @messages' to read it. < 1349023824 464852 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@messages < 1349023824 660121 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :atriq asked 7h 12m 41s ago: If I, in the near future, were to ask you questions regarding the implementation of mcmap, could you easily answer them? < 1349023845 470836 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@tell atriq That really depends on the questions. < 1349023845 666598 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349023860 943832 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :@tell atriq With a nonzero likelihood, yes, I suppose. < 1349023861 138680 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349024183 377933 :AnotherTest1!~tim@94-224-22-26.access.telenet.be NICK :AnotherTest < 1349024258 420031 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :lifthrasiir: Perhaps that could be a field in the input box? "Derived from:"/"Derivative of:" < 1349024326 702376 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :ah, I was thinking of mappings from 8 BF primitives to derivative codes < 1349024606 926172 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :*info box < 1349024749 554103 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :Any wiki admins interested in this idea? < 1349025061 871301 :AnotherTest!~tim@94-224-22-26.access.telenet.be PRIVMSG #esoteric :@ask ais523 On Wikipedia, programming language pages have "info boxes" which show some basic but useful information. Maybe we could do this on the esolangs wiki too? (To give you an idea of the information that the boxes would contain; I was thinking of: paradigms, creator, year of creation, derived from, influenced by, influenced, specification, reference implementation etc. < 1349025062 102536 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349025242 592146 :Slereah!~jackal@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr QUIT : < 1349026949 963064 :elliott!~elliott@unaffiliated/elliott JOIN :#esoteric < 1349026955 851135 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :lifthrasiir: congratulations on your IOCCC win < 1349027034 562633 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :elliott: thanks < 1349027059 963572 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349027083 467058 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :I was actually in hurry and ended up with reusing a year old code (very subtly modified though) < 1349027108 213203 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :so I never thought that it would win < 1349027147 346655 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :which one is yours? < 1349027180 71493 :lifthrasiir!~lifthrasi@222.122.156.78 PRIVMSG #esoteric :Best short program: Seonghoon Kang - Decodes spelled out numbers < 1349028745 908363 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 QUIT :Ping timeout: 246 seconds < 1349029046 171598 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 256 seconds < 1349029092 267073 :MoALTz!~no@host-92-2-116-150.as43234.net QUIT :Read error: Connection reset by peer < 1349029116 265433 :ion!ion@heh.fi PRIVMSG #esoteric :Where’s the source? < 1349029133 112402 :MoALTz!~no@host-92-2-116-150.as43234.net JOIN :#esoteric < 1349029601 974344 :jix!~jix@jixco.de QUIT :Quit: Lost terminal < 1349029852 949095 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 JOIN :#esoteric < 1349030014 431791 :jix!~jix@jixco.de JOIN :#esoteric < 1349030527 659407 :zzo38!~zzo38@24-207-49-17.eastlink.ca JOIN :#esoteric < 1349030710 982071 :jiella!~jiella@cs27103076.pp.htv.fi JOIN :#esoteric < 1349031089 782111 :ais523!~ais523@unaffiliated/ais523 JOIN :#esoteric < 1349032231 305170 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :zzo38: I wrote down your idea for a "trigger" operator http://esolangs.org/wiki/Kkipple < 1349032303 98518 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :I also included an "execute" stack which executes its content as Kkipple code when triggered, though I'm not sure it really fits with the rest of the language < 1349032532 198964 :Nisstyre!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1349033653 164068 :AnotherTest!~tim@94-224-22-26.access.telenet.be QUIT :Quit: Leaving. < 1349033917 872787 :Nisstyre-laptop!~yours@oftn/member/Nisstyre JOIN :#esoteric < 1349033918 818970 :kinoSi!~kinosi@27-96-32-84.ipq.jp QUIT :Read error: Connection reset by peer < 1349033947 599957 :kinoSi!~kinosi@27-96-32-84.ipq.jp JOIN :#esoteric < 1349033991 816859 :oklopol!~oklopol@dyn58-51.yok.fi QUIT :Read error: Connection reset by peer < 1349034008 250585 :oklopol!~oklopol@dyn58-51.yok.fi JOIN :#esoteric < 1349034172 621134 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :also I thought the @ stack could be used not only to ease outputting numbers, but for input as well < 1349034217 201550 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :so I made it that pushing a number onto it would push the ascii codes of its digits instead, and triggering it would merge the digits inside into a number < 1349034303 240382 :oerjan!oerjan@sprocket.nvg.ntnu.no JOIN :#esoteric < 1349034315 233515 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :problem is, getting digits from input into it is kind of hard, for instance if input is '1', io>@* will actually make the number 49 and not 1 < 1349034364 90312 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :the simplest solution seems to have two different stacks, one for turning digits into a number, and one for turning a number into digits < 1349034390 267106 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :or maybe only one stack, but triggering it would toggle it between the two roles < 1349034395 503060 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :hello oerjan < 1349034398 671807 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hi < 1349034444 539704 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :my brain is unlikely to be of help today because the housemate has a cold and is constantly talking in the phone < 1349034453 251594 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*one housemate < 1349034535 474073 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :which means, by synchronicity, that any mathematical chain of thought is 100% likely to be interrupted by unbearable noise. < 1349034573 673278 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :The close the door < 1349034593 820087 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :zzo38: the door is closed. the walls are "paper thin". < 1349034664 113781 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :if you open the door, though, the thinness of the walls won't matter any longer! < 1349034721 716904 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i discovered to my surprise the walls actually _do_ stop the other housemate's music, probably because he has no real bass speaker. < 1349034750 296578 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well, most of the time. < 1349034913 79832 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr JOIN :#esoteric < 1349034916 522338 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Hey folks < 1349034938 616344 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Slereah: hey you cannot speak, it's untraditional! < 1349034966 610936 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Yes, except fuck you < 1349034973 302367 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wait a minute, have you been gone? it's hard to tell when you never speak. < 1349034978 456201 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Fuck you in the ass with a big rubber dick! < 1349034985 488453 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I changed PC < 1349034991 911562 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :So I had to turn down the IRC for a bit! < 1349034993 472530 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :#esoteric never changes < 1349034995 776719 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :except when it does < 1349035005 498701 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :War never changes. < 1349035014 333506 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Slereah: i have ops and i'm not afraid to ... shutup elliott < 1349035032 522990 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm that was a bit too ambiguous < 1349035042 98122 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i agree, oerjan should kick chickenzilla < 1349035049 880783 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :fuck that guy < 1349035058 549533 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :what did he do < 1349035063 391802 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :idk < 1349035065 653850 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what does anyone do < 1349035087 435016 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :PLOT AGAINST ME < 1349035088 635960 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I mostly drip mucus < 1349035093 606319 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Because cold :( < 1349035118 321219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :thankfully irc is not a sound-based chat < 1349035132 367679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or else i would soon ban you for coughing < 1349035140 580955 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :COUGH < 1349035143 540223 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :COUGH COUGH COUGH < 1349035145 567862 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :C < 1349035146 488234 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :O < 1349035147 309202 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :U < 1349035147 875216 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :G < 1349035148 593365 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :H < 1349035159 332526 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :although spamming might also work. sometimes. < 1349035160 950895 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :coff < 1349035162 449779 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :So anyway < 1349035171 986769 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Anything interesting happened in the last two years? < 1349035179 640135 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Did you solve the halting problem? < 1349035184 514572 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :guess im gonna die cuz i cant stop coffin < 1349035189 300698 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :: D < 1349035199 242971 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :: D < 1349035203 125138 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :: D < 1349035211 774132 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :: < 1349035227 608761 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349035228 388310 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :poor elliott, coughed is lower jaw off < 1349035232 505370 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*his < 1349035246 817003 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i see that soundnfury guy isn't here. did you chase him away < 1349035248 717800 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :I added one idea to list of ideas < 1349035290 690255 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm my underload stuff was last year, wasn't it. < 1349035323 690815 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :So it turns out nobody implemented the languages I was too lazy to implement! < 1349035332 743224 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :I am disappointed in your lack of doing my own work < 1349035336 558466 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :My idea is ANSI codes self-modifiable funge. < 1349035351 281318 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Slereah: i did prove some things turing complete. also i did implement some languages, probably not yours though. < 1349035357 445730 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: is that a yes. come on keep me updated on all the bullshit that happens here < 1349035388 325433 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :elliott: i haven't noticed soundnfury since last he bitched against haskell or something < 1349035413 491260 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :guys i don't understand haskell < 1349035418 861427 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :it's almost as if it's some kind of esoteric languag elOL < 1349035422 682369 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :joke (c) me 2012 < 1349035439 136872 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Slereah: elliott took over as wiki admin, we have featured languages now < 1349035449 692987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :two of them or so < 1349035449 888624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :well it depends what you mean by have < 1349035463 96442 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :i note that as a wiki admin you are responsible for updating those, oerjan < 1349035474 547877 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:37:14: yup, thats it < 1349035474 742390 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:37:51: any huevos, I think imma let you computer geeks do your stuff < 1349035474 742558 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:37:55: now < 1349035474 742664 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:38:22: so long and thanks for listening < 1349035478 412543 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this log looks good < 1349035497 480484 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:03:07: -!- UnknownCharacter has joined #esoteric. < 1349035497 675483 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:03:17: i loveeeeeeeeeeeeeeeeeeeeee < 1349035497 675668 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:06:06: `WELCOME UnknownCharacter < 1349035497 675810 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:06:18: UNKNOWNCHARACTER: 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.) < 1349035497 869916 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :also elliott is rarely here, probably because he's spending most of his time in an alternate reality where i am wiki admin. < 1349035498 363696 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:06:55: i was just passing by < 1349035499 964377 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:07:01: but thanks for welcoming me < 1349035501 968892 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:07:04: oh its just a bot command < 1349035504 175304 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:07:20: it makes for grandoise welcomings < 1349035505 955873 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:07:23: well, fuck u then < 1349035507 956573 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :wow good < 1349035526 886509 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:08:02: srory < 1349035527 81678 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:08:05: ^sorry < 1349035527 277005 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:08:15: im sorry, 2 < 1349035527 277194 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:08:32: let's make out to make up only if u r a hot girl < 1349035529 304624 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :best log ever < 1349035596 95442 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is really good < 1349035606 555690 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:19:22: with the rain covering my tears... i sat down on some stairs leading to a parking lot < 1349035606 750535 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:19:39: can you type a bit faster please < 1349035606 750706 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:19:40: and i wondered why this all happened. < 1349035606 750812 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:19:50: i'm getting bored between messages < 1349035606 750916 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:19:58: dont rush me, emotions cant be rushed < 1349035649 900830 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :hi are you elliott < 1349035653 477799 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :no < 1349035657 163739 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:25:32: lol... okay, I didn't kill myself... but i wish i had thought of that. < 1349035667 656280 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: hi are you < 1349035675 846352 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:28:11: it does seem that way.. he hasn't made any references to brainfuck, lisp, turing, or haskell < 1349035709 689392 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :ooh, elliott is here reading the logs out load < 1349035716 35670 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :*loud < 1349035724 489218 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :yes < 1349035725 31060 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:31:53: so... to deal with your suicidal thoughts as a result of a bitter and traumatising breakup, you came to a channel about weird programming languages < 1349035747 975046 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oh wow < 1349035751 376882 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:32:12: couldn't you talk to a psychiatrist, or one of those helplines they have? < 1349035751 571407 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:32:25: they kinda annoy me < 1349035751 571606 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:32:26: so no < 1349035751 571714 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:32:47: plus, im an artist. < 1349035756 287883 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :oh, just like every one else then < 1349035756 482617 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this is my favourite log ever < 1349035761 798688 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :olsner: we shall now reenact all the embarassing moments of past weeks < 1349035783 444892 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :the ghosts of logs past, here to haunt us yet again < 1349035834 449469 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:35:58: i wonder if he realizes what this channel is about < 1349035834 644275 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :08:36:18: i realize it, but i just ignore the purpose of this channel < 1349035908 373369 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Guys < 1349035909 974672 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :12:06:47: you could say that a couple of while loops had their tests reversed. < 1349035912 432954 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :great metaphor oerjan < 1349035917 175642 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Quit: Leaving < 1349035918 598852 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Why the sudden flux of copypasta! < 1349035921 445620 :Slereah!x@ANantes-259-1-223-46.w83-195.abo.wanadoo.fr PRIVMSG #esoteric :Take it easyyyy < 1349035923 912166 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349035924 888931 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :because i am visiting < 1349035935 55418 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :rules mean nothing < 1349035941 686176 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :he is a tourist he does not know our ways < 1349035948 216775 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :`WELCOME elliott < 1349035950 944252 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Especially not this one. < 1349035954 844809 :HackEgo!codu@codu.org PRIVMSG #esoteric :ELLIOTT: 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.) < 1349035957 38115 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :ACTION shoves elliott in a pot < 1349035978 272230 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric : i wonder if english written with arabic alphabet works ok <-- semitic alphabets (absomethings) only work well for languages that don't put much information into vowels < 1349035979 923968 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :`WeLcOmE < 1349035985 17119 :HackEgo!codu@codu.org PRIVMSG #esoteric :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.) < 1349036002 344134 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*abjads < 1349036011 128348 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :right, abjad < 1349036012 35017 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :`WELcome < 1349036015 50591 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :oerjan: Abjads kinda-sorta work for English. < 1349036015 424019 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: WELcome: not found < 1349036024 925483 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :oerjan: 'bjds knd-srt wrk fr 'nglsh < 1349036025 972139 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :`wElCoMe < 1349036028 632683 :HackEgo!codu@codu.org PRIVMSG #esoteric :​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: wElCoMe: not found < 1349036030 220870 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :13:15:44: half-life 3: the anxiety transferance gun < 1349036030 415618 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :13:16:58: gabe newell is a cyborg at this point < 1349036073 804997 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :oh I thought it would find a pattern of uppercase/lowercase in the inputted welcome, and apply it to its welcoming message < 1349036081 938707 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :that's highly disappointing < 1349036097 221838 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Arc_Koen: we apologise for the inconvenience < 1349036119 585451 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :oerjan: 'f crs, thy 'ls rlly sck fr rdng. ' mn, rlly, ths 's *'nsnly* hrd t rd. :) < 1349036134 247348 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :Arc_Koen: I think you're free to add the missing 120 or so variants if you want to < 1349036160 843966 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :pikhq: and you're cheating on some of the y's too < 1349036180 21551 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :well i guess abjads do that anyway < 1349036181 512224 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :olsner: that's definitely not going on my to-do list < 1349036207 398238 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :`w e l c o m e < 1349036210 351113 :HackEgo!codu@codu.org PRIVMSG #esoteric :20:16:49 up 0 min, 0 users, load average: 0.00, 0.00, 0.00 \ USER TTY FROM LOGIN@ IDLE JCPU PCPU WHAT < 1349036238 874662 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :okay, w already is a command... but it does the wrong thing < 1349036248 866313 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :let's rewrite it < 1349036271 999414 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :No, I think you should keep it how it is. < 1349036275 972229 :ogrom!~del@gprs-inet-65-12.elisa.ee QUIT :Quit: Left < 1349036282 384081 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Make up w_e_l_c_o_m_e if you want to. < 1349036312 669357 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :I don't want to < 1349036326 615239 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :oerjan: Yeah, yeah, yeah. < 1349036328 154123 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK, then don't make up any. < 1349036442 381369 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :one possible but awful solution is to make ` case insensitive but implement ambiguity resolvers for any ambiguous cases < 1349036446 705973 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Whoa, Dan Weinreb died. < 1349036453 664198 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Unexpected. < 1349036477 849266 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :who designed the goddamn doors in these halls < 1349036490 836353 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Sad. < 1349036497 841599 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 PRIVMSG #esoteric :they're carefully designed to slam, seriously < 1349036628 604298 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :ACTION begins to get an evil grin as i ponder the type case_sensitive_identifier < 1349036636 229273 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :^as he ponders < 1349036830 860281 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :oerjan: What are people?????????????????????????????????? < 1349036851 907414 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 QUIT :Ping timeout: 245 seconds < 1349036852 968276 :dajfsa!~dajfsa@95.149.243.112 JOIN :#esoteric < 1349036855 95013 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :i am people < 1349036859 161093 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :qq qq q q qq qqqq qqq < 1349036864 434238 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :q < 1349036869 595356 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :q : ) < 1349036872 698475 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :q hat < 1349036885 532497 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat. < 1349036916 185548 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :dajfsa: What is that? Do you have anything real to write? < 1349036921 588730 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: well dont breathe thuogh. you could die < 1349036927 372415 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :zzo38: :( maybe < 1349036946 105663 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :i think deadfish should be the new featured language < 1349036953 921228 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :mainly b/c i am a dead fish myself < 1349036975 887409 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :a dead fish with a fed dish (the dish was fed to the dead fish) < 1349037021 985545 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :{ int_i i = 0; I++; } < 1349037027 95630 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :it will hurt your eyes < 1349037049 28226 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :im crying itidus21. crying. crying tears < 1349037055 328406 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :from my eyes < 1349037067 48352 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :it's incredibly painful to parse < 1349037098 613751 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :Given my longtime wish to see LaTeX on iOS (and past experiments with porting it myself), I was thrilled to see that TeX appears to have finally made it natively to iOS in the form of TeX Notebook. Naturally once the novelty of being able to typeset on my iPad had worn off I started a spot of digital archaeology to find out how this was done - in summary, it appears (though I could be wrong) that the App's typesetter itself is an x86 emulator, wh < 1349037098 808284 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :ich loads a frozen image of MSDOS6+Tex, and the typesetting is done there. < 1349037124 393104 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Ludicrous. < 1349037129 768954 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :awesome < 1349037230 77836 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i am concluding that dajfsa is _probably_ british. and may be Phantom_Hoover, or otherwise elliott. < 1349037288 762076 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: im actually bird. from outer space. ISS bird. bird originally from canada < 1349037290 282106 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastlog dajfsa> < 1349037299 51955 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :bird big fan of human rights. i mean birdian rights. < 1349037312 220589 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :also, you are hexagon philanthorpist. < 1349037320 670046 :HackEgo!codu@codu.org PRIVMSG #esoteric :2012-09-22.txt:12:47:33: ``` < 1349037325 640731 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :quack < 1349037333 180833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs dajfsa> < 1349037342 986983 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.28948 < 1349037352 699955 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm wait < 1349037354 338165 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :`pastelogs dajfsa < 1349037361 996761 :HackEgo!codu@codu.org PRIVMSG #esoteric :http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.17482 < 1349037385 615950 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :OTOH, maybe oerjan is not actually a person and instead a figment of our imagination. < 1349037388 652791 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :OTOH, maybe so are ducks. < 1349037401 562661 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :OTOOH I don't have that many hands. < 1349037536 365083 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Have you ever heard of video games ? < 1349037558 868607 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :actually i think elliott is more likely than Phantom_Hoover. < 1349037592 507563 :atriq!~nathan@host-84-13-94-10.opaltelecom.net JOIN :#esoteric < 1349037598 632986 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Well it is all relative... America is more likely than Greenland, for instance. And yet they both exist. Why is that? < 1349037628 986490 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: (There is also the matter of ice cream.) < 1349037632 946472 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :america likely? what a ridiculous idea! < 1349037654 514687 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: It's about the probability of enunciation. And daggers. < 1349037657 752355 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :@messages? < 1349037657 947691 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :atriq: You have 2 new messages. '/msg lambdabot @messages' to read them. < 1349037660 282288 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :They have daggers in Portland.............. < 1349037666 21871 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :They have atriq in a museum < 1349037671 979202 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Everyone knows people only come from Hexham. < 1349037679 491442 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :You can't have humans without six pigs. < 1349037697 332433 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :There aren't pigs. Let alone six. There are gerbils however < 1349037716 264027 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Actually the real thing I would doubt is that fountains can even survive without water (hence oxygen) < 1349037732 955187 :pikhq!~pikhq@75-163-149-125.clsp.qwest.net PRIVMSG #esoteric :Hexjerboa? < 1349037736 968685 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :rubbish, there are liquid methane fountains on titan < 1349037789 742092 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Um, you're a liquid methane fountain? Come on have a little respect. < 1349037820 262969 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :no i'm a pun fountain, haven't you noticed? < 1349037831 905375 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Pountain. < 1349037846 630342 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Clowntain (fountain of clowns; like a mountain) < 1349037855 286618 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :shouting is bad for your health anyway < 1349037905 866542 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Heeeeey now..... I didn't order a planet just to get bogged down by wolves who own the sky < 1349037913 281419 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :yep. although coughing is worse. < 1349037922 924310 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :mountain clowns have a lot of clowt < 1349037947 384473 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What is a "hard line" phone? < 1349037952 216323 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Uh , you are not one of the wolves right? I trust business to ferrets < 1349037974 975731 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :zzo38: wall socket < 1349037998 647016 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Someone asked this on BBS Scene global onelinerz < 1349038001 990703 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i'm a metal cancer dog, does that count? < 1349038019 431216 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> rot13 "oerjan" < 1349038020 537328 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Not in scope: `rot13' < 1349038023 85609 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i better double check < 1349038027 818227 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@@ @let rot13 = @where rot13 < 1349038028 344604 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Yes. What is a metal cancer dog ? < 1349038029 585329 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Defined. < 1349038030 590492 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> rot13 "oerjan" < 1349038032 896327 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "brewna" < 1349038034 372306 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> rot13 "shachaf" < 1349038036 507868 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "funpuns" < 1349038043 700211 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric ::o < 1349038046 523533 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Since when does @let foo = @where bar work? < 1349038058 322125 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :And who are anthills anyway < 1349038080 725154 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :dear god < 1349038095 121050 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> rot13 "itidus21" < 1349038097 265649 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "vgvqhf21" < 1349038102 434627 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> rot13 "dajfsa" < 1349038104 519931 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : "qnwsfn" < 1349038104 751334 :augur!~augur@208.58.5.87 QUIT :Remote host closed the connection < 1349038111 829894 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@where friends < 1349038112 25208 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :I know nothing about friends. < 1349038115 592661 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@guesstimate < 1349038115 790251 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Unknown command, try @list < 1349038123 542601 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :shachaf: i had to check on rot13.com that you didn't special case that < 1349038148 293653 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Who doesn't love special cases? Or cesial spaces? < 1349038157 990576 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :that is the best rot13 ever < 1349038179 926968 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> print $ print $ print $ print $ print 4 < 1349038181 90829 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1349038189 942452 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :oerjan: A pun fountain on the fun mountain. < 1349038209 929908 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Don't do that fizzie. We know how are you....... < 1349038212 851397 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I assume that that doesn't work without Caleskell, or whatever Caleskell does to make IO printable < 1349038214 275346 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> fix print < 1349038215 534899 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1349038228 58545 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :You can do actual IO in lambdabot. < 1349038229 910591 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> putStrLn " " < 1349038231 277807 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1349038233 763188 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> print $ (undefined :: IO (a -> IO b)) < 1349038234 979609 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Ambiguous type variable `a' in the constraint: < 1349038235 174864 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : `Data.Typeable.Typeable a... < 1349038242 874758 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Lmao ; ) < 1349038247 363966 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> print $ (undefined :: IO (Int -> IO Int)) < 1349038248 471964 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1349038260 492917 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :hmm, why did I expect that to work < 1349038263 751521 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :later: shachaf's book of fun puns < 1349038275 197834 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :> undefined :: IO Int < 1349038276 285944 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : < 1349038311 813189 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I wonder how the Showable instance manages to grab the name of the types... < 1349038328 890762 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: Typeable constraint < 1349038352 484643 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Excel is an "Excel"lent program for managing your spreadsheets, pick up Microsoft Excel today! < 1349038354 260532 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Ah < 1349038359 943277 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is dajfsa itidus21? < 1349038374 476543 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: no. < 1349038381 986679 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is oerjan shachaf? < 1349038385 800495 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :shachaf: Yes. And yes. < 1349038389 216066 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :But no, no. < 1349038390 112259 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :No. < 1349038393 500557 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :No. No. Maybe? Yes. < 1349038404 273178 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :there is no f way itidus21 could speak like that for any length of time. < 1349038428 454806 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :my newly acquired ip spoofing skills at work < 1349038446 311035 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Is elliott elliott? < 1349038469 996711 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :No. < 1349038473 153993 :atriq!~nathan@host-84-13-94-10.opaltelecom.net PRIVMSG #esoteric :> "elliott" == "elliott" < 1349038474 141927 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : True < 1349038477 210748 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: What is an f way? < 1349038479 533557 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Is it like a q way? < 1349038482 487252 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :q qq q -q -qq qqq -qqqq -qq qq- < 1349038483 310709 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :A equals A. Existence exists. < 1349038484 788856 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :I follow the Q Way Path to the Eternalle in the Sky. < 1349038494 452644 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Sgeo: Tell us more, Ayn! < 1349038494 906327 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i guess there is no -q < 1349038498 321679 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :Sgeo: how objective of you < 1349038500 373738 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :There is -q if you believe in it. < 1349038555 234031 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::k Mu < 1349038556 290281 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(* -> *) -> * < 1349038587 351447 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric ::k Asdf < 1349038588 379502 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: type constructor or class `Asdf' < 1349038607 665220 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :q q q q q q q q q q q q q q q q.. another uneventfuy day at the seti office.. q q q q (qq)_q_q_q ___ wow! < 1349038637 951082 :MoALTz!~no@host-92-2-116-150.as43234.net QUIT :Quit: Leaving < 1349038653 350935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Mu < 1349038654 414878 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: data constructor `Mu' < 1349038659 314411 :monqy!~help@pool-98-108-214-230.snloca.dsl-w.verizon.net JOIN :#esoteric < 1349038664 861221 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ff < 1349038744 855304 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: i think you are concentrating on the wrong parts to spoof < 1349038783 665987 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t Fix < 1349038784 695209 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: data constructor `Fix' < 1349038792 703373 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :> uncps (uncps (cps (cps (*2)) . cps (cps (+1)))) 5 < 1349038794 646140 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 12 < 1349038800 397935 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t mu < 1349038801 586637 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Not in scope: `mu' < 1349038810 744036 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :> cps 3 < 1349038812 89399 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show ((t1 -> t2) -> t -> t2) < 1349038812 283700 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising ... < 1349038815 687738 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :oh whatever < 1349038819 357845 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :What does "cps" and "uncps" means? < 1349038825 604825 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :cps f g = g . f < 1349038828 374166 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :uncps f = f id < 1349038834 234244 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :OK < 1349038839 730069 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oerjan: there is no hidden side to me capable of suddenly being dajfsa < 1349038852 936894 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Why do they need such definitions? < 1349038864 442813 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: ARE YOU SURE < 1349038869 974031 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :of course not < 1349038871 490166 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Since you can write (flip (.)) and ($ id) < 1349038895 152093 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :zzo38; Why does anything need a definition? < 1349038896 823731 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :(I do sometimes write ($ id) in some Haskell programs) < 1349038910 192892 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: What is "spoof"? < 1349038915 340700 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Since they are longer definitions, or class definitions < 1349038927 188869 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Or type definitions < 1349038944 571984 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of writing ($ id) you can write ap id (const id) < 1349038958 652723 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :shachaf: Should not cps be cps x k = k x? < 1349038964 994984 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (`id` id) id `id` id 42 < 1349038965 992674 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 42 < 1349038974 567641 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :shachaf: Yes that would work too if you want to use SKI combinator < 1349038992 564877 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :($) is really the infix id < 1349039017 401068 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But with a more specific type < 1349039033 600833 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (`id` id) (+) `id` id 42 `id` 7 < 1349039034 585674 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 49 < 1349039048 390619 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> ($ id) (+) $ id 42 $ 7 < 1349039049 574250 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : Overlapping instances for GHC.Show.Show (a -> a) < 1349039049 769342 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : arising from a use of `... < 1349039058 474637 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :COMPLETELY DIFFERENT < 1349039093 597304 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It may also have different fixity as well as a more specific type. < 1349039149 15620 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> (`id` 42 `id` 7) (+) -- sadly this still doesn't work, i think < 1349039150 44508 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : The operator `GHC.Base.id' [infixl 9] of a section < 1349039150 239625 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : must have lower pre... < 1349039158 184083 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Instead of (flip (.)) you can write ap (const (ap (ap (const ap) (ap (const const) id)))) (ap (const const) (ap (ap (const ap) (ap (const const) id)) (const id))) < 1349039166 219318 :FreeFull!~freefull@defocus/sausage-lover PRIVMSG #esoteric :Lol < 1349039196 908544 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Well yes you can use SKI combinators if you want to, I think that is what that is isn't it? < 1349039203 341219 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (>>>) `asTypeÒf` flip (.) < 1349039204 326399 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :parse error (possibly incorrect indentation) < 1349039208 280204 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :wat < 1349039212 135568 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric ::t (>>>) `asTypeOf` flip (.) < 1349039213 111698 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a a1 b. (a -> a1) -> (a1 -> b) -> a -> b < 1349039223 316365 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Second tyme lucky - chinese proverb < 1349039308 719359 :atriq!~nathan@host-84-13-94-10.opaltelecom.net QUIT :Ping timeout: 245 seconds < 1349039762 165412 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> let (x $ y) f = f x y; (x * y) f = x f y in (42 $ 7 * 5) (,,) < 1349039763 324206 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : (42,7,5) < 1349039819 198998 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Q < 1349039833 303590 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :K < 1349039839 560907 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric : @ask fizzie If I, in the near future, were to ask you questions regarding the implementation of mcmap, could you easily answer them? < 1349039849 630176 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@tell atriq Only god can answer quuestionas about mcmape < 1349039849 825573 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Consider it noted. < 1349039878 844227 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Are there any uses of the unstable 6502 instructions in which the unstable parts of the operation are irrelevant? < 1349039881 247836 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric : Blaxxun. Y U NO EXIST ANYMORE? < 1349039883 443906 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Sgeo : You are bad < 1349039888 320349 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :...ok i'm now positive dajfsa is elliott, if there was any doubt remaining < 1349039928 292054 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: Friends are suns < 1349039942 187976 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :oerjan: What was Trotsky any way < 1349039972 103401 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Black Sun. Blaxxun. < 1349039976 792184 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Bitmanagement Software. < 1349039981 153027 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :What < 1349039982 191703 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :Doesn't quite fit the pattern < 1349039987 323495 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :Hello < 1349039989 80744 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :*Mismanagement < 1349040001 964033 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Blaxxun < 1349040037 801834 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :IVN is the king of mismanagement < 1349040041 621767 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I want to slap IVN < 1349040047 477292 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oerjan: somehow i doubt managing bits is as fun as it sounds < 1349040050 113947 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :oops < 1349040065 799823 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :didn't mean to type that at you < 1349040152 671988 :carado!~user4539@2a01:e35:2e3d:3ef0:6ef0:49ff:fe73:1fd0 QUIT :Quit: Leaving < 1349040207 611060 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :itidus21: well it's too late now, you chased carado away < 1349040508 938771 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :so.. i guess you can bend a number < 1349040522 758886 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :if you can divide it < 1349040541 285555 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :but then you just get more numbers really < 1349040619 247086 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :uhhhnnn nurghh < 1349040628 285103 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :fnynrrrghhh < 1349040655 141290 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :grjeong < 1349040708 398194 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi QUIT :Read error: Operation timed out < 1349040774 67219 :Sgeo!~Sgeo@ool-ad034d00.dyn.optonline.net PRIVMSG #esoteric :I can move objects with my mind. < 1349040796 101767 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :BUT can you move the lava out of the floor? < 1349041055 336193 :Lumpio-!~matti@62-113-182-248.bb.dnainternet.fi JOIN :#esoteric < 1349041062 604283 :Vorpal!~Vorpal@unaffiliated/vorpal QUIT :Ping timeout: 276 seconds < 1349041064 731401 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :i am mind < 1349041067 470296 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :who minds < 1349041220 212707 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :to mind, perchance to think < 1349041738 764284 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"You need me on your staff, because I'm a man who thinks." < 1349041817 512096 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :(Geoffrey Pyke, reportedly.) < 1349041962 120606 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :a man who sinks! < 1349041984 148076 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :(this pun works in french as well) < 1349042010 62634 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :There's a game Discordians play, it's called "Sink". < 1349042075 682458 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net PRIVMSG #esoteric :nd with that I'm gonna sink into my bed, gnight < 1349042084 628210 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"UPON SINKING: The sinked shall yell 'I sank it!' or something equally as thoughtful." (From the rules.) < 1349042107 137461 :dartman!~dartman@d175-39-7-104.sbr800.nsw.optusnet.com.au JOIN :#esoteric < 1349042123 998747 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1349042137 690825 :dartman!~dartman@d175-39-7-104.sbr800.nsw.optusnet.com.au PART :#esoteric < 1349042248 943717 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shouldn't that be yelled by the sinker rather than the sinked, really? < 1349042266 57199 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :or is that part of the discordianism. < 1349042351 665020 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :It's a bit unclear. < 1349042381 380337 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :"NAMING OF OBJECTS is some times desirable. The object is named by the finder of such object and whoever sinks it can say for instance, 'I sunk Columbus, Ohio!'" -- another rule. < 1349042385 412392 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Perhaps it is supposed to be unclear so that people think of it differently. < 1349042427 685120 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :i shall second that, seeing the rest of the descirption < 1349042508 690900 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Even the Discordian calendar some people think of it differently, there is a perpetual Gregorian to Discordian calendar but the description describes the Julian calendar though; but these definitions have the same result until 2100 AD. < 1349042740 935762 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net JOIN :#esoteric < 1349042819 145673 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Have you ever made a audio with a "masked saw wave"? What I mean by a "masked saw wave" is, if s is the array for the sound sample and k is a constant, then: s[t]=t&k; < 1349042839 496421 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :what's t < 1349042844 760479 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Time < 1349042880 40457 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :thx < 1349043075 627090 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :If it is 4-bit digital-to-analog, then you can use k=15 for saw wave, k=7 for saw wave half volume and one higher octave, k=8 for square wave, k=4 for square wave half volume and one higher octave, and some combination of them canbe used too. < 1349043232 944950 :Arc_Koen!~Arc_Koen@vbo91-6-78-245-243-132.fbx.proxad.net QUIT :Quit: that's dr. turing to you, punk < 1349043415 153298 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :the bending thing was based on an idea i had about 2d origami < 1349044390 496715 :Phantom_Hoover!~phantomho@unaffiliated/phantom-hoover/x-3377486 JOIN :#esoteric < 1349044546 253609 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :"In January 2002, while a junior in high school, Gallivan demonstrated that a single piece of toilet paper, 4000 ft (1200 m) in length, can be folded in half twelve times." well i'll be damned < 1349044650 839559 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :i had an argument once with a smug idiot who insisted you can't ever fold paper that much < 1349044660 672875 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :they didn't concede < 1349044720 677418 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 1200/2^12 < 1349044721 688965 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 0.29296875 < 1349045162 60681 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :Mythbusters I think also folded a big sheet of paper. < 1349045183 464074 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :technically thou fizzie you are a big sheet of paper < 1349045185 104115 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :life thoughts < 1349045195 821651 :fizzie!fis@unaffiliated/fizzie PRIVMSG #esoteric :I suppose. < 1349045222 765392 :olsner!~salparot@c83-252-194-156.bredband.comhem.se PRIVMSG #esoteric :it thoughts, therefore it is < 1349046427 440546 :Jafet!~Jafet@unaffiliated/jafet QUIT :Quit: Leaving. < 1349046678 169081 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :How do you select high intensity CGA palette in QBASIC? < 1349047254 563952 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i had an idea for a MMU with configurable page permissions policy < 1349047276 851379 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc.zzo38.moed < 1349047293 537479 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(kmc: What do you mean?) < 1349047311 402791 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :kmc: Dont lie ......... < 1349047319 67241 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the operating system configures a lookup table for a function whose inputs are the CPU mode, the type of access (rwx), some bits from the page table entry, some of the high bits of the address, and maybe other stuff < 1349047321 613726 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :ACTION is at the AAAAAIRPORT < 1349047331 932940 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: So did soundnfury get bored and leave or something? < 1349047332 670993 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :and the function says whether access should fault or not < 1349047338 759208 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :elliott: i have no idea < 1349047347 495792 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :You're useless, kmc. :( < 1349047354 327557 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :i agree wholeheartedly < 1349047388 278799 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :i think what it boils down to is my problem is i have to work my brain just to maintain a grip on reality < 1349047420 694293 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :not all the time < 1349047434 250387 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :just during certain moments < 1349047465 497556 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :this would let you encode global policy like W^X, kernel can't execute user memory, user can't access top half of memory < 1349047477 684389 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :as well as giving flexibility as to what the page table bits mean < 1349047515 833192 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :basically if we started with a scheme this general, there would be no need for specific additions like NX, SMEP, SMAP < 1349047521 254955 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :of course that's a bit of 20/20 hindsight < 1349047570 603610 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :SMAP adds new instructions which the kernel uses to access user memory, which accesses are forbidden otherwise < 1349047585 226 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :i guess to implement that in my scheme you would feed some spare bits from the instruction encoding and/or a prefix into that look up table < 1349047622 207951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :The Xbox 360 only allows encrypted memory to be executed, if I remember correctly. < 1349047627 4119 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :this sort of thing could be useful for userspace sandboxing as well < 1349047705 770611 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :for example a NaCl-like system could force all control flow instructions to specify a certain input to the permissions function < 1349047715 395096 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :this sounds sort of like @ kmc < 1349047715 837108 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :and then use page table bits to delineate where untrusted code is allowed to jump to < 1349047735 420442 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :well @ is the least upper bound of all ideas in computer science < 1349047759 187648 :itidus21!~itidus21@CPE-120-148-51-163.gdfw1.vic.bigpond.net.au PRIVMSG #esoteric :lol < 1349047814 417700 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :well that's pretty useless though < 1349047821 834319 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :kmc: Did you read about how they managed to get code running on the Xbox 360? < 1349047836 436384 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :because generally "you can jump anywhere within this page" is not a sufficient security rule < 1349047845 81322 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :shachaf: was it a timing attack on the MAC comparison function? < 1349047877 405073 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I don't believe so. < 1349047896 454538 :augur!~augur@c-69-250-16-111.hsd1.md.comcast.net JOIN :#esoteric < 1349047908 119282 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It was a bug in the system call dispatch code, I think. < 1349047933 144073 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :which bug? < 1349047960 317205 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :It only checked the lower 32 bits of an address, or something like that. < 1349047964 815959 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :`addquote this sounds sort of like @ kmc well @ is the least upper bound of all ideas in computer science < 1349047965 265359 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :ah < 1349047968 922768 :HackEgo!codu@codu.org PRIVMSG #esoteric :865) this sounds sort of like @ kmc well @ is the least upper bound of all ideas in computer science < 1349047977 850110 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I saw a presentation about it. It was quite involved. < 1349047996 120624 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I think it was http://www.youtube.com/watch?v=uxjpmc8ZIxM < 1349048027 973086 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: anyway with this you can sort of see dereferencing as a lookup capability < 1349048049 156263 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :like you are given the capability to query a database that is just a version of another database (memory) filtered by a predictae < 1349048065 861914 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I sort of prefer making capabilities as small as possible by construction though < 1349048093 281948 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :so instead of giving the capability (Address -> Maybe Byte) you'd give (SafeAddress -> Byte) where SafeAddress is in some way constructed to ban such things < 1349048099 605739 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :obviously x86 is not very well built for this though < 1349048148 889499 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :(a:Address) -> SafetyProof a -> Byte < 1349048176 14843 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: Yes, but I'm not the biggest fan of that either. < 1349048183 484762 :copumpkin!~copumpkin@unaffiliated/copumpkin PRIVMSG #esoteric :shachaf: doesn't the safety depend on when it's evaluated? < 1349048186 880356 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(a :: SafeAddress) beats (a :: Address, SafetyProof a) in my book. < 1349048224 22236 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Does (a :: PrimeNumber) beat (a :: Number, PrimenessProof a)? < 1349048368 761091 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: It depends on your use-case. < 1349048387 778578 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :shachaf: There's not much use talking about or using unsafe addresses, because an address has no use except to point to some information. < 1349048404 795214 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :So if Address only exists to be used in a tuple with a SafetyProof of it, then I'd rather there just be a SafeAddress to start with. < 1349048417 803576 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Fair enough. < 1349048438 962175 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I wonder what it would be like if all proofs were passed implicitly somehow. < 1349048454 647213 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Note that you need a way to construct SafeAddress. So in the end SafeAddress kind of ends up isomorphic to Byte.) < 1349048472 987978 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :(Which is the Right Thing, because (Byte -> Byte) means "if you have permission to access a byte, then you can access it".) < 1349048578 61376 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty cps (cps (*2)) < 1349048579 174993 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a t2 t21. (Num a) => ((a -> t2) -> t21) -> (a -> t2) -> t21 < 1349048648 68384 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :kmc: (Do you like how I managed to rephrase your idea in a way that turned it into the identity function?) < 1349048651 609704 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :The power of @. < 1349048694 996168 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :lambdabot: @ < 1349048695 264274 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: . ? @ activity activity-full admin all-dicts arr ask b52s babel bf bid botsnack brain bug check choice-add choose clear-messages compose devils dice dict dict-help djinn djinn-add < 1349048695 459286 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :djinn-clr djinn-del djinn-env djinn-names djinn-ver do docs dummy easton echo elements elite eval fact fact-cons fact-delete fact-set fact-snoc fact-update faq farber flush foldoc forget fortune < 1349048695 459536 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :fptools free freshname ft gazetteer get-shapr ghc girl19 google googleit gsite gwiki hackage help hitchcock hoogle hoogle+ id ignore index instances instances-importing irc-connect jargon join karma < 1349048695 459646 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :karma+ karma- karma-all keal kind learn leave let list listall listchans listmodules listservers localtime localtime-reply lojban map messages messages? more msg nazi-off nazi-on nixon oeis offline < 1349048695 459793 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oldwiki palomer part paste ping pl pl-resume pointful pointless pointy poll-add poll-close poll-list poll-remove poll-result poll-show pretty print-notices protontorpedo purge-notices quit quote rc < 1349048695 992438 :kmc!~keegan@ec2-23-23-43-158.compute-1.amazonaws.com PRIVMSG #esoteric :the power of @ < 1349048697 268405 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :read reconnect remember repoint run shootout show slap smack source spell spell-all src tell thank you thanks thx ticker time todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc < 1349048699 270453 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :topic-tail topic-tell type undefine undo unlambda unmtl unpf unpl unpointless uptime url v vera version vote web1913 what where where+ wiki wn world02 yarr yhjulwwiefzojcbxybbruweejw yow < 1349048700 704423 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :the power of @ < 1349048753 281899 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :@yhjulwwiefzojcbxybbruweejw < 1349048753 476432 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :"\"#$%&'()*+,\"" < 1349048775 516025 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Hah, cps f = (. f) < 1349048783 71199 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Whereas theotherthing f = (f .) < 1349048801 405311 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@pl (. f) . (. g) . (. h) < 1349048801 605112 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :(. f) . (. g) . (. h) < 1349048806 472381 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@pl ((. f) . (. g) . (. h)) id < 1349048806 669187 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :h . g . f < 1349048841 767125 :elliott!~elliott@unaffiliated/elliott PRIVMSG #esoteric :I still don't understand why cps f is (. f) rather than ($ f). < 1349048895 250683 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty \f -> (Prelude.. f) < 1349048896 291015 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall b c a. (a -> b) -> (b -> c) -> a -> c < 1349048900 932880 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :@ty \f -> ($ f) < 1349048902 15207 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :forall a b. a -> (a -> b) -> b < 1349049043 599943 :augur!~augur@c-69-250-16-111.hsd1.md.comcast.net QUIT :Read error: Connection reset by peer < 1349049125 410009 :augur!~augur@c-69-250-16-111.hsd1.md.comcast.net JOIN :#esoteric < 1349049155 223474 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ < 1349049172 995932 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :hm? < 1349049175 47897 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> 2 < 1349049176 156965 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : 2 < 1349049179 585253 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :@ < 1349049185 41993 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: You have to have magical artist powers. < 1349049192 368683 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: @ < 1349049192 564276 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Maybe you meant: . ? @ activity activity-full admin all-dicts arr ask b52s babel bf bid botsnack brain bug check choice-add choose clear-messages compose devils dice dict dict-help djinn djinn-add < 1349049192 759195 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :djinn-clr djinn-del djinn-env djinn-names djinn-ver do docs dummy easton echo elements elite eval fact fact-cons fact-delete fact-set fact-snoc fact-update faq farber flush foldoc forget fortune < 1349049192 759360 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :fptools free freshname ft gazetteer get-shapr ghc girl19 google googleit gsite gwiki hackage help hitchcock hoogle hoogle+ id ignore index instances instances-importing irc-connect jargon join karma < 1349049192 759468 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :karma+ karma- karma-all keal kind learn leave let list listall listchans listmodules listservers localtime localtime-reply lojban map messages messages? more msg nazi-off nazi-on nixon oeis offline < 1349049192 759571 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :oldwiki palomer part paste ping pl pl-resume pointful pointless pointy poll-add poll-close poll-list poll-remove poll-result poll-show pretty print-notices protontorpedo purge-notices quit quote rc < 1349049194 565389 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :read reconnect remember repoint run shootout show slap smack source spell spell-all src tell thank you thanks thx ticker time todo todo-add todo-delete topic-cons topic-init topic-null topic-snoc < 1349049196 565699 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :topic-tail topic-tell type undefine undo unlambda unmtl unpf unpl unpointless uptime url v vera version vote web1913 what where where+ wiki wn world02 yarr yhjulwwiefzojcbxybbruweejw yow < 1349049197 900447 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :OKAY < 1349049225 890733 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :> var $ cycle "test\n" < 1349049227 12029 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049227 208809 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049227 208990 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049227 209100 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049227 209202 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049229 12928 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[8 @more lines] < 1349049241 792716 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot: @run var $ cycle "test\n" < 1349049242 940013 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049243 134803 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049243 135005 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049243 135113 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049243 135215 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : test < 1349049244 940818 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[8 @more lines] < 1349049270 311658 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :> var (cycle "q") < 1349049271 356411 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq... < 1349049273 196407 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :> var (cycle "q\n") < 1349049274 159791 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049274 354111 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049274 354301 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049274 354410 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049274 354516 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049276 159185 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[21 @more lines] < 1349049276 391621 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :ok it's not just the prefix < 1349049276 976507 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@more < 1349049278 159304 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049279 36602 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@more < 1349049279 231048 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@more < 1349049279 946945 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :@more < 1349049280 160996 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049282 161648 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049284 155726 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049286 156992 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049288 157699 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :[16 @more lines] < 1349049290 158870 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049292 159120 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049294 160439 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric : q < 1349049295 574473 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :oerjan: kick oerjan < 1349049296 161811 :lambdabot!~lambdabot@li85-105.members.linode.com PRIVMSG #esoteric :Plugin `more' failed with: thread killed < 1349049300 715544 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :kick lambdabot < 1349049365 592809 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :lambdabot is claiming entrapment < 1349049403 101427 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :elliott: Help, how do I say that something is associative and has an identity? < 1349049417 743652 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :It is a monoid, isn't it? < 1349049436 535426 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Well, I want to include categories. < 1349049451 957548 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :O, OK. < 1349049472 609302 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :But even a monoid can be made a category of one object isn't it? < 1349049481 65161 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Right. < 1349049481 260018 :oerjan!oerjan@sprocket.nvg.ntnu.no PRIVMSG #esoteric :shachaf: "it's a category" < 1349049484 810238 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :So I could say category but people would get confused. < 1349049492 946951 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :Because I'm talking about monoids. :-( < 1349049510 965535 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :If I used a lower-case 'c' I'd be technically correct. < 1349049512 769391 :zzo38!~zzo38@24-207-49-17.eastlink.ca PRIVMSG #esoteric :Then say it is a monoid, if you are talking about monoids. < 1349049520 482449 :dajfsa!~dajfsa@95.149.243.112 PRIVMSG #esoteric :shachaf: Monoidagory < 1349049521 745212 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I'm talking about categories too! < 1349049532 207325 :shachaf!~shachaf@unaffiliated/shachaf PRIVMSG #esoteric :I just wrote that it's associative and has an identity.