< 1234742407 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Brb < 1234742411 0 :FireFly!unknown@unknown.invalid QUIT :"Later" < 1234742415 0 :Slereah_!n=fff@ANantes-259-1-78-39.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1234743105 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :ACTION doesn't get Banks < 1234743147 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think it's a cultural thing < 1234743169 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :I meant in Golly < 1234743192 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :way to ruin my pun < 1234743339 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1234744751 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i like you pun. :| < 1234744814 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION does a happy dance < 1234745588 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1234746245 0 :GreaseMonkey!n=gm@unaffiliated/greasemonkey JOIN :#esoteric < 1234746731 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1234752928 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :EVERYBODY DO THE R M R F SLASH DAAAANCE < 1234753764 0 :Dewio!unknown@unknown.invalid NICK :Dewi < 1234754647 0 :psygnisfive!unknown@unknown.invalid QUIT :Remote closed the connection < 1234755539 0 :psygnisfive!n=psygnisf@c-71-57-164-119.hsd1.fl.comcast.net JOIN :#esoteric < 1234761545 0 :chuck!unknown@unknown.invalid QUIT :"Reconnecting" < 1234761548 0 :chuck!n=charlie@207.mudoo.net JOIN :#esoteric < 1234761825 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1234761914 0 :bsmntbombdood!n=gavin@97-118-134-43.hlrn.qwest.net JOIN :#esoteric < 1234767653 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Bye all < 1234767669 0 :Sgeo!unknown@unknown.invalid QUIT :"Leaving" < 1234771199 0 :clog!unknown@unknown.invalid QUIT :ended < 1234771200 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1234775947 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Client Excited" < 1234778801 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1234779107 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :omgwtfxkcd < 1234779540 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :o.o; < 1234779547 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :its uh.. slightly.. stupid. < 1234779555 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :and by slightly i mean very. < 1234779567 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and by very you mean enormously. < 1234780285 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1234780286 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :let's see < 1234780389 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :let's drink and sing and do the hokey pokey < 1234780481 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :okay not loading is not very funny, i admit it. < 1234780505 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :positively a 1 on the scale < 1234780655 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :on what scale? C, R, N? < 1234780678 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh my connection is local only, no wonder i can't access the nets.. < 1234780691 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :que < 1234780711 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's a numeric scale. < 1234780724 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you'd think if the mirc dude can write a strong ai to converse with me, he'd also manage to make it check whether i'm online. < 1234780729 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it goes up to either 9, or 10. < 1234780740 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean of course i notice if it keeps talking to me even when i'm offline. < 1234780749 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or possibly 6, if you're in norway < 1234780847 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :btw could someone network-knowledgeable tell me why exactly i can always irc even when my internet is down? probably vista's just lying to me ofc. < 1234780850 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also i'm not an AI, i'm a platonic ideal and you are really sitting in a cave, watching shadows. < 1234780871 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i always found that comparison kinda stupid < 1234780902 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no idea but recently IE has started acting up on me so i see a similar phenomenon < 1234780946 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's weird, after i close all IE windows it won't connect again, until i restart the machine < 1234781037 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also it takes a while having the windows open before it happens on closing < 1234781057 0 :oklofok!n=nnscript@a91-153-121-248.elisa-laajakaista.fi JOIN :#esoteric < 1234781069 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :can you connect with anything other than irc/http? < 1234781071 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i thought the xkcd was okay. < 1234781078 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and i disconnected < 1234781079 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also, did you hear anything i said? < 1234781082 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :resay everything you said < 1234781088 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ARGH < 1234781092 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD < 1234781106 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i take that as a sign it was stupid, and refuse :/ < 1234781121 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :k i'll read logs < 1234781129 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since the only actual _advice_ was after you rejoined :D < 1234781135 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1234781209 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i disconnected because i flipped the switch on and off < 1234781210 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i _suspect_ my virus scanner, since it happened after an update of it that coincidentally made it work properly in other ways < 1234781250 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :suspecting is a sign of having a hunch < 1234781251 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :otoh there were some Windows security updates too, when i think about it. < 1234781287 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so what was so bad about pep talk? < 1234781304 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it was a *groan* kind of joke < 1234781321 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, k < 1234781441 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :much better than any kind of pun could ever be imo, and xkcd has had those < 1234781455 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :puns are a lesser category of jokes < 1234781461 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i _thought_ it had something to do with a full virus scan bringing my laptop nearly to its knees, but yesterday it happened again even though i have turned off the automatic scheduling < 1234781473 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :of course it's kinda stupid he explains it < 1234781484 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION swats oklofok viciously -----### < 1234781522 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :he could've more like boosted his talk, now we *really* need to start playing < 1234781533 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :vicicivicivi < 1234781558 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is icv tc < 1234781560 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah a bit of that british understatement thing < 1234781567 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what is icv < 1234781573 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :``icv < 1234781576 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :veni vidi vici < 1234781591 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err british understatement thing? < 1234781592 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :doubt it < 1234781608 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :less doubting, more proving! < 1234781617 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the british invented understatements, surely < 1234781633 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :unless they stole it from the ancient romans < 1234781644 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't know, as i cannot read jokes in latin < 1234781680 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well lessee i recall adding i to subtle cough did not achieve much < 1234781704 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :don't recall checking it thoroughly < 1234781712 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well seems you'd just end up building pipes, then using them to achieve nothing < 1234781716 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if my intuition about i is right < 1234781725 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i expect the same methodology to work though < 1234781752 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :there is no s, so no real duplication, so i suspect it's not tc < 1234781766 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm trutru < 1234781782 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :could make a stronger claim: unlambda without s is probably not tc < 1234781797 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :less b more v! < 1234781817 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but, umm, yeah, prolly < 1234781831 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i just want my tc cough combinators < 1234781871 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`ci = `i(*) = (*) = `cc iirc < 1234781960 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :``cci = `(`*i)i = `ii = i < 1234782057 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :seems i need to find something to eat < 1234782076 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm the continuations mean applying i first need not be trivial < 1234782083 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`ic = c ofc < 1234782112 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but `i`cc = `i(`i*) = (`i*) < 1234782121 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :admittedly that's probably = (*) < 1234782138 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok applying i is still trivial < 1234782220 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so < 1234782221 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :``ccA < 1234782221 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :``c(`*A)A < 1234782221 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :`(`*A)A < 1234782221 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :`AA < 1234782223 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is this right < 1234782243 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1234782247 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :did you do just that < 1234782248 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1234782250 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :heh :D < 1234782254 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :something like it < 1234782284 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i always do that, i see you do something, but before i start thinking what it is, i get an idea, try it out, and realize i did what you did. < 1234782292 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1234782314 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and _still_ you don't believe in the subconscious ;D < 1234782319 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean i invented your continuation syntax after not understanding how yours worked from taking a glimpse at it. < 1234782323 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1234782333 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i believe in *a* subconscious! < 1234782340 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :wait do i? probably not < 1234782386 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so it seems adding i adds only i < 1234782404 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`iv = `vi = v < 1234782450 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`cv = `v(*) = v < 1234782504 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`vA = v if A terminates without throwing a cont. < 1234782504 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but so for any function f, `f`ci = `i(`f*) = (`f*), and `f`cc = `c(`f*) = `f(*), how are they are the same? < 1234782513 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :adding i adds only i? < 1234782546 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :to subtle cough that is < 1234782556 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :right < 1234782605 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er `f`ci = `f(`f*) < 1234782626 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :assuming f is not a complex expression < 1234782646 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :umm ofc right < 1234782669 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :always forget the returning < 1234782742 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :``ccv = `(`*v)v = `vv = v < 1234782746 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :continuations are a bit hard to analyze with syntactic transforms. < 1234782759 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a tiny bit < 1234782761 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :they lack locality < 1234782795 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the thing is when you apply an equation `cc = (*), you need to replace () by the continuation you put it in < 1234782855 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm so in theory you should not do that until `cc becomes the next term to evaluate < 1234782887 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so you mean you need to have strict evaluation also in the rewriting? < 1234782892 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1234782910 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :with continuations, are there multiple normal forms? < 1234782929 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i don't know < 1234782949 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if not, are there infinite loops resulting from single missteps? < 1234782955 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i don't know either. < 1234782978 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is there actually any theory of combinators + continuations? i mean obviously it's goddamn fucking interesting. < 1234783011 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well of course it would just be the theory of lambda calculus + continuations < 1234783016 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but i haven't seen that theory either < 1234783048 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well there is obviously a theory of lambda calculus + continuations, since that is known to have a curry-howard isomorphism with classical boolean logic < 1234783065 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :s/obviously // < 1234783095 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh. i see i see. < 1234783147 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :continuations allow you to extract the law of excluded middle < 1234783168 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and what would that be? < 1234783180 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :A or not A < 1234783214 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1234783255 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or something like that. not not A => A is simpler < 1234783278 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :basically, not A is the type of a continuation that takes a value of type A < 1234783310 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm this is not clear at all < 1234783356 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :http://xkcd.com/380/ <<< i don't get this < 1234783384 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i know very little about CHI. < 1234783409 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: basically, not A is the type of a continuation that takes a value of type A <<< i don't even get this. < 1234783448 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's a basilisk. if you look at a basilisk, you die. < 1234783480 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if you see its face, or something < 1234783481 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ohhh, i thought ":)" somehow indicated it was a snake :P < 1234783499 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The "BSLSK" should've been a clue. < 1234783519 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, but i read it as "old schoold" < 1234783521 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*school < 1234783557 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :poll: does oklofok need a new monitor or new glasses? < 1234783571 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :A scary emoticon is the ":)" where the : character is in the bright color -- you know, :), or ^B:^B) -- but I think our +c mode filters that one out. < 1234783572 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :somehow ")" was the sex, it means a snake. i have no idea how, also ":" was its age, it was a two-year-old snake < 1234783586 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but something still bugged me about it... < 1234783647 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :on the internet, no one knows you are a basilisk. until it is too late. < 1234783732 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i read "bslsk", i just thought it was a shorthand for "old school", kinda like ":)" is short for two year old snake... :) < 1234783770 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`v`cc = `v(`v*) = v < 1234783809 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think that pretty much nails it < 1234783857 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :maybe so. < 1234783907 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's ``scc? < 1234783922 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :missing an argument < 1234783978 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah but X reduced, where X is the reduction that's about behavios. < 1234783979 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*behavior < 1234783986 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :eta < 1234784002 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so they were A B E? < 1234784015 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1234784021 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :A being the nothing, E being the behavior, B being umm evaluation? < 1234784048 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i have no clue why those were chosen < 1234784060 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well at least the E < 1234784076 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :import threading < 1234784078 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :import time < 1234784081 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :import sys < 1234784082 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :class InputThread(threading.Thread): < 1234784084 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :def run(self): < 1234784086 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :while True: < 1234784098 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :beh.... I need to type /sp to make it stop < 1234784098 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :```sccf = ``cf`cf = ``f(`*`cf)`cf < 1234784124 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: so it's kinda duplication? < 1234784160 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well s does that < 1234784174 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, but i mean call that C, is it tc? :D < 1234784208 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :you seem i'm trying to come up with supercough, but since i've failed myself, i'm using you to do the actual thinking. < 1234784213 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*you see < 1234784238 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :now that is a recipe for disaster < 1234784241 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so if i come up with it, it's still my idea, you're just the program i used to do the testing. < 1234784247 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :maybe so :) < 1234784287 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean "call that C" < 1234784297 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: well have that as the only combinator < 1234784305 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah. < 1234784328 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well applying it to itself for a start... < 1234784366 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean in general, do continuations add any kind of computational power < 1234784387 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is there a non-tc set of combinators such that adding call/cc makes them tc < 1234784396 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well < 1234784406 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :actually that scc thing doesn't answer that, it's a bit different again < 1234784407 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i would guess there is. but that doesn't necessarily say much. < 1234784415 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't? < 1234784421 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh your guess doesn't < 1234784425 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well true, it doesn't. < 1234784440 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually i wasn't talking about my guess < 1234784454 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1234784463 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :then what do you mean, i mean that would be awesome. < 1234784470 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so it does say something < 1234784482 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i mean you can make convoluted things that just miss a little piece to be tc, that doesn't really say much about the power of the missing piece < 1234784524 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it says something about its power < 1234784546 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or well at least the lack thereof does < 1234784593 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :```scc``scc = ``c``scc``c``scc < 1234784612 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er < 1234784616 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :```scc``scc = ``c``scc`c``scc < 1234784699 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric := ````scc(`*`c``scc)`c``scc < 1234784709 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :_maybe_ < 1234784777 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric := ```c(`*`c``scc)`c(`*`c``scc)`c``scc < 1234784811 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well that's just sick. < 1234784827 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm we have a subproblem of `c``scc in there < 1234784893 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`c``scc = ```scc(*) = ``c(*)`c(*) = ``(*)(`*`c(*))`c(*) < 1234784903 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :now that was an immense improvement < 1234784946 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, superficially speaking < 1234784962 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : < 1234784962 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i can't say i still actually *understand* these expressions. < 1234784972 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i think it looks prettier :) < 1234785050 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait of course that simplifies at the next step, it throws a continuation :) < 1234785065 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :`c``scc = ```scc(*) = ``c(*)`c(*) = ``(*)(`*`c(*))`c(*) = (`*`c(*)) < 1234785084 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1234785113 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :now substitute that in < 1234785183 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :```scc``scc = ``c``scc`c``scc = `(``*`c(*)`c``scc)`c``scc i hope < 1234785209 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1234785221 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay that looks kinda nice :) < 1234785239 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the next step is to do the same to the second part < 1234785319 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1234785347 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's wrong, i didn't adjust the (*) < 1234785398 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :```scc``scc = ``c``scc`c``scc = `(``*`c(`*`c``scc)`c``scc)`c``scc < 1234785418 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :you do realize you could just run a few steps in an unlambda interp? i guess they wouldn't show the continuations though < 1234785432 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :indeed they wouldn't < 1234785442 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i have one that does, apart from the actual combinators, but they could be added in a minute < 1234785463 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :of course i don't actually have it anymore, lost a lot of shit when my hd died. < 1234785560 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :one point, maybe it would be worth checking if it actually terminates :D < 1234785593 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but would that actually tell no expressions involving it do? < 1234785594 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ouch it seems not < 1234785600 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :it would at least strongly hint it < 1234785610 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the problem is even that doesn't necessarily say it's not tc :P < 1234785625 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :would be so much easier if i was less dumb. < 1234785636 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :um it really does < 1234785636 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i could just answer my questions myself < 1234785660 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: no not really. it could do useful computation, then always hit somekinda trivial loop afterwards. < 1234785699 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :erm _every_ subexpression of the form ```scc``scc will not terminate if ever evaluated < 1234785728 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and you cannot do anything in this language that doesn't start with just that < 1234785730 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well that does say it's not tc. < 1234785775 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but i meant that subexpression could've used the upper continuation in its nonterminating loop, and somehow done computation anyway < 1234785782 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :I HAVE NO IDEA < 1234785837 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh of course ``cA`cB is a well-known construction in unlambda, someone was playing with it just the other day, it tends to create infinite loops < 1234785890 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :someone where? < 1234785896 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :here on channel < 1234785929 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i see i see, i've been a bit offline. < 1234785935 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :whoever made that unlambda bot < 1234785944 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird i think < 1234785950 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well he made an unlambda interp < 1234785953 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :so... < 1234786017 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :anyway if an expression does not contain an embedded continuation, then it initially has access only to its containing one < 1234786050 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :makes sense. < 1234786063 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which means even if it _does_ throw a continuation, it will end up looking like a normal return from the outside < 1234786092 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so if it doesn't terminate, it cannot interact with the outside at all < 1234786119 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :finally the monkey catches the titanium ball < 1234786127 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm convinced < 1234786131 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i should eat something now < 1234786181 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION was briefly wondering if that was a weird metaphor or if you were playing some game on the side < 1234786202 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Which one was it? I'm still wondering. < 1234786203 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :both, i'm playing the game with you < 1234786653 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay < 1234786655 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :seriously < 1234786657 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm gonna go now < 1234792860 0 :oerjan!unknown@unknown.invalid QUIT :"Cibus" < 1234793813 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :why isn't my quicklog playing < 1234793837 0 :ehird!unknown@unknown.invalid NICK :ehird|away < 1234793846 0 :ehird|away!unknown@unknown.invalid NICK :ehird < 1234793971 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1234794152 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i conclude miau sucks dicks < 1234794155 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :multiple dicks < 1234794455 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :04:03:57 oh of course ``cA`cB is a well-known construction in unlambda, someone was playing with it just the other day, it tends to create infinite loops < 1234794456 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah, me < 1234794475 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :```ci`c.ai prints a forever < 1234794485 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :``ci`cX = infinite Xs :D < 1234794492 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Noooooooooooo < 1234794498 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what < 1234794905 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :INFINITY < 1234794959 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ya < 1234796477 0 :FireFly!n=FireFly@1-1-3-36a.tul.sth.bostream.se JOIN :#esoteric < 1234796532 0 :BeholdMyGlory!n=arvid@d83-183-181-73.cust.tele2.se JOIN :#esoteric < 1234797457 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://dobbscodetalk.com/index.php?option=com_myblog&show=Porting-D-to-the-Mac-Pt.-3.html&Itemid=29 < 1234797460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :finally < 1234797733 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :On a Macintosh monitor, the notional resolution is 72 dots-per -inch < 1234797733 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But on a Windows monitor the resolution is (usually) 96 dpi < 1234797736 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :how things change < 1234797844 0 :MigoMipo!n=MigoMipo@84-217-2-97.tn.glocalnet.net JOIN :#esoteric < 1234801441 0 :Corun!n=Corun@94-193-40-216.zone7.bethere.co.uk JOIN :#esoteric < 1234801894 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so, who's alive < 1234802491 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok < 1234802866 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::< < 1234803502 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is not alive < 1234803520 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :"bye" < 1234803522 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yay < 1234803523 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1234803930 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : loeb : forall u : U. Bew (imp (bew u) u) -> Bew u < 1234804265 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loeb loeb loeb loeb < 1234804276 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loeb is the essence of computing loeb. < 1234804368 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :who here's used llvm? < 1234804727 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :loeb is a quite stange theorem < 1234804747 0 :ais523!n=ais523@147.188.254.110 JOIN :#esoteric < 1234804760 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It is loebelicious, clearly. < 1234804785 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :"Assuming you'd believe that if you believe a statement, then that statement is true. Would you then believe the statement was true ?" < 1234804788 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1234804818 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(for any specific "statement" you like to consider) < 1234804831 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Undefined, because that's a recursive definition < 1234804834 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no? < 1234804837 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :wrong ! < 1234804848 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :loeb's theorem is *provable* < 1234804869 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :weird. < 1234804881 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it seems like you can't unwrap the belief to truth without assuming that, no? < 1234804936 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(given a suitable interpretation of "believe" .. here "you" can e.g. be the formal system of Peano Arithmetic, and "believe" means that Peano Arithmetic can prove that Peano Arithmetic can prove the statement) < 1234804956 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah. < 1234805034 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is interested in finding computable interpretations of loeb's theorem < 1234805059 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(i.e. as a programming function) < 1234805120 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :exists, I'm pretty sure < 1234805132 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://blog.sigfpe.com/2006/12/tying-knots-generically.html < 1234805137 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> loeb :: Functor a => a (a x -> x) -> a x < 1234805138 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :> loeb x = fmap (\a -> a (loeb x)) x < 1234805140 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loeb loeb loeb loeb loeb < 1234805141 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hi ais523 < 1234805157 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1234805227 0 :BeholdMyGlory!n=arvid@d83-183-183-70.cust.tele2.se JOIN :#esoteric < 1234805331 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ehird : yes, that's something like what i want < 1234805346 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :the "only" trouble with that is that it's inconsistent < 1234805383 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :loeb [(\[x,y] -> y),(\[x,y] -> x)] < 1234805385 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :will diverge < 1234805425 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :i want interpretations which will terminate (or be productive, if codata), given terminating (productive) inputs < 1234805594 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: specialize it on just functions? < 1234805598 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loeb :: a -> ((a -> x) -> x) -> a -> x < 1234805606 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err < 1234805610 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :loeb :: (a -> ((a -> x) -> x)) -> a -> x < 1234805621 0 :Deewiant!unknown@unknown.invalid QUIT :Read error: 131 (Connection reset by peer) < 1234805658 0 :Deewiant!n=deewiant@iruel.hut.fi JOIN :#esoteric < 1234805790 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :loeb (\() f -> f ()) () < 1234805795 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :would diverge, too < 1234805886 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ski__: "Assuming you'd believe that if you believe a statement, then that statement is true. Would you then believe the statement was true ?" <<< is there something paradoxical i'm missing here? < 1234805932 0 :sebbu2!n=sebbu@ADijon-152-1-86-71.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1234805942 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: if you believe something, do you necessarily believe you believe it? < 1234805971 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or can people be mistaken about what they believe? < 1234805973 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ais523 : yes, that's also a good question (but not what `loeb' above is about) < 1234805985 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :oklofok : depends on whether you've found anything paradoxial < 1234806041 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :believing is when you've decided to hold something as true. < 1234806070 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :therefore by definition if you believe, you believe you believe. < 1234806085 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :of course this might not be a definition suitable for everyone, i just hate philosophy. < 1234806096 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, should probably join #philosophy again < 1234806103 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric : < 1234806130 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :8| < 1234806136 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :holy shit that's hot stuff :D < 1234806143 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :Conceited reasoner^[1]^[4]: A reasoner is conceited, if they believe they are never inaccurate. A conceited reasoner will necessarily lapse into an inaccuracy. < 1234806164 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :Peculiar reasoner^[1]^[4]: A reasoner is peculiar if there is some proposition p such that they believe p and also believe they don't believe p. Although a peculiar reasoner may seem like a strange psychological phenomenon, a peculiar reasoner is necessarily inaccurate but not necessarily inconsistent. < 1234806168 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :wtf finnish dude mentioned on page < 1234806201 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: try coming up with a good type for it, then using lambdabot's @djinn? < 1234806219 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(also obviously .. see also stanford's encyclopedia of logic) < 1234806243 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1234806249 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[]([]P->P)->[]P < 1234806251 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :Unstable reasoner^[1]^[4]: A reasoner is unstable if there is some proposition p they believe that they believe p, but don't really believe p. This is just as strange a psychological phenomenon as peculiarity, however, an unstable reasoner is not necessarily inconsistent. < 1234806265 0 :sebbu3!n=sebbu@ADijon-152-1-10-105.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1234806271 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'll consider [] a box because it looks like one < 1234806281 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :yes, that's loeb's rendering in Provability logic < 1234806286 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(a -> ((a -> p) -> p)) -> a -> p < 1234806291 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yeah that's my specialized loeb < 1234806302 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has been reading "The Logic of Provability", by George Boolos, recently < 1234806323 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :they believe p but don't really believe p? < 1234806332 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what's "really"? < 1234806341 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :i want to interpret `[] a' as code representing an expression of type `a' (that you can pattern-match on) < 1234806359 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: well, that's a think < 1234806362 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*thunk < 1234806366 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[] a would be () -> a < 1234806367 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :oklofok : no "they believe that they believe p, but don't really believe p" ! < 1234806381 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: omit really < 1234806385 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :([] [] p) /\ (not [] p) < 1234806390 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :believe (believe p) & (not (believe p)) < 1234806411 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :no, code is not thunks < 1234806423 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ski__: oh, "...some proposition p so that they..." < 1234806429 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i misparsed it < 1234806432 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :`eval' in lisps doesn't operate on thunks < 1234806461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that's kind of detail-y < 1234806472 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: TH? < 1234806473 0 :ais523!unknown@unknown.invalid QUIT :Connection reset by peer < 1234806478 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :if i interpret `[]' as "code of", then one proof of loebs theorem i've seen really appear to be almost < 1234806488 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[template haskell that is] < 1234806496 0 :ais523!n=ais523@147.188.254.110 JOIN :#esoteric < 1234806500 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :((lambda (lambda) `(,lambda ',lambda)) (lambda (lambda) `(,lambda ',lambda))) < 1234806512 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(which i hope you recognize ..) < 1234806518 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that variable name obfuscation is a bit intellectually dishonest :P < 1234806531 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :((lambda (x) `(,x ,x)) (lambda (x) `(,x ,x))) < 1234806540 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :yes, same thing < 1234806554 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :er, actually i forgot an ' < 1234806562 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :((lambda (x) `(,x ,x)) '(lambda (x) `(,x ,x))) < 1234806601 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(if you want, i can remove the "almost" in the above statement ..) < 1234806663 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(ehird : better than TH would be MetaML or MetaOCaml) < 1234806672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ew, why < 1234806682 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :TH is ugly < 1234806705 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :and from what i know, doesn't allow cross-stage persistance or anything similar < 1234806733 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(also, TH is dynamically typed) < 1234806775 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dynamically typed can be fixed < 1234806781 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :type Box a = Q < 1234806799 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :but possibly not without doing violence to the existing system < 1234806811 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :then use (Box a) to mean "code evaluating to something of type a" < 1234806818 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(which wouldn't necessarily be a bad thing ..) < 1234806978 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :how do i express (lambda (x f) `(lambda (y g) ,(f (lambda (z) `(g x `z))))) in TH ? < 1234806987 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1234806988 0 :sebbu3!unknown@unknown.invalid NICK :sebbu < 1234807001 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: not sure :-D < 1234807004 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :( usuing lispy syntax for (hopefully) familiarity) < 1234807006 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ask #haskell? < 1234807034 0 :ais523_!n=ais523@147.188.254.110 JOIN :#esoteric < 1234807036 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :note that e.g. `x' is bound outside the quasi-quote, but used inside it < 1234807232 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :ACTION thinks he would better sink into misty magic land atm, though .. < 1234807314 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: unfortunately, it looks like `eval :: Box a -> a` would be Difficult(TM) < 1234807322 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :since you can get back an ast, but you'd need to use the ghc api to compile & run < 1234807364 0 :kar8nga!n=kar8nga@a-42.vc-graz.ac.at JOIN :#esoteric < 1234807419 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(.. that might not bad that bad, considering that if `[] a -> a' is provable, then the system would be inconsistent, because of loeb) < 1234807430 0 :ski__!unknown@unknown.invalid PRIVMSG #esoteric :(s/bad/be/) < 1234807438 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :true < 1234807448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: you < 1234807454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :'d need lots of magic anyway < 1234807460 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :to turn whatever ghc gives you into a value < 1234807502 0 :ais523!unknown@unknown.invalid QUIT :Nick collision from services. < 1234807504 0 :ais523_!unknown@unknown.invalid NICK :ais523 < 1234807564 0 :Slereah!n=fff@ANantes-259-1-17-136.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1234807840 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ski__: actually, [] a -> a is provable with functions and functors < 1234807847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :\f -> f undefined < 1234807857 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ofc, undefined being provable makes everything provable... < 1234807901 0 :sebbu2!unknown@unknown.invalid QUIT :Connection timed out < 1234807978 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[18:12:45] @djinn a -> ((a -> p) -> p) -> a -> p < 1234807978 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[18:12:46] -- f cannot be realized. < 1234807984 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dun dun < 1234808011 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1234808075 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : i conclude miau sucks dicks < 1234808081 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :shush with your bestiality < 1234808175 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1234808233 0 :kar8nga!unknown@unknown.invalid QUIT : < 1234808463 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : wtf finnish dude mentioned on page < 1234808485 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :this is of course a tremendous coincidence, given that there are only 5 finns or so < 1234808551 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Bye for now all < 1234808570 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you can check out any time you like, but you can never leave < 1234808589 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1234808615 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :he succumbed to peer pressure < 1234808666 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: my point almost to the word. < 1234808714 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure i believe that you believe that you believe that. < 1234808878 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :whee, using a ghc-style "Lazy value = function that calculates then replaces itself with trivial return" is only 0.00-0.02sec slower than "calculate once with normal func, then assign to variable" < 1234808879 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :using llvm < 1234809055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://www.finerrecliner.com/?p=263 what the fuck. < 1234809407 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh oerjan < 1234809411 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i forgot to tell you < 1234809422 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I wrote an ski interp that almost works, and is lazy, and runs ```sii``sii without growing < 1234809429 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how? < 1234809434 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :optmization? < 1234809442 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"garbage collection" < 1234809442 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :reduce :: SKI -> SKI reduce (App (App (App S x) y) z) = App (App x z) (App y z) reduce (App x y) = gc (App (reduce x) y) reduce x = gc x gc :: SKI -> SKI gc (App (App K x) _) = x gc (App I x) = x gc (App x y) = App (gc x) (gc y) gc x = x < 1234809447 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :er < 1234809464 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :reduce :: SKI -> SKI; reduce (App (App (App S x) y) z) = App (App x z) (App y z); reduce (App x y) = gc (App (reduce x) y); reduce x = gc x; gc :: SKI -> SKI; gc (App (App K x) _) = x; gc (App I x) = x; gc (App x y) = App (gc x) (gc y); gc x = x; < 1234809467 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I think you can run ```sii``sii indefinitely lazily by optmizing `ix into x < 1234809477 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it optimizes ``kxy too < 1234809483 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in case you use skk instead of i < 1234809500 0 :kar8nga!n=kar8nga@a-42.vc-graz.ac.at JOIN :#esoteric < 1234809501 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: I think you're independently from me discovering the Underlambda evaluation order < 1234809503 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ah, I think I know why it doesn't work < 1234809505 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fixx'd < 1234809509 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which is "strict or lazy, whatever you like", for most operations < 1234809510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :turn the s thing into < 1234809510 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :reduce (App (App (App S x) y) z) = gc (App (App x z) (App y z)) < 1234809511 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ais523: isn't that what he does... < 1234809514 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :apart from things like I/O, which are always strict < 1234809534 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: it pretty much runs a gc process on every step, eliminating `ix and ``kxy, while leaving ```sxyz to the "real" steps < 1234809619 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: you could make it more efficient by only gc'ing "one level", and do it while building App's, including during parsing. i think. < 1234809633 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: define one leve < 1234809633 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :l < 1234809652 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with my current gc, `````skkkik reduces to i in one step < 1234809654 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i don't like that :< < 1234809660 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it should just make one reduction at a time < 1234809663 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i mean that when building App x y, then gc'ing, you can assume x and y are already gc'ed < 1234809671 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no you can't < 1234809672 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: the same trick works with Underload, actually; if you leave : and S to evaluate in the proper order and just evaluate the others whenever you feel like < 1234809675 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in < 1234809675 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :reduce (App x y) = gc (App (reduce x) y) < 1234809676 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :y isn't < 1234809684 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you could do (gc y) though < 1234809693 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the thing that : and ```sxyz have in common is that they're both needed to create loops < 1234809710 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird: yes it is, assuming you do what i said and gc everything as you build it < 1234809734 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :s/said/meant/, possibly :D < 1234809737 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: makes siisii reduce to siisii in one step < 1234809745 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which breaks my "are we done" checker :D < 1234809752 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and is also wrong < 1234809753 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it should go < 1234809778 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :```sii``sii -> ``i``sii`i``sii -> ```sii`i``sii -> ```siii``sii < 1234809783 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is, only one bit of progress at a time < 1234809826 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :huh < 1234809847 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well, i'm just suggesting an alternate approach for the simplification thing < 1234809854 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :brb < 1234809890 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yeah but who wants a tons more efficient algo < 1234810155 0 :Hiato!n=1@dsl-245-3-235.telkomadsl.co.za JOIN :#esoteric < 1234810163 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oerjan: relatedly, I've been thinking about hyper-optimization of lazy functional languages < 1234810179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(because I can't kick the urge to try and make a high level language finally faster than C, dammit.) < 1234810179 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what's your plan? < 1234810188 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: very tangled. < 1234810224 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i think static typing is needed, for e.g. arithmetic optimization < 1234810241 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(to make inferrances like "we can represent 2+2 as a fixnum") < 1234810312 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omfg. < 1234810313 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :http://cgi.ebay.com/Vintage-NextStation-Color-N1200-Computer-NEXT-SLAB-PC_W0QQitemZ110351324556QQcmdZViewItemQQptZLH_DefaultDomain_0?hash=item110351324556&_trksid=p3286.c0.m14&_trkparms=72%3A1234|66%3A2|65%3A12|39%3A1|240%3A1318|301%3A0|293%3A1|294%3A50 < 1234810320 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :$24.99 NeXtStation < 1234810333 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :only to the us tho < 1234810338 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :better a nextcube too < 1234810347 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :still... sheesh < 1234810561 0 :sebbu2!n=sebbu@ADijon-152-1-48-42.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1234810813 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :region lock-in eh? < 1234810929 0 :jix!n=jix@dyndsl-095-033-072-246.ewe-ip-backbone.de JOIN :#esoteric < 1234810990 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no just shipping :P < 1234811058 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i meant that in an extended sense < 1234811162 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1234811176 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hi ais523 < 1234811198 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi in an extended sense, the letter M inside AnMaster's nick < 1234811252 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :mhm, I really need context to understand that, and atm I'm rather preoccupied in RL < 1234811259 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1234811284 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, so what was that about? < 1234811295 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: there is no context < 1234811302 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's just me being random < 1234811319 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1234811331 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so what do you mean with "in an extended sense"? < 1234811452 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it means "in a sense you'll never find out because you won't read the half page just before you entered" ;D < 1234811560 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1234811663 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, how many lines do you define a page as? < 1234811684 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ACTION makes his irc client 3 window 3 lines high < 1234811750 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :44 < 1234811795 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :er wait, 43 < 1234811806 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :forgot the upper topic line < 1234811831 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, half a page would then start at " and is also wrong" < 1234811848 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also, half a page was an overstatement < 1234811851 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric : i meant that in an extended sense < 1234811857 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1234811858 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :was the line I was referring to, which was the line before you said hi < 1234811861 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it actually starts at omfg. < 1234811892 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, that is because it scrolls down when you type and also long lines wrap < 1234811905 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well duh < 1234812028 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in case it is still not obvious, that was not intended as an accurate measurement < 1234812188 0 :ais523!unknown@unknown.invalid QUIT :Remote closed the connection < 1234812271 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :FUNCTIONS ARE FUNCTIONAL < 1234812304 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :WHAT < 1234812308 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :LAMENT IS ON CRACK < 1234812338 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :REDUNDANCY IS REDUNDANT < 1234812349 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ORANGES ARE ORANGE < 1234812374 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :PINKIES ARE PINK < 1234812389 0 :sebbu!n=sebbu@ADijon-152-1-29-4.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1234812419 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :COMPUTARS ARE COMPUTABLE < 1234812463 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GREEN < 1234812508 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :COMMUNISTS ARE COMMON < 1234812521 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :GREEN -> APPLE -> TREE -> BINARY -> DIGIT -> PINKY -> PINK < 1234812576 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :Some apples are orange. But no oranges are apple. < 1234812584 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[19:28:41] GREEN -> APPLE -> TREE -> BINARY -> DIGIT -> PINKY -> PINK < 1234812586 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you could automate that < 1234812600 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :find word, grep dictionary for word, explore all possibilities with other words in same entries < 1234812606 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :until you find the word you want to connect to < 1234812612 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :I could automate you < 1234812615 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no oranges need apply < 1234812626 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but would you like that huh < 1234812637 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1234812708 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ACTION replaces ehird with a small Python script < 1234812722 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: da-da < 1234812761 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: da. da < 1234812792 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :a small dadaist Python script < 1234812801 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dadadada DADA! < 1234812878 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: dada? :( < 1234812918 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sniffle < 1234812921 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: daa daa? < 1234812961 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Gadji beri bimba < 1234813045 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: ;_; < 1234813254 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :da, da, da da? < 1234813280 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :nyet < 1234813289 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: dada dada < 1234813298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :DADA < 1234813312 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :da... < 1234813324 0 :sebbu2!unknown@unknown.invalid QUIT :Connection timed out < 1234813343 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :da < 1234813409 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :nyet! nyet nyet nyet! < 1234813547 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :setopt pushd_silent < 1234813547 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :alias cd=pushd < 1234813547 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :alias bk=popd < 1234813742 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1234813767 0 :MigoMipo!unknown@unknown.invalid QUIT :"QuitIRCServerException: MigoMipo disconnected from IRC Server" < 1234813873 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :actually, < 1234813874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :my_cd() { dirs=($(dirs)); if [[ ! -z $1 && $1 != $dirs[1] ]]; then pushd $*; fi } < 1234813874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :setopt pushd_silent < 1234813874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :alias cd=my_cd < 1234813874 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :alias bk=popd < 1234813875 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :~ < 1234814094 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1234814221 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sbcl is so hilarious < 1234814297 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you can't compile it without a lisp < 1234814298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1234814356 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you cannot compile ghc without a haskell, either... < 1234814361 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :GCC is so hilarious < 1234814366 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact, without ghc < 1234814367 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :you can't compile it without a GCC < 1234814375 0 :Deewiant!unknown@unknown.invalid PRIVMSG #esoteric :... wait, that's not hilarious. < 1234814379 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes, but it's funnier with sbcl < 1234814381 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because lol < 1234814389 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :* Despite all appearances, I am _not_ high. < 1234814427 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :could be a sugar kick < 1234814486 0 :sebbu2!n=sebbu@ADijon-152-1-29-4.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1234814599 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ACTION compiles sbcl with sbcl XD XD XD. < 1234814605 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :whee look at it go isn't it cute < 1234814609 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yesss it is < 1234814893 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :probably with some added caffeine < 1234814929 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i'll hold my opinion on the ginseng < 1234815057 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :blood sugar --> < 1234815136 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1234815137 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1234815204 0 :Slereah!n=fff@ANantes-259-1-17-136.w92-135.abo.wanadoo.fr JOIN :#esoteric < 1234815549 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1234816294 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1234816415 0 :ais523!i=93bc93e6@gateway/web/ajax/mibbit.com/x-4891aeb07236f401 JOIN :#esoteric < 1234816708 0 :ehird!unknown@unknown.invalid NICK :ehird|away < 1234817275 0 :ehird|away!unknown@unknown.invalid NICK :ehird < 1234817460 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :hello all! :D < 1234817777 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi psygnisfive < 1234817786 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :hey < 1234818362 0 :MigoMipo!n=MigoMipo@84-217-2-97.tn.glocalnet.net JOIN :#esoteric < 1234818710 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :http://mirrors.dotsrc.org/congress/25C3/video_h264_720x576/ <- some interesting talks, and some information about each -> http://events.ccc.de/congress/2008/Fahrplan/events.en.html < 1234819381 0 :sebbu2!n=sebbu@ADijon-152-1-53-163.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1234819739 0 :MigoMipo!unknown@unknown.invalid QUIT :"QuitIRCServerException: MigoMipo disconnected from IRC Server" < 1234820505 0 :ehird!unknown@unknown.invalid NICK :ehird|away < 1234820511 0 :ehird|away!unknown@unknown.invalid PART #esoteric :? < 1234820513 0 :ehird|away!n=ehird@eso-std.org JOIN :#esoteric < 1234820613 0 :ehird|away!unknown@unknown.invalid NICK :ehird < 1234820982 0 :sebbu!unknown@unknown.invalid QUIT :No route to host < 1234821889 0 :sebbu!n=sebbu@ADijon-152-1-53-163.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1234822136 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1234822156 0 :BeholdMyGlory!unknown@unknown.invalid QUIT :Remote closed the connection < 1234822291 0 :Sgeo!unknown@unknown.invalid QUIT :"Leaving" < 1234822305 0 :kar8nga!unknown@unknown.invalid QUIT :Remote closed the connection < 1234822318 0 :Corun!n=Corun@94-193-40-216.zone7.bethere.co.uk JOIN :#esoteric < 1234823044 0 :jix!unknown@unknown.invalid QUIT :"..." < 1234824151 0 :olsner_!unknown@unknown.invalid QUIT :"Leaving" < 1234825760 0 :GregorR!unknown@unknown.invalid QUIT :"Leaving" < 1234825767 0 :GregorR!n=gregor@65.183.185.209 JOIN :#esoteric < 1234825805 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I just set xchat to use my godawful handwriting as its font. < 1234825811 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :It's not even slightly readable. < 1234825920 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::-D < 1234825937 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: W|at y0u saj < 1234825962 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: Damn you. < 1234825990 0 :ais523!unknown@unknown.invalid QUIT :"http://www.mibbit.com ajax IRC Client" < 1234826021 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :H0 OUPS1HC! < 1234826098 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I have no idea what you just said. < 1234826110 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :http://i15.photobucket.com/albums/a379/GregorRichards/handwriting_xchat.png < 1234826112 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :H, zero, oh, you, pee, ess, one, heigh, cee. < 1234826116 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Is what he said. < 1234826131 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :"Eighch" is spelled "eighch" < 1234826132 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: You have some baseline issues there. < 1234826143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No, it's spelled "heich". < 1234826206 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Bah not worse than that < 1234826215 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Actually, it seems to be "aitch" :P < 1234826237 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :No it is heich. < 1234826259 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also, that is so readable GregorR < 1234826262 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you're just blind < 1234826272 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :ehird: EXAGGERATION FOR THE SAKE OF EMPHASIS < 1234826287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :EMPHASIS FOR THE SAKE OF EMPHASIS. < 1234826304 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :REPETITION FOR THE SAKE OF REPETITION < 1234826331 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also, that was supposed to indicate "NO CURSING" < 1234826337 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Pronunciation /heɪtʃ/ and hence a spelling of haitch is usually considered to be h-adding and hence nonstandard < 1234826339 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Wikipedia wins. < 1234826349 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1234826357 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hadding haddocks < 1234826372 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't care, it's wrong. < 1234826376 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ardly hever appen < 1234826382 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :OK, but so's your face. < 1234826440 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ÚÚÚÚÚÚÚÚÚ < 1234826442 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :……………………………………………………… < 1234826661 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fnörð < 1234827361 0 :fungot!n=fungot@momus.zem.fi JOIN :#esoteric < 1234827401 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Forgotteded completely about the botty-bot. < 1234827426 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: forgotteded < 1234827455 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :fungot: please give fizzie some grammar lessons okthx < 1234827455 0 :fungot!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: you're from japan? :p) with the frame fnord?) < 1234827523 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hai < 1234827531 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i've been wondering about fizzie's grammar, did i give him that? < 1234827536 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean i fonder words too < 1234827537 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :stor hvithai, to be exact < 1234827545 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's awesome, fizzie's language. < 1234827546 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and we're both finnish < 1234827548 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i see a connection < 1234827556 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"them" to refer to a single object is my favourite part < 1234827603 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: fonder < 1234827628 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: fonder. < 1234827672 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i do not believe that's a verb, either it's misspelled or you accidentally something < 1234827707 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well you may have accidentally the context < 1234827742 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but i completely your request to correct your errors from the other day < 1234827771 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::o < 1234827774 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sorry, i should have that. < 1234827796 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1234827832 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and i haven't any opportunities before < 1234827863 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i it now, i for so stupid. < 1234827887 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ARGH < 1234827897 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1234827915 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ACTION it too far :< < 1234827915 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :proto: language where everything is a verb < 1234827918 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :kind of like haskell < 1234827926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :natural language that is < 1234827932 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :want a value? make an unary verb. < 1234827935 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oh kinda like english? < 1234827944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ermmmm english isn't all verbs :D < 1234827955 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but, like, if you have a concept like "1" < 1234827958 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :maybe not from your point of view < 1234827962 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :1 = \f. f 1 < 1234827966 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or like < 1234827977 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dog walks -> walks dog < 1234827982 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or I don't know < 1234827991 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i doubt anyone here does ;) < 1234828052 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in lojban, every root word is a verb... but i guess you mean you could apply every subsentence as if it were a verb or something? < 1234828087 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :lalna kinda does that... it's kinda oklotalk but a natural language; also similar to oklotalk in that it's unfinished. < 1234828100 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: how can you not have found grammar to correct? < 1234828102 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1234828111 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i intentionally talk very, very confuzzlatorily < 1234828126 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well < 1234828130 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: You may have had some sort of influence on it, yes. < 1234828130 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i guess i haven't done that then < 1234828157 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: did you know your nick has a palindrome in it? < 1234828204 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: well you've certainly started now < 1234828225 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Although I think my in-query-talk with ineiros has also been some sort of a cause for my unstandardish speech patternsies. < 1234828241 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: The "izzi" part? < 1234828250 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, the 'f' < 1234828262 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[23:50:25] Although I think my in-query-talk with ineiros has also been some sort of a cause for my unstandardish speech patternsies. < 1234828265 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :does ineiros talk oddly? < 1234828280 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1234828283 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION should oddly oftener < 1234828285 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[23:47:32] in lojban, every root word is a verb... but i guess you mean you could apply every subsentence as if it were a verb or something? < 1234828292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :basically, eliminate adjectives, adverbs, nouns, ... < 1234828298 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :just have absolutely everything be a verb. < 1234828304 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :including compositions of verbs, yes < 1234828342 0 :MizardX!unknown@unknown.invalid PRIVMSG #esoteric :Would it be strange to use the term 'access violation' in other contexts than segfaults? < 1234828353 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :erm, no? < 1234828375 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :ehird: We do our query in less-than-regular Engrish, even though we both are these .fi types. Although now that I review some logs it seems I'm the odder one out. Curious. < 1234828394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fizzie: like vjn? < 1234828408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I imagine their engirsh is rather less comprehensible, though. < 1234828425 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :muchalainen < 1234828502 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :01:49… oerjan: oklofok: well you've certainly started now <<< ? < 1234828516 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: give fizzie some vjnglish < 1234828529 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1234828536 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :The vjn.fi en-fin translatomator made an awesome job of my randomly picked line; too bad you can't optimally enjoy it if you don't speak Finnish: "me aiheuttaa meidän kysyä -ssa less-than-regular Engrish, yhtäläinen vaikkapa me kummatkin ovat nämä .fi tekee malliesimerkki. vaikkakin välittömästi että meikä arvostella joku tekee runko sitä näyttäät olen moinen odder yksi esiin. omituinen." < 1234828537 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :no i'm shy < 1234828539 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: vocabulatoriatingly at least < 1234828543 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quick fool! < 1234828553 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: come on vjnglish is awesome. < 1234828560 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or should I say, an coolness. < 1234828576 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sure an coolness to be saying < 1234828578 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :I'm starting to like WireWorld... < 1234828595 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :an arvostellar performance < 1234828608 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :f00d -> < 1234828617 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :<- bed < 1234828621 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION swats FireFly first -----### < 1234828622 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what < 1234828623 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's -> < 1234828624 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :not <- < 1234828627 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric ::< < 1234828627 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :THAT ISN'T POSSIBLE < 1234828630 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :v bed < 1234828630 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :BED IS NOT GOING TO YOU < 1234828632 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :<- in bed < 1234828633 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :^ bed < 1234828643 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is always in his bed :| < 1234828656 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Bed walks to oklofok < 1234828668 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :That last one just looks lik "/me exclusive-or bed". < 1234828676 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Which reminds me, I need sleep too; night. < 1234828688 0 :FireFly!unknown@unknown.invalid PRIVMSG #esoteric :Yeah, me too < 1234828690 0 :FireFly!unknown@unknown.invalid QUIT :"zzzzzzzzz" < 1234828704 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :good night to the effers. < 1234828719 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or wait are they zeers < 1234828750 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :also both have palindromes in their nicks, you have a lot in common.