< 1206144059 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that seems to be complex enough not to be predictable, but doesn't seem to leave much room for anything sensical < 1206144077 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i shall run it a few thousand steps < 1206144294 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1206144299 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :exponential, it seems < 1206144307 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :perhaps that should've been clear < 1206144309 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's esolangs. < 1206144318 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What were you hoping, o(0)? < 1206144340 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in most esolangs, modularity is fairly simple to do < 1206144390 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*or* they are easy to compile to something that was hell to prove universal, but some mathematician luckily did it millions of years ago < 1206144408 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmph < 1206144411 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :python crashed < 1206144430 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh noes :o < 1206144454 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so much fun writing a program in the shell just to lose it right away, because i don't realize the interpreter and my os sucks < 1206144476 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, i guess i can rewrite it, took like 40 seconds :D < 1206144502 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :rofl, time me < 1206144504 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :rewrite time < 1206144565 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ready < 1206144574 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :darn, minute < 1206144576 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :let's see if it works... < 1206144589 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it does < 1206144599 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, could've been worse < 1206144644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :1 < 1206144644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :11 < 1206144644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :21 < 1206144644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :1211 < 1206144644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :111221 < 1206144644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :312211 < 1206144646 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :13112221 < 1206144648 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :1113213211 < 1206144650 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :31131211131221 < 1206144652 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :13211311123113112211 < 1206144654 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :11131221133112132113212221 < 1206144656 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :see any structures? < 1206144678 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1206144683 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's the look-and-say sequence < 1206144703 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, but we are talking turtles < 1206144724 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was assuming everyone was familiar with that, not having a quiz < 1206144726 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Are we known for our ninjustsu? < 1206144747 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :minute... < 1206144751 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::<< < 1206144769 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's so trivial algorithmically it shouldn't take time at all < 1206144771 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it should just be < 1206144789 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll try it in j < 1206144803 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :probably better not to time me this time :) < 1206144839 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm... < 1206144871 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :group + map (\a -> count a, pick first a) < 1206144897 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :map (\a -> (length a, head a)) $ group s < 1206144901 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :except it's not group < 1206144913 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and there probably isn't anything exactly like that < 1206144919 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan to the rescue, perhaps < 1206145042 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :certainly. in fact the wikipedia page is on my watchlist < 1206145062 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :{{#_,.a}\grp} in oklotalk, i think < 1206145076 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :(length &&& head) < 1206145083 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cool < 1206145084 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1206145093 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :after a number of iterations it split into Conway's elements. From there on it is a simple substitution < 1206145104 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*splits < 1206145109 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :conway's elements? < 1206145113 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh you meant the haskell? < 1206145120 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that too < 1206145128 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but marshmallows kinda beat you to it with a cooler solution < 1206145134 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :errr < 1206145150 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or not, was just just for my lambda? < 1206145162 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I just pointlessed (\a -> (length a, head a)) < 1206145167 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1206145176 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :group was my problem < 1206145180 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because i don't think that's correct < 1206145192 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :group is right < 1206145197 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ofc, {{#_,._}\grp} < 1206145203 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :oh .. < 1206145206 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Look-and-say_sequence, look for Cosmological Theorem < 1206145243 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :&&& is definable in oklotalk too, &&&={a b->{a_,b_}} < 1206145270 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :takes two arguments, returns a function that returns a tuple with functions a and b used on the argument < 1206145287 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :&&&={A B->{a_,b_}} actually < 1206145315 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also the constant, which explains your exponential growth (in fact the polynomial comes out of the eventual substitution i believe) < 1206145324 0 :Corun!n=Corun@cpc1-rdng15-0-0-cust168.winn.cable.ntl.com JOIN :#esoteric < 1206145333 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't think you can make it any simpler < 1206145336 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i'll look now < 1206145344 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :was doing my oklotalks very intensely < 1206145346 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that part actually is slightly related to my PhD < 1206145347 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :can you do it in thue!? < 1206145356 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: &&&? < 1206145362 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :generate the sequence < 1206145369 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sure < 1206145374 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but J first < 1206145403 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :thue is turing complete, so there is no way for it not to be able to generate the sequence :P < 1206145411 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :yeah but can you do it :P < 1206145415 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I don't think I could < 1206145422 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i'll read your papers when i've gathered some additional ownage. < 1206145432 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean, those crazy mathematical papers of yours < 1206145472 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is oklopol TC enough to do it? < 1206145477 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wow, "Conway's constant is the unique positive real root of the following polynomial:" < 1206145500 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :... but my VAX only supports polynomials up to degree 31 < 1206145509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : x71 - x69 - 2x68 - x67 + 2x66 + 2x65 + x64 - x63 - x62 - x61 - x60 - x59 + < 1206145509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : 2x58 + 5x57 + 3x56 - 2x55 - 10x54 - 3x53 - 2x52 + 6x51 + 6x50 + x49 + 9x48 - 3x47 - < 1206145509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : 7x46 - 8x45 - 8x44 + 10x43 + 6x42 + 8x41 - 5x40 - 12x39 + 7x38 - 7x37 + 7x36 + x35 - < 1206145509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : 3x34 + 10x33 + x32 - 6x31 - 2x30 - 10x29 - 3x28 + 2x27 + 9x26 - 3x25 + 14x24 - 8x23 - < 1206145509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : 7x21 + 9x20 + 3x19 - 4x18 - 10x17 - 7x16 + 12x15 + 7x14 + 2x13 - 12x12 - 4x11 - < 1206145509 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric : 2x10 + 5x9 + x7 - 7x6 + 7x5 - 4x4 + 12x3 - 6x2 + 3x - 6 < 1206145511 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i lolled :) < 1206145516 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :THE LOOK AND SAY SEQUENCE HAS BEEN DESTROYED BY NINJAS < 1206145518 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ARE YOU TC ENOUGH A DUDE TO GENERATE THAT SEQUENCE? < 1206145524 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1206145543 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: or as 4chan would have it: ... I came < 1206145549 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :flood, lolling and capital letters, esoteric at its best :P < 1206145627 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: in fact, i'll promise to read them 2012, if we both are still around. < 1206145678 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :2012 is the end of the world, don't you know? < 1206145699 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: if you take the 92 elements of conway and set up a matrix of how they turn into each other in one step, then the constant is the largest eigenvalue of that matrix < 1206145743 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :eigenvalue? < 1206145744 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(the only positive one, actually) < 1206145767 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i've looked that up before... < 1206145780 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :an eigenvalue of a matrix is a value l such that there exists a vector v such that M v = l v < 1206145786 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Eigenvalue is k if Ax = kx < 1206145817 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :to find them, you solve the equation det(lI - M) = 0, which probably is that polynomial < 1206145824 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It be them numbers on the diagonal in a diagonalised form < 1206145839 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well at least i get how the equation is formed then < 1206145857 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well polynomial < 1206145882 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually there probably is some simplification going on, since it doesn't have degree 92... < 1206145915 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What, no 92x92 matrix? :o < 1206145935 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so the polynomial on the page may be a factor of the full one < 1206145966 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or perhaps some terms really are zero from the start < 1206145991 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Remember the trick : if you can't solve a 92x92 matrix, just write "The margin is too thin for me to write the proof". < 1206145996 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i really have no matrix intuition < 1206145999 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It worked great! < 1206146020 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: if you have time to wait a few hundred years... < 1206146022 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, then just leave the paper around for a few hundred years and you'll have the answer < 1206146029 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :darn < 1206146035 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was pwned bad < 1206146068 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is oerjan's slow win < 1206146071 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*twin < 1206146079 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What I find amusing is that Conservapedia doesn't like Andrew Wiles proof. < 1206146092 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :They say it uses the CONTROVERSIAL AXIOM OF CHOICE < 1206146102 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :They probably think it's pro choice. < 1206146115 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :axiom of choise is so fake < 1206146140 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm okay with it. < 1206146142 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1206146159 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's consistent with the others, as Godel proved < 1206146167 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I'm going to suggest the library I go to burn all books that mention the axiom of choice < 1206146174 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Then again, so's its negation! < 1206146192 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: so you have a choice! < 1206146195 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :can you prove axiom of choice? < 1206146200 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1206146209 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You can prove it in ZFC. < 1206146224 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what about KFC? < 1206146229 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :a -> a < 1206146231 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Axiom of choice -> axiom of choice < 1206146234 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you can prove that you cannot prove it or disprove it, unless ZF without it is inconsistent < 1206146237 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Axiom of choice is true < 1206146238 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Axiom of choice -> axiom of choice < 1206146240 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :is true < 1206146246 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Then axiom of choice is true < 1206146250 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :o_O < 1206146265 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION puts a big F on Slereah's logic exam < 1206146270 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Whaaaaat < 1206146278 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I said in ZFC < 1206146284 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1206146287 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :ACTION gives Slereah and A, for A..d-hoc < 1206146293 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1206146309 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hides the F under his bed < 1206146358 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: or just give it to me < 1206146366 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you'll get your l back... < 1206146369 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but you already got an 'l' < 1206146377 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :darn < 1206146381 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm willing to trade < 1206146398 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION notes oklopol didn't note his repwning < 1206146400 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have a k and nothing to combine it with, so i might just as well use it < 1206146411 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: i have a different joke, actually < 1206146413 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1206146442 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :also what repwning? < 1206146444 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i can't see it. < 1206146450 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and then buy a 'u' and a 'c' on ebay? < 1206146478 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: you mentioned the 'l' before i did < 1206146483 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fkuc? What kind of silly word is that. < 1206146505 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: it's popular in dyslexic circles, i hear < 1206146521 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: in that case, i was the one doing the pwning, while you did it last time < 1206146530 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1206146531 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, i actually would like the f. < 1206146544 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :very well. here: F < 1206146548 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :thanks < 1206146550 0 :oklopol!unknown@unknown.invalid NICK :oklofok < 1206146567 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :funny, i actually need to pee now. < 1206146567 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :-> < 1206146674 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries to invent an esolang < 1206146688 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Try Freeze Tag! < 1206146749 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :maybe I should do something based around linear logic < 1206146757 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking about building a programming language somewhat like haskell, but with only monads (and as little as possible of all that function stuff) < 1206146757 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I just read about that yesterday.. < 1206146765 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1206146782 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :sounds like you would get *really* good PR < 1206146799 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :the problem lies in eliminating all the usable stuff < 1206147062 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :then I had an idea of a super-polymorphic haskell dialect, with everything including functions as type classes (presumably with a primitive function type and application operator available somewhere) < 1206147092 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :M++ < 1206147258 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ACTION just had a stupid idea. < 1206147275 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :WHAT WOULD HASKELL LOOK LIKE IF GERMANY WON WWII :O < 1206147288 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's just an excuse to use the old German notations. < 1206147297 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or something like that < 1206147298 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :we present: the ERWIN language < 1206147311 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(shades of Irregular Webcomic, and Schrodinger) < 1206147332 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1206147335 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :Oh my god < 1206147394 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh wait < 1206147404 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that would have to be Werner, for Heisenberg < 1206147435 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It would be a good excuse to make people share my pain < 1206147436 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The old logical notations were crazily insane < 1206147440 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(who at least possibly was a nazi) < 1206147449 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :erwin is like winner but nubbed and scrambled. < 1206147460 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :good point, oklo < 1206147467 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ACTION continues his readings < 1206147483 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :did you just say "good point" to yourself? < 1206147486 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But then again, Heisenberg was no computer scientist < 1206147518 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Wasn't Curry originally in Germany? < 1206147541 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :olsner: yes. < 1206147614 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :uhm, okay < 1206147637 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :olsner: what do you expect from someone who keeps changing nicks? < 1206147792 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :IT'S A SIGN VON SCHIZOPHRENIA UND DIE ANAL RETENTION < 1206147836 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :OKLONUT < 1206147850 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I CAN HAS CAPSLOCK TOO? < 1206147856 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :O < 1206147876 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :olsner: i tend to comment my own speech quite often. < 1206147891 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :in real life too? < 1206147905 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm... dunno < 1206147923 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i rarely have irl conversations < 1206147958 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i think i do do it. < 1206147967 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Lol < 1206147970 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :do do < 1206147970 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1206147981 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, that was the real point of what i was saying < 1206147984 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :whut, that's perfectly grammatical < 1206148000 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :being able to talk about excrete non-explicitly < 1206148012 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has seen "that that" and "house house" in grammatically valid sentences < 1206148017 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :oklofok's entire presence presence here has been just one long set up. < 1206148031 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That Oklotalk? All smokes and mirrors < 1206148034 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1206148036 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's all about the doodoo < 1206148037 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: excrete? < 1206148093 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :doesn't the concept of excrete also include poo? < 1206148099 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :excrete != excrement, I hope < 1206148102 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1206148114 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :excrete can be bodily wastes or something, i think, too < 1206148134 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :or, "I hope you weren't talking about excrement" < 1206148139 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :DICTINOARY ADVENTURE TIME < 1206148145 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1206148146 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*DICTIONARY < 1206148154 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :*wiktionary < 1206148158 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i was talking about excrement, isn't that what do do s < 1206148160 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :*is < 1206148207 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :der lehrer hat gesagt das, dass das "dass, das", das das kind gesagt hast, recht ist < 1206148210 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or something < 1206148232 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and there was something in french with even more homonymes, although i don't remember the word < 1206148240 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i think it had "s" and meant at least "6" < 1206148251 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :you probably have to put it "doo doo" for the reference to excrement to come across < 1206148265 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Slereah got it without it < 1206148276 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :uraniwa niwa niwa niwa niwa niwa niwatori ga iru < 1206148284 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I am totally awesome < 1206148295 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :and you can just assume i only talk about sex/shit when i'm not talking about programming. < 1206148300 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is reminded about the news tidbit about some japanese company who called their candy "dew dew" < 1206148318 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :also i talk about puppies < 1206148339 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :puppies, sex and shit... well, what else is there to life except programming? < 1206148350 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The three at the same time? < 1206148365 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Just ask the internet, I'm sure you'll find it! < 1206148373 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :otoh the Bonbon company around here seems to use that kind of naming for all their candy < 1206148373 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :well, i also like kids, but i think the context may not be good for saying that. < 1206148387 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(on purpose) < 1206148402 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :here too! < 1206148422 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :sex and shit, definitely already done... puppies and sex, sure... puppies and shit, obviously... I guess you do have to go all three to find a new genre < 1206148449 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, i actually haven't seen anything with all three < 1206148478 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is slightly disturbed by the implication that oklofok has seen all the other combinations < 1206148483 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :only slightly, though < 1206148483 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it'd be beastiality scat porn... shouldn't take 4chan more than a minute or two to find < 1206148494 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: what, you haven't? < 1206148501 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the last one is not really that weird, i've seen dogs poo < 1206148514 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://img183.imageshack.us/img183/2196/blanksp2.jpg < 1206148524 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :true dat < 1206148548 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and i've probably seen dogs fucking too, come to think of it < 1206148548 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but it is a well-known fact you don't wanna peek in my collection. < 1206148563 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ACTION peeks < 1206148565 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1206148568 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not that i actually remember < 1206148575 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I've never seen so much rubber! < 1206148586 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I got humped by a dog once o_o < 1206148590 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :"i wish... it's Whitespace!" < 1206148596 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1206148599 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :if i _had_ a collection you wouldn't want to peek in it, but i don't < 1206148599 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: that's a compliment to your collection that < 1206148600 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: almost, or actually? < 1206148601 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :oklofok, you win. < 1206148613 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure how to tell the difference < 1206148623 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I didn't consent! < 1206148630 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :RAPE < 1206148646 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: did it get inside you? < 1206148650 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :did you report it? < 1206148652 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :no :P < 1206148653 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1206148657 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the dog would get like 10 years < 1206148666 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hve you sought psychological help? < 1206148672 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :We're here for you marshmallows < 1206148678 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1206148680 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: only dog years though < 1206148683 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i've never believed in traumas < 1206148685 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I have been through struggling on my own.. < 1206148687 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: naturally < 1206148710 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :in fact, i was gonna make a dog year joke, but i knew you'd do it < 1206148748 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i guess dog+year is quite an obvious set-up for a dog year joke < 1206148749 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :maybe we should start a comedy troupe < 1206148770 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes! it's just #esoteric logs flashing through the screen < 1206148780 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :We'd probably cram in more obscure reference than a group of Dennis Miller! < 1206148841 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :if there was a show for programmers, i'd watch it < 1206148856 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :though you/we haven't been particularly obscure lately, mostly talk about poop and dogs < 1206148875 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, only in the last five minutes. < 1206148883 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :"Watch this guy juggle _four_ monadic frameworks at once" < 1206148885 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Plus, oklofok's whitespace joke made me lol. < 1206148894 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, we actually had nazi jokes too, a while back < 1206148906 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hehe, yeah, i was kinda fun :) < 1206148910 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :ACTION pats itself < 1206148946 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :* oklofok regresses to an 'it' < 1206148982 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i do that occasionally < 1206149003 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i used to date this chick who called herself that, it became something of a pet name < 1206149011 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :or whatwouldyacallit < 1206149025 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :how can someone call themselves 'that'? < 1206149034 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION regresses to an 'xfwlkscprtsk' < 1206149034 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :was that a reflexive that or a literal that - 'that' or 'itself'? < 1206149038 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :not 'that', 'it' < 1206149052 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION somehow doubts it will become a pet name though < 1206149055 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :damn you implicit quoting < 1206149086 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :implicit quoting, heh, perl does that < 1206149089 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :actually she used both "i" and "it" < 1206149091 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :don't say it! < 1206149097 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i never quite got to know how serious that was < 1206149116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :maybe she had a Caesar complex < 1206149120 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :perhaps < 1206149173 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oh, sorry, programming-language-that-must-not-be-named does that < 1206149183 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :watch out for when she becomes president < 1206149204 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or would prime minister be scarier? not sure of the finnish system < 1206149215 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :you know as much as me. < 1206149224 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :finland has a president < 1206149232 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(president does really nothing here) < 1206149241 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ic < 1206149248 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1206149250 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so prime minister would be scarier < 1206149264 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or perhaps defense minister < 1206149275 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but i'm not proud i know what "president" means, politics are my no-touch zone < 1206149284 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :they have a female one, last time I checked (which was 10 years ago or something) < 1206149304 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: wow, I like your view on politics! < 1206149306 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :we haven't had a female president for that long, but we do currently. < 1206149318 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :hmm, actually < 1206149321 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm not sure we do :) < 1206149326 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :but most likely < 1206149376 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'm fairly separated from the society, except for a few friends < 1206149381 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :"we" is which place? < 1206149390 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :err finland < 1206149394 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1206149403 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the United Kingdom of Europe, of course < 1206149425 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: you never know which oklofok you're talking to though, it could change < 1206149468 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :yes, currently, i'm a collective entity, the whole population of finland. < 1206149495 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ok, that line needs context < 1206149506 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yay, go Dilbert! http://www.dilbert.com/comics/dilbert/archive/dilbert-20080316.html < 1206149526 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is it about esolangs?!?!?!? < 1206149528 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i'll look < 1206149534 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :no < 1206149537 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :but it is geeky < 1206149540 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ish < 1206149546 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well *I* liked it < 1206149588 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I would read the recent conversation, but I CBA telling the three o-names apart < 1206149599 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I dislike how dilbert became the besserwisser - it makes it hard to decide which one's the protagonist in the story < 1206149602 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Divers2/dilbert-20-11-1998.gif < 1206149606 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Divers2/dilbert-26-01-1999.gif < 1206149610 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Am I doin it rite? < 1206149616 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :and the PHB actually comes of as having a clue < 1206149634 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :*off < 1206149661 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :we are clearly not wanted here, o-guys, #o-club (LNFAJ) < 1206149678 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: define: "LNFAJ" < 1206149686 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :link not for actually joining, my new < 1206149689 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :acronym < 1206149709 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1206149713 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :ACTION was a split-second away from actually joining < 1206149718 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION notes that currently #haskell seems as weird as #esoteric. although lament _is_ partly to blame < 1206149719 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1206149769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Divers/penrose2.png < 1206149772 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :zombies, hitler and tesla coils, all in a few lines of irc3! < 1206149781 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Penrose tensor notation < 1206149802 0 :cherez!unknown@unknown.invalid QUIT :"Leaving." < 1206149839 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Divers/penrose2.png <<< this is a joke too? < 1206149850 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :just checking, because i'm going to stare at it till i get it < 1206149870 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is no joke < 1206149887 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :that is not the correct answer < 1206149914 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although I already don't understand most of regular tensor notations, so it's hard to read! < 1206149928 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what a regular tensors? < 1206149943 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what a regular tensor! < 1206149944 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1206149946 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what are the < 1206149948 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :y < 1206149949 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1206149950 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Tensor. < 1206149957 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But written in a usual way, i mean < 1206149973 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I know FA about tensors < 1206149975 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Unlike the bugs that Penrose uses < 1206149982 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :FA? < 1206149984 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :except they are higher-dimensional matrices < 1206149995 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Fanny Arbuckle < 1206149996 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Pretty much. < 1206150005 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :or rather, Fuck All < 1206150010 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :that is, not much < 1206150059 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Just a bunch of n dimensionl matrix, that's pretty much it. < 1206150068 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The rest is just the operations applied to them < 1206150075 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :looks great < 1206150089 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION appreaciates a really spectacular notation. < 1206150130 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :In Penrose case's, the dimension is indicated by the number of legs. Or whatever you want to call them < 1206150173 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i totally get what you mean < 1206150543 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :It has to make the muggles go "Omg you can read that?!" < 1206150653 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It wouldn't be fun otherwise! < 1206150657 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"But it's so simple!" < 1206150869 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Unlike the nancies in social science, people can't even begin to guess at all those symbols! < 1206151024 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so like < 1206151033 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :haskell's type system IS turing-complete after all. I didn't realize. < 1206151046 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :no it's not < 1206151065 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :they're discussing this in #haskell. GHC extensions are turing-complete. < 1206151066 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :with extensions it is < 1206151072 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :"GHC extensions" < 1206151084 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so we already allow turing-completeness < 1206151096 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but surely there's a much nicer way to allow turing-completeness than with GHC type system! < 1206151120 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well the hoi polloi could always just use values < 1206151133 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :I think the designers of haskell were cowards for not making it turing-complete and beautiful rather than its H98 limited mess < 1206151154 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :but perhaps the lambda cube wasn't generally known at the time? < 1206151174 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :olsner: Turing complete type systems = bugs < 1206151194 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :You have a valid program you want to compile, yet it can never be compiled < 1206151206 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :so the compiler does not fit its specification < 1206151249 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :well, if you write a program with divergent types you're on your own < 1206151373 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :besides, there are ways of modifying a TC type system to terminate in finite space and time without changing the type system itself (e.g. allowing a limited stack and heap for the type checker) < 1206151442 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :kinda like C++ does < 1206151450 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :(:P) < 1206151470 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :incidentally, I think that's what cayenne is supposed to do, if augustss hasn't discontinued that project < 1206151478 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :yeah, any standards conforming C++ implementation is buggy < 1206151524 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :Cayenne is superseded by Agda 2 < 1206151559 0 :shinkuzin!n=r0x@189.13.225.122 JOIN :#esoteric < 1206151566 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :yes, but probably not because of templates being turing complete < 1206151623 0 :shinkuzin!unknown@unknown.invalid PART #esoteric :? < 1206152184 0 :shinkuzin!n=r0x@189.13.225.122 JOIN :#esoteric < 1206152247 0 :shinkuzin!unknown@unknown.invalid PART #esoteric :? < 1206152312 0 :RodgerTheGreat!n=Rodger@wads-5-233-27.resnet.mtu.edu JOIN :#esoteric < 1206152510 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206152606 0 :GreaseMonkey!n=saru@219-89-58-116.dialup.xtra.co.nz JOIN :#esoteric < 1206152697 0 :GreaseMonkey!unknown@unknown.invalid QUIT :Client Quit < 1206153056 0 :BMeph!n=chatzill@adsl-76-212-192-106.dsl.sndg02.sbcglobal.net JOIN :#esoteric < 1206155239 0 :shinkuzin!n=r0x@189.13.225.122 JOIN :#esoteric < 1206156503 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads some lolpresidents.com and goes. < 1206157740 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :http://everything2.com/index.pl?node_id=550129 < 1206157752 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :fish are people too. < 1206160001 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hey guys, this story will haunt your dreams: http://www.seizureandy.com/stuff/guts.html < 1206160109 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads just enough to decide to stop < 1206160175 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :The ending is horribly perfect < 1206160262 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i'm with oerjan < 1206160788 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's disgusting, yes, but at the same time I can't help but admire the writing and storytelling technique < 1206161328 0 :shinkuzin!unknown@unknown.invalid QUIT :Connection timed out < 1206162312 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :too long didn't read; he gets stuck on the inlet of the pool cleaning pump and passes out? < 1206162374 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh, no < 1206162380 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :much much worse < 1206162453 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :wow, I only had to read a few paragraphs more to get to the really exciting part < 1206162565 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Bye all < 1206162577 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bye < 1206162588 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1206162594 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :definitely makes me want to read "Fight Club". I like the style- very vivid imagery. < 1206162653 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :"Then my sister missed her period." ... hey, that part can't be true < 1206162808 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1206162875 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :well, /me goes to sleep < 1206162878 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :cya < 1206163942 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1206167372 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1206172799 0 :clog!unknown@unknown.invalid QUIT :ended < 1206172800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1206179944 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :okay i gotta admit that was quite a story :D < 1206185381 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1206186464 0 :Judofyr!n=Judofyr@c0F9CBF51.dhcp.bluecom.no JOIN :#esoteric < 1206186792 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, Funge98 author just gave me permission to work on a draft for a new standard :) < 1206187034 0 :jix!n=jix@78.47.212.92 JOIN :#esoteric < 1206187587 0 :BMeph!unknown@unknown.invalid QUIT :"calls it a night" < 1206191355 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1206194193 0 :Tritonio_!unknown@unknown.invalid QUIT :Remote closed the connection < 1206194435 0 :Tritonio_!n=Tritonio@150.140.227.232 JOIN :#esoteric < 1206195313 0 :Corun!n=Corun@cpc1-rdng15-0-0-cust168.winn.cable.ntl.com JOIN :#esoteric < 1206195815 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Deewiant, a very early draft http://rage.kuonet.org/~anmaster/funge-108/funge108.pdf very much work in progress (108 was the name Chris Pressey wanted, "years since 1900") < 1206196722 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1206196733 0 :slereah_!n=slereah@ANantes-252-1-82-215.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1206197381 0 :slereah__!n=slereah@ANantes-252-1-82-215.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1206197434 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206197434 0 :slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206199746 0 :Corun!n=Corun@cpc1-rdng15-0-0-cust168.winn.cable.ntl.com JOIN :#esoteric < 1206200680 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1206202729 0 :slereah__!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206202760 0 :slereah__!n=slereah@ANantes-252-1-82-215.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1206204368 0 :slereah_!n=slereah@ANantes-252-1-82-215.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1206204389 0 :slereah__!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206205893 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1206207287 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1206208408 0 :Corun!n=Corun@cpc1-rdng15-0-0-cust168.winn.cable.ntl.com JOIN :#esoteric < 1206208912 0 :ehird!n=ehird@91.105.88.2 JOIN :#esoteric < 1206209130 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1206209141 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1206211500 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :hell-o < 1206211518 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :yo ehird < 1206212194 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: this macro is interesting < 1206212195 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#;1> (define-macro (foo . args) `'(foo ,@args)) < 1206212205 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i can see a quine using it < 1206212299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :also < 1206212299 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#0=(begin (write (quote #0#)) (newline)) < 1206212301 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1206212409 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :weird < 1206212410 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :#;> #0=(begin (write (quote #0#)) (newline)) < 1206212410 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :#0=(begin #@(((source-file . "console") (line-number . 1) (column-number . 11) . #1=((source-kind . user))) . (write #@(((source-file . "console") (line-number . 1) (column-number . 18) . #1#) . (quote #@(((source-file . "console") (line-number . 1) (column-number . 4) . #1#) . #0#))))) #@(((source-file . "console") (line-number . 1) (column-number . 31) . #1#) . (newline))) < 1206212424 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :in SISC < 1206212429 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is schemed away D: < 1206212481 0 :marshmallows!unknown@unknown.invalid PART #esoteric :? < 1206212487 0 :marshmallows!n=vicky@amcant.demon.co.uk JOIN :#esoteric < 1206212679 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: hmm < 1206212686 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :use mzscheme < 1206212686 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1206212696 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but that is bizzare < 1206212703 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :weirdly recursive < 1206212751 0 :sebbu2!n=sebbu@ADijon-152-1-88-129.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1206212753 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1206212773 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1206213179 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :ehird, do you think it's bad .. the way IRC has divided itself into programming language specific channels instead of say, paradaigm specific ones? < 1206213206 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Aren't we a paradigm channel? < 1206213218 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1206213221 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I like this channel :D < 1206213244 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :but #declarative #procedural #functional .... all empty < 1206213281 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :why? < 1206213317 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Because it's usually easier to get help on a particular language than on a broad description of it, I suppose. < 1206213415 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :And esoteric can survive because really, there's not enough people to fill up chans of even the most popular esolangs < 1206213827 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: #concatenative is n ot empty! < 1206213840 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: indeed, marshmallows's channels are too catch-all < 1206213845 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :the concepts vary wildly between them < 1206213856 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :#concatenative is basically a fancy way of saying #factor < 1206213859 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's inevitable < 1206213893 0 :ehird!unknown@unknown.invalid TOPIC #esoteric :#esoteric - Extending Tetrationfuck to the reals with magnets. | Logs: http://ircbrowse.com/cdates.html?channel=esoteric | Wiki: http://esolangs.org/wiki/ | The Esoteric File Archive: http://esolangs.org/files/ < 1206213976 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :have you seen Oz? < 1206213986 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :briefly. < 1206214141 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oz seems interesting but dead < 1206214186 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Like Jesus? < 1206214196 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :slereah_: jesus wasn't that interesting < 1206214216 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :he was born to god, said some shit, died, undied, said some more shit, died, said he'd be back < 1206214218 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :we're still waiting < 1206214234 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: i looked at mozart, found this: http://www.mozart-oz.org/mogul/ < 1206214246 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's mozart's equivalent of CPAN < 1206214274 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i wonder if anyone has developed a decentralized CPAN alike < 1206214276 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :then i stopped looking :) < 1206214291 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :also the joyful announcement on their front page, "Current Mozart is 1.3.2 released on June 15, 2006 < 1206214304 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: 2006 isn't that bad < 1206214310 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :brainfuck's last release was in '93 :) < 1206214331 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no, brainfuck's _standard_ was 93 :) < 1206214352 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and C was 89 (discounting what followed), yet it's hardly dead < 1206214355 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :I need ideas! < 1206214361 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Brainfuck's ESO standard was 2008 < 1206214371 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :If I drink enough coffee will I have a good idea < 1206214379 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :No < 1206214383 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :You will have a stroke < 1206214402 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Ideas for what marshmallows? < 1206214403 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: urban m?ller never released a brainfuck distro post 93 < 1206214415 0 :shinkuzin!n=r0x@189.13.33.38 JOIN :#esoteric < 1206214420 0 :marshmallows!unknown@unknown.invalid PRIVMSG #esoteric :Well I can't decide what to program next < 1206214429 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :marshmallows: forth! < 1206214447 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Program the Andrei Machine 9000 < 1206214453 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :That way, I won't have to < 1206214457 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :better yet. write your programming language that's way better than Haskell. < 1206214930 0 :BMeph!n=chatzill@adsl-76-212-192-106.dsl.sndg02.sbcglobal.net JOIN :#esoteric < 1206216527 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1206217122 0 :Judofyr!unknown@unknown.invalid QUIT : < 1206217804 0 :Judofyr!n=Judofyr@c0F9CBF51.dhcp.bluecom.no JOIN :#esoteric < 1206218560 0 :slereah_!unknown@unknown.invalid QUIT :Remote closed the connection < 1206218591 0 :Slereah!n=slereah@ANantes-252-1-82-215.w81-48.abo.wanadoo.fr JOIN :#esoteric < 1206219629 0 :Corun!n=Corun@cpc1-rdng15-0-0-cust168.winn.cable.ntl.com JOIN :#esoteric < 1206221162 0 :Judofyr!unknown@unknown.invalid QUIT : < 1206224314 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1206224506 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1206224881 0 :bsmntbombdood!n=gavin_@75-166-163-247.hlrn.qwest.net JOIN :#esoteric < 1206225471 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :channel: dead all day! < 1206225639 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :almost < 1206226742 0 :Judofyr!n=Judofyr@c0F9CBF51.dhcp.bluecom.no JOIN :#esoteric < 1206229638 0 :BMeph!unknown@unknown.invalid QUIT :Connection timed out