< 1261872124 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: http://en.wikipedia.org/wiki/Permanent < 1261872176 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Moreover, computing the permanent of a 0-1 matrix (matrix whose entries are 0 or 1) is #P-complete." < 1261872194 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think that's equivalent to your problem < 1261872229 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Thus, if the permanent can be computed in polynomial time by any method, then FP = #P which is an even stronger statement than P = NP." < 1261872244 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :how interesting!! < 1261872286 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :But, P = NP impiles P = PH... Are there any problems known to be in P^#P but not in PH? < 1261872410 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well given that P^FP = P if P=NP, plus the above, i'd say no... < 1261872423 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er wait < 1261872429 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :P^FP = P always < 1261872559 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"One consequence of Toda's theorem is that a polynomial-time machine with a #P oracle (P#P) can solve all problems in PH, the entire polynomial hierarchy. In fact, the polynomial-time machine only needs to make one #P query to solve any problem in PH." (http://en.wikipedia.org/wiki/Sharp-P) < 1261872570 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but i guess that's what you were referring to < 1261872651 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a couple more links brings us to http://en.wikipedia.org/wiki/PP_(complexity) < 1261872753 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"PP is contained in PSPACE" < 1261872827 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Ilari: i think that means no, because it is not known that P != PSPACE < 1261872877 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so if P = PSPACE then P^PP = P containing everything else mentioned < 1261872958 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: The canonical PSPACE-complete problem: Is boolean formula with arbitrary existential and universal operators true? < 1261872984 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION nods
< 1261873025 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :PP has MAJSAT < 1261873139 0 :Ilari!unknown@unknown.invalid PRIVMSG #esoteric :And for many problems that for turing machine are recursively enumerable (undecidable) are PSPACE-complete for linearly bounded automata. < 1261873351 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :mhm < 1261874823 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261874930 0 :Slereah!n=Slereah@ANantes-259-1-50-95.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1261875426 0 :coppro!unknown@unknown.invalid QUIT :Remote closed the connection < 1261875456 0 :oerjan!unknown@unknown.invalid QUIT :"Lost terminal" < 1261876147 0 :Asztal!n=asztal@host86-156-98-70.range86-156.btcentralplus.com JOIN :#esoteric < 1261876569 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261876881 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261876900 0 :fungot!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261876900 0 :dbc!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261876900 0 :yiyus!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261876900 0 :Cerise!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261876926 0 :fungot!n=fungot@momus.zem.fi JOIN :#esoteric < 1261876926 0 :dbc!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1261876926 0 :yiyus!i=12427124@je.je.je JOIN :#esoteric < 1261876926 0 :Cerise!i=jerry@unaffiliated/cerise JOIN :#esoteric < 1261877567 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1261877569 0 :Deewiant!n=deewiant@kosh.hut.fi JOIN :#esoteric < 1261877733 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1261878347 0 :adu!n=ajr@pool-74-96-89-187.washdc.fios.verizon.net JOIN :#esoteric < 1261878961 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261879858 0 :Deewiant!n=deewiant@kosh.hut.fi JOIN :#esoteric < 1261880125 0 :lifthrasiir!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261880125 0 :mtve!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261880300 0 :lifthrasiir!i=lllg5c3A@haje12.kaist.ac.kr JOIN :#esoteric < 1261880300 0 :mtve!n=nnnnnmtv@65.98.99.53 JOIN :#esoteric < 1261880337 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261886260 0 :FireFly!unknown@unknown.invalid QUIT :"Leaving" < 1261886303 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1261886311 0 :adam_d!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261887420 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION ponders the permanent of a 0-1 matrix.
< 1261887497 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :You have n objects and n categories. Each object belongs to some arbitrary set of categories. How many ways are there to pick one object from each category? < 1261887528 0 :coppro!unknown@unknown.invalid PRIVMSG #esoteric :Is that what the permanent of a 0-1 matrix amounts to? < 1261887533 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I believe so. < 1261887561 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er... < 1261887595 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm, i guess so. < 1261887626 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :mind you, exactly one < 1261887642 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1261887652 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, that doesn't work < 1261887662 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Well, the number of objects is equal to the number of categories either. < 1261887673 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :If you're picking at least one from each category, you're picking exactly one from each category. < 1261887695 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you always pick all the objects, and all the categories. it's the _pairing_ that needs to be picked. < 1261887730 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :s/ either// < 1261887767 0 :coppro!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261887869 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :uorygl: it's the number of ways of pairing objects one-to-one with categories < 1261888071 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1261888086 0 :uorygl!unknown@unknown.invalid PRIVMSG #esoteric :I guess "ways" is kind of ambiguous. < 1261889863 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261890201 0 :adu!unknown@unknown.invalid QUIT : < 1261897084 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :http://www.gotopp.org/ < 1261900799 0 :clog!unknown@unknown.invalid QUIT :ended < 1261900800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1261903099 0 :jpc!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261904389 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1261904450 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :C abusers: is there a way to tell if an expression is a constant string or not? Typeof or sizeof magic, etc. Constant meaning things like "abc", "abc" "def", etc. < 1261904506 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261904512 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*chirp* < 1261904523 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :if all the strings are in the .text section the pointer values will be below (above) some threshold < 1261904578 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Use case (hiding the magic) #define REGEXP(s) if (constant(s)) compile in the corresponding compiled regexp else compile in a rubtime call to the regexp compiler < 1261904585 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: in the C itself, not post-linking. < 1261904597 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :*rubtime < 1261904600 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :... < 1261904607 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :*runtime < 1261904678 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I guess the bigger issue is compiling a regexp at compile time, requiring either C execution or spawning a command. < 1261904697 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :seems like something you'd normally want to use lisp for < 1261904698 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Neither of which gcc is wont to do. < 1261904720 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon: Yes, but it's not an interesting task in Lisp. < 1261904727 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :exactly my point < 1261904736 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps a before-link task. < 1261904769 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Looks for some magic planted by the macro, compiles the regexp and links it in. < 1261904781 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :But that's rather heavyweight. < 1261904870 0 :ehirdiphone!unknown@unknown.invalid QUIT :"Get Colloquy for iPhone! http://mobile.colloquy.info" < 1261906485 0 :soupdragon!unknown@unknown.invalid QUIT :"Leaving" < 1261908962 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1261908990 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: a lot of what augur said about Haskell was outright wrong or explained badly. < 1261909016 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone: a lot of it was right and explained correctly. until the monad stuff < 1261909021 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :cause god only knows about monads man < 1261909026 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Btw, anyone trying to prove dupdog sub TC could try to implement it in Total FP. < 1261909051 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION laughs at today's iwc
< 1261909085 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :augur: No, you made factual errors, and your explanations were of your usual style, glossing over and bending around in confusing twists. < 1261909103 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no i didnt and no they werent. :| < 1261909106 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you're just ehird < 1261909112 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :malcontent extraordinaire < 1261909118 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1261909124 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Besides, anyone who couldn't even write a monad tutorial based around a terrible metaphor shouldn't be teaching it. < 1261909134 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hey hey relax, why can't you _both_ be right < 1261909144 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1261909145 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or wrong, as the case may be < 1261909146 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :augur: You made factual errors. End of story. < 1261909151 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :couldnt even write a monad tutorial? what? < 1261909155 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which factual erors < 1261909185 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :One being that you can make multiple functions of the same name as long ad their type < 1261909197 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :As their type differs < 1261909225 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :This is false. You apparently discover typeclasses a few lines after stating this. < 1261909236 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :But typeclasses do not do this either. < 1261909246 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :er < 1261909266 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well, perhaps you cannot do it precisely as i said < 1261909270 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :but you pretty much can, ehird. < 1261909274 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehirdiphone: dupdog in Total FP seems unlikely. after all iirc it is pretty clear that some dupdog programs don't terminate < 1261909275 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :typeclasses _do_ do this. < 1261909280 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I would write more but seeing as all your explanations last five years i've forgotten most of it < 1261909287 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :augur: You are wrong. < 1261909318 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: hmm. Darn. < 1261909323 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :well then ill let you bullshit an explanation for how you can have >>= defined differently for different kinds of monads. < 1261909342 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in a way thats dependent on the particular monad involved < 1261909364 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Those are not multiple definitions of (>>=). < 1261909371 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh right sorry < 1261909381 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :its just >>= appearing in multiple places < 1261909385 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :in definitions... < 1261909391 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :with different type signatures in each place < 1261909395 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :how silly of me < 1261909429 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: please tell him to shut up. your name is in the report after all < 1261909449 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :else I'll be forced to explain what typeclasses actually are < 1261909458 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that would be an argument by miniscule authority? :D < 1261909458 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :On an iphone < 1261909468 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ehird, iknow well enough what type classes are < 1261909473 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :To an arrogant person who thinks he knows haskell < 1261909482 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ehird stop talking about yourself < 1261909495 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: More tiny than Russell's Teapot! < 1261909519 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh god if only there were some sort of tutorial < 1261909521 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :on haskell.org < 1261909528 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :that explained overloading of functions! < 1261909528 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :augur: Did you really just say: < 1261909532 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :woe is me! D: < 1261909534 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1261909534 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :http://www.haskell.org/tutorial/classes.html < 1261909548 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :"i know you are but what am i?" < 1261909560 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :could it BE? < 1261909607 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :could it BE that this document actually says that you can overload a function by defining it differently for different types as they vary under a type class? < 1261909612 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :my god! < 1261909617 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i think it DOES! < 1261909618 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :D: < 1261909634 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :You are honestly the most ignorant, self-centered person I have ever had the displeasure of being talked at by on this channel. Cue "I know you are but what am I". < 1261909657 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh god ehird im so hurt by your displeasure at my being ignorant < 1261909667 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :(>>=)'s polymorphism does not mean it is more than one function. < 1261909674 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :You are a fool. Goodbye. < 1261909682 0 :ehirdiphone!unknown@unknown.invalid QUIT :"Get Colloquy for iPhone! http://mobile.colloquy.info" < 1261909688 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what a child. < 1261909695 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :must be them hormones :D < 1261909718 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :"oh its not more than one function! i swear! its just defined COMPLETELY dependent upon the type, meaning there are different LAMBDAS but its the same NAME so its only one function!" < 1261909790 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :"and you're an arrogant fool who goes around talking about haskell but _I_ know more about haskell! more than spj himself!" < 1261909819 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :augur: for the millionth time, stop exaggerating < 1261909836 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sorry; i respond to cunty behavior with cunty behavior. < 1261909841 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :not that hes here anymore or anything buit < 1261909968 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :there is probably a point to which ehird is correct, ofcourse. < 1261910003 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*GASP* < 1261910026 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :type classes do actually enforce certain type restrictions so having f :: a -> a and f :: a -> a -> a isnt possible i think < 1261910031 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :GASP indeed! < 1261910053 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :see, im not above acknowledging when someone is correct < 1261910101 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :unfortunately thats about it. other than, the functions _do_ differ in type < 1261910238 0 :ehirdiphone!n=ehirdiph@91.105.122.30 JOIN :#esoteric < 1261910258 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :class WrongAgainBatman a b where f :: a -> b < 1261910283 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :instance WrongAgainBatman a (a -> a) where ... < 1261910285 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1261910319 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :class IHaveToHaveTheLastWord a where idiot :: a -> Bool < 1261910347 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :instance IHaveToHaveTheLastWord Ehird where idiot a = true < 1261910353 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :TEEHEE I MADE A HASKELL INSULT < 1261910356 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :I SO SMARTYPANTS < 1261910406 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Shit insults without substance, hastily translated into code. I was proving you wrong, not saying "augur is a nitwit on crack", although indeed that is accurate. < 1261910434 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you were proving me wrong huh < 1261910437 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :WAT A PROOF OH MAN < 1261910443 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :I see any further interaction will be epitomic in its boringness. < 1261910484 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :maybe you should leave again! < 1261910495 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :augur: I showed a direct counter example to the statements you made immediately preceding it. < 1261910516 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :How is that in any way not a disproof of those statements? < 1261910525 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :how is it a counter example. < 1261910555 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Because you can have f :: a -> a -> a and f :: a < 1261910561 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric : -> a < 1261910570 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :From one source < 1261910573 0 :Pthing!unknown@unknown.invalid QUIT :Remote closed the connection < 1261910584 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Which you said was impossible. < 1261910617 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :did i? im pretty sure I said I think < 1261910620 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which means i wasn't certain < 1261910621 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :If you didn't understand the code snippet, well, maybe some Haskell knowledge would help. < 1261910645 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :which means demonstrating it (which you didnt, since you didnt exactly type a -> a -> a now did you?) merely clears up uncertainty < 1261910650 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :augur: You say "think" a lot but all the surrounding language was certain. < 1261910680 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :WELL THEN YOU MIGHT WANT TO RECONSIDER HOW YOU UNDERSTAND ENGLISH HUH < 1261910684 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Also, I didn't type it out, but my code was a direct counterexample. < 1261910703 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :was it? cause i dont see how < 1261910737 0 :ehirdiphone!unknown@unknown.invalid PRIVMSG #esoteric :Because you do not understand Haskell code. Why am I wasting my time, incidentally? < 1261910740 0 :ehirdiphone!unknown@unknown.invalid QUIT :"Get Colloquy for iPhone! http://mobile.colloquy.info" < 1261910752 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :such a child. < 1261910905 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :http://esolangs.org/wiki/Axo <-- Expanded the description. Any comments? < 1261911846 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :* oerjan laughs at today's iwc <-- me too! < 1261911976 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Btw, anyone trying to prove dupdog sub TC could try to implement it in Total FP. <--- I have been thinking about various sub-TC languages, and I can't think of a way. Plus what oerjan said later. < 1261912009 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : oerjan: please tell him to shut up. your name is in the report after all <--- what report? < 1261912022 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, what report did he mean? < 1261912053 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the haskell 98 report < 1261912053 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : To an arrogant person who thinks he knows haskell <-- please tell me when you get back: do you claim you know haskell? ;) < 1261912093 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, heh, how comes your name is in there? < 1261912116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :some corrections < 1261912328 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1261913798 0 :adam_d!n=Adam@client-82-28-6-31.brhm.adsl.virginmedia.com JOIN :#esoteric < 1261913879 0 :lament!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1261913900 0 :lament!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1261914051 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261914906 0 :Asztal!n=asztal@host86-156-193-188.range86-156.btcentralplus.com JOIN :#esoteric < 1261919946 0 :MizardX!unknown@unknown.invalid QUIT :"reboot" < 1261920310 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261922427 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261922481 0 :Deewiant!n=deewiant@kosh.hut.fi JOIN :#esoteric < 1261923098 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261923109 0 :Deewiant!n=deewiant@kosh.hut.fi JOIN :#esoteric < 1261923297 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1261923515 0 :Deewiant!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261923515 0 :dbc!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261923515 0 :fungot!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261923515 0 :yiyus!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261923515 0 :Cerise!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :Slereah!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :pikhq!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :sebbu!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :SimonRC!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :EgoBot!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :jix!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :HackEgo!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :lifthrasiir!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :mtve!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :puzzlet!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :bsmntbombgirl!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :MizardX!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :Asztal!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :rodgort!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :uorygl!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :fizzie!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :comex!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :Ilari!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :cal153!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :FireFly!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :adam_d!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :coppro!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :augur!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :AnMaster!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :mycroftiv!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :ineiros!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924154 0 :Leonidas!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261924155 0 :Deewiant!n=deewiant@kosh.hut.fi JOIN :#esoteric < 1261924155 0 :MizardX!n=MizardX@unaffiliated/mizardx JOIN :#esoteric < 1261924155 0 :Asztal!n=asztal@host86-156-193-188.range86-156.btcentralplus.com JOIN :#esoteric < 1261924155 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261924155 0 :lament!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1261924155 0 :adam_d!n=Adam@client-82-28-6-31.brhm.adsl.virginmedia.com JOIN :#esoteric < 1261924155 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261924155 0 :mtve!n=nnnnnmtv@65.98.99.53 JOIN :#esoteric < 1261924155 0 :lifthrasiir!i=lllg5c3A@haje12.kaist.ac.kr JOIN :#esoteric < 1261924155 0 :Cerise!i=jerry@unaffiliated/cerise JOIN :#esoteric < 1261924155 0 :yiyus!i=12427124@je.je.je JOIN :#esoteric < 1261924155 0 :dbc!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1261924155 0 :fungot!n=fungot@momus.zem.fi JOIN :#esoteric < 1261924155 0 :Slereah!n=Slereah@ANantes-259-1-50-95.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1261924155 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1261924155 0 :rodgort!n=rodgort@li14-39.members.linode.com JOIN :#esoteric < 1261924155 0 :puzzlet!n=puzzlet@147.46.241.168 JOIN :#esoteric < 1261924155 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1261924155 0 :bsmntbombgirl!n=gavin@97-124-201-100.hlrn.qwest.net JOIN :#esoteric < 1261924155 0 :pikhq!n=pikhq@75-106-100-139.cust.wildblue.net JOIN :#esoteric < 1261924155 0 :uorygl!n=warrie@lunch.normish.org JOIN :#esoteric < 1261924155 0 :sebbu!n=sebbu@ADijon-152-1-48-158.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1261924155 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1261924155 0 :mycroftiv!n=infernus@h69-128-47-243.mdsnwi.dedicated.static.tds.net JOIN :#esoteric < 1261924155 0 :fizzie!i=fis@iris.zem.fi JOIN :#esoteric < 1261924155 0 :EgoBot!n=EgoBot@codu.xen.prgmr.com JOIN :#esoteric < 1261924155 0 :cal153!n=cal@c-69-181-46-213.hsd1.ca.comcast.net JOIN :#esoteric < 1261924155 0 :SimonRC!n=sc@fof.durge.org JOIN :#esoteric < 1261924155 0 :jix!n=jix@188.40.47.54 JOIN :#esoteric < 1261924155 0 :comex!i=comex@c-98-210-192-54.hsd1.ca.comcast.net JOIN :#esoteric < 1261924155 0 :HackEgo!n=HackEgo@64.62.173.65 JOIN :#esoteric < 1261924155 0 :Ilari!n=user@a88-113-39-59.elisa-laajakaista.fi JOIN :#esoteric < 1261924155 0 :Leonidas!n=Leonidas@unaffiliated/leonidas JOIN :#esoteric < 1261924155 0 :ineiros!n=itniemin@james.ics.hut.fi JOIN :#esoteric < 1261924657 0 :BeholdMyGlory!n=behold@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1261926978 0 :lament!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261926978 0 :adam_d!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261926979 0 :AnMaster!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261926979 0 :coppro!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261926979 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261926979 0 :FireFly!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261926979 0 :augur!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261927022 0 :anmaster_l!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1261927042 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1261927510 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261927510 0 :adam_d!n=Adam@client-82-28-6-31.brhm.adsl.virginmedia.com JOIN :#esoteric < 1261927510 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261927510 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1261927510 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1261927534 0 :adam_d_!n=Adam@82.28.6.31 JOIN :#esoteric < 1261927611 0 :lament!n=lament@S0106001b63f462cc.vc.shawcable.net JOIN :#esoteric < 1261928326 0 :adam_d__!n=Adam@client-82-28-6-31.brhm.adsl.virginmedia.com JOIN :#esoteric < 1261928463 0 :adam_d_!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261928463 0 :adam_d!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261928464 0 :coppro!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261928464 0 :Gracenotes!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261928464 0 :FireFly!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261928464 0 :augur!unknown@unknown.invalid QUIT :farmer.freenode.net irc.freenode.net < 1261928775 0 :adam_d_!n=Adam@82.28.6.31 JOIN :#esoteric < 1261928775 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261928775 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261928775 0 :augur!n=augur@c-71-196-120-234.hsd1.fl.comcast.net JOIN :#esoteric < 1261928775 0 :Gracenotes!n=person@wikipedia/Gracenotes JOIN :#esoteric < 1261929799 0 :adam_d_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261930770 0 :adam_d__!unknown@unknown.invalid NICK :adam_d < 1261934021 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261934055 0 :Asztal!n=asztal@host81-129-119-162.range81-129.btcentralplus.com JOIN :#esoteric < 1261937873 0 :soupdragon!n=somebody@unaffiliated/fax JOIN :#esoteric < 1261940055 0 :osaunders!n=osaunder@89.241.41.82 JOIN :#esoteric < 1261940944 0 :calamari!n=calamari@ip72-211-145-161.tc.ph.cox.net JOIN :#esoteric < 1261943287 0 :coppro!unknown@unknown.invalid QUIT :"I am leaving. You are about to explode." < 1261943421 0 :coppro!n=coppro@unaffiliated/coppro JOIN :#esoteric < 1261944017 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :so quiet D: < 1261944034 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hey uorygl you here? < 1261944869 0 :poiuy_qwert!n=poiuy_qw@74.13.131.12 JOIN :#esoteric < 1261945662 0 :coppro!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1261946345 0 :Pthing!n=pthing@cpc11-pres4-0-0-cust168.pres.cable.virginmedia.com JOIN :#esoteric < 1261947242 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261947595 0 :FireFly!unknown@unknown.invalid QUIT :Connection timed out < 1261947661 0 :FireFly!n=firefly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1261948085 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :augur, not quiet here < 1261948088 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you spoke ;P < 1261948089 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and me too < 1261948107 0 :soupdragon!unknown@unknown.invalid PRIVMSG #esoteric :I'm the only one that hasn't spoken < 1261948115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :soupdragon, until then < 1261950094 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :add me to the list < 1261950430 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :google should have a reverse image search < 1261950435 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as in < 1261950446 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you provide an *image* and it tries to locate images like it < 1261950454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :and their context < 1261950712 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1261950715 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :That'd be awesome < 1261950719 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I think I've read something about it < 1261951483 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, what?! it exists? < 1261951502 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I imagine it would take a lot of computation < 1261951543 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I don't know if it _exists_, but I think I saw something on Google about something similar < 1261951551 0 :calamari!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1261952561 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, hm < 1261953389 0 :Asztal!n=asztal@host81-129-119-162.range81-129.btcentralplus.com JOIN :#esoteric < 1261954064 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261954142 0 :Slereah!n=Slereah@ANantes-259-1-16-187.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1261955125 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hm I should start using gigaångström for measurement < 1261955128 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, ^ < 1261955140 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it equals 10 cm says units(1) < 1261955156 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Yeah < 1261955168 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :1Å is 10nm or 0.1nm < 1261955171 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I always forget which < 1261955178 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :0.1 < 1261955182 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Ah < 1261955187 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Whatever, never liked it < 1261955195 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Swedish sounds so wrong in such contexts < 1261955196 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, it's like attoparsec < 1261955201 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :which is iirc around 3 cm < 1261955202 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or such < 1261955215 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :3.0856776 < 1261955233 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Or a furlong per fortnight, which is around 1 cm / minute < 1261955260 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Pretty slow < 1261955264 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1261955265 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Snail speed < 1261955272 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, how long is a furlong? < 1261955289 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Wikipedia probably knows < 1261955291 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :Around 200 m IIRC < 1261955292 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1261955305 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes 201.168 meters says units(1) < 1261955330 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/List_of_unusual_units_of_measurement < 1261955339 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Swedish sounds so wrong in such contexts <-- pronounce it in English "angstrom" < 1261955348 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :of course that sounds worse < 1261955355 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Still < 1261955355 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :it sounds like their "smorgasbord" < 1261955360 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :sounds wrong to me < 1261955403 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :And what's the reason for having a unit for 0.1nm anyway? < 1261955416 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :FireFly, atoms < 1261955420 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :0.8nm makes more sense than 8Å for me < 1261955430 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :8 Å < 1261955431 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :you mean < 1261955435 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe < 1261955859 0 :Sgeo!n=Sgeo@ool-18bf618a.dyn.optonline.net JOIN :#esoteric < 1261956180 0 :MizardX!unknown@unknown.invalid QUIT :"zzz" < 1261956640 0 :Azstal!n=asztal@host86-162-151-12.range86-162.btcentralplus.com JOIN :#esoteric < 1261956681 0 :soupdragon!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1261956990 0 :soupdragon!n=somebody@unaffiliated/fax JOIN :#esoteric < 1261957343 0 :Asztal!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1261957949 0 :Azstal!unknown@unknown.invalid QUIT :Connection timed out < 1261958007 0 :Asztal!n=asztal@host86-162-151-12.range86-162.btcentralplus.com JOIN :#esoteric