< 1199836910 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I think it does, but I'm not sure. < 1199836974 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Hmmm, that means i'd have to gc in my outoput < 1199836976 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1199837120 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ACTION puts it on the TODO list < 1199837131 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: How many lines is PEBBLE with the BF backend? < 1199837218 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199837281 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199837291 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in case you didn't get thjat < 1199837292 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: How many lines is PEBBLE with the BF backend? < 1199837308 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :1127 lines. < 1199837323 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No. I missed a file. 1246. < 1199837328 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ignoring macros. < 1199837343 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Ooops. Stuck in the interp backend. < 1199837348 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*1075*. Still. < 1199837349 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Ignoring the stdlib right? < 1199837351 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Quite a few lines. < 1199837366 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I want the full compiler's source, without C-related bits, without the stdlib < 1199837369 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :how many lines? < 1199837444 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ping :) < 1199837556 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: "CALCULUS - Common Administrator's Language Compilation Unit for Language Unity under Stalin" < 1199837631 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: You have 785 lines without optimization files < 1199837653 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I think in PEBBLE I might be able to get 2500-3500 lines or so? < 1199837657 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :With no optimizations at all. < 1199837741 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Oh, plus the parser, which will be about another 500 lines I guess < 1199837750 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Am I crazy yet? < 1199837939 0 :sebbu!n=sebbu@ADijon-152-1-105-186.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1199838045 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ping < 1199838055 0 :pikhq_!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199838199 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq_: ping? < 1199838329 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Pong. < 1199838338 0 :pikhq!unknown@unknown.invalid QUIT :Nick collision from services. < 1199838339 0 :pikhq_!unknown@unknown.invalid NICK :pikhq < 1199838347 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what is the last message you god < 1199838350 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :*got < 1199838357 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :17:09 < ehird`> I want the full compiler's source, without C-related bits, without the stdlib < 1199838365 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :1075 lines of code. < 1199838398 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I'll re-say what I said, at a slow pace so you can respond :P < 1199838402 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: "CALCULUS - Common Administrator's Language Compilation Unit for Language Unity under Stalin" < 1199838427 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1199838466 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: You have 785 lines without optimization filespikhq: You have 785 lines without optimization files < 1199838480 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I think in PEBBLE I might be able to get 2500-3500 lines or so? With no optimization at all. < 1199838484 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Oh, plus the parser, which will be about another 500 lines I guess < 1199838488 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^^^ end of repetitions ^^^^ < 1199838505 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Oooh, < 1199838511 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I wish you luck. < 1199838530 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I will confess: I've been meaning to do a rewrite of PEBBLE some time. < 1199838536 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :language? < 1199838537 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :or implementation < 1199838545 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Implementation. < 1199838555 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Although I might change the language radically, too. . . < 1199838568 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: jix has made a math lib in glass < 1199838570 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Yeah -- get rid of the temp vars! >:( < 1199838571 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :jixmath < 1199838575 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: where? < 1199838607 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: How? < 1199838614 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1199838626 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Automatically allocate them. < 1199838636 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: That is: make the compiler less of a dumb macro system. :-) < 1199838636 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmkay. < 1199838653 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Maybe even change the syntax slightly to be more, well, formal. < 1199838663 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Yes, non-tcl would be nice :P < 1199838675 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :actually a C-like syntax fits in very well with brainfuck, as opposed to lispy/tcl-y < 1199838685 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :because you don't think of it as (set! a b) < 1199838691 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's not something you 'call out' to < 1199838693 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's very primitive < 1199838696 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so a = b makes sense < 1199838748 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have no idea where jixmath is < 1199838751 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i just know it exists < 1199838764 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and that it's in egobot < 1199838776 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I have an idea. < 1199838792 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :A set of syscalls, which are like the basic PEBBLE macros. . . < 1199838792 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :? < 1199838796 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :gotta sleep, went to sleep an hour ago actually, but suddenly realized i have to finish a program :\ < 1199838804 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ? < 1199838812 0 :sebbu2!unknown@unknown.invalid QUIT :Connection timed out < 1199838816 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :cya ---> < 1199838817 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And a compiler which runs sanely, parsing expressions and such into calls to those macros . . < 1199838838 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: doesn't seem anything too interesting to me < 1199838842 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :just a bytecode. < 1199838856 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :So, one would have "func add(x, y){x+y}" which would compile into the addvar x < 1199838859 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :> y : temp1 < 1199838867 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm no < 1199838868 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. < 1199838870 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :don't really like that < 1199838873 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :too much internals < 1199838883 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :however, i do think one thing < 1199838887 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :C-like syntax /with macros/ < 1199838895 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Then we'd have bfc. < 1199838901 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so, say there was no 'func' (probably true, since it's quite a big job to implement them) < 1199838907 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(let's call it 'proc') < 1199838912 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :just 'macro' < 1199838912 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :we could do: < 1199838949 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Actually, at this rate, I may want to call it a completely different language. < 1199838954 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :macro { ... } < 1199838980 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well, maybe more than that would be required < 1199838984 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Something much more fully-featured, rather than bare-bones. . . < 1199838989 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :macro { ... } < 1199838993 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps supporting PSOX out of the box. < 1199838995 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if , means 'comma-seperated names' < 1199839004 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: PSOX is bloated vaporware :P < 1199839019 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(apologies to Sgeo. :P) < 1199839029 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: I'll grant you the vaporware bit. < 1199839046 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also bloated in the over-engineered sense < 1199839052 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :True, true. < 1199839071 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Perhaps a very simple interaction layer could be used to make this insanely more full-featured. < 1199839071 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :If I were you I'd make the compiler backend agnostic < 1199839076 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :So you could compile to befunge too or whatever. < 1199839097 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and the 'plain BF' backend would just crap out on compiling primitive IO operations other than read/write stdout < 1199839109 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmkay. < 1199839113 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you could have a 'PSOX BF', 'PSOX Befunge', 'EsoAPI BF', ... too < 1199839132 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :What, then, shall be the syntax? < 1199839141 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :for what < 1199839147 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :For this language. < 1199839151 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hems & haws < 1199839155 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Ah. < 1199839157 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :C-alike I think < 1199839171 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :I'll write what's in /my/ mind on a pastebin... an example of sorts < 1199839255 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mmkay. < 1199839535 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok: < 1199839564 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i just realised recursive macros will work badly, for e.g. factorial < 1199839568 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you'd need to know the value at compile-time < 1199839573 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so i'm rewriting it as non-recursive :) < 1199839574 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Well, yes. < 1199839658 0 :pikhq_!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199839735 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Give me something other than a factorial to use as an example :P < 1199839746 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Preferably something that doesnt' require me to define new variables in the resulting code < 1199839752 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(why will be apparent soon) < 1199839772 0 :GreaseMonkey!unknown@unknown.invalid NICK :N0body < 1199839799 0 :N0body!unknown@unknown.invalid NICK :GreaseMonkey < 1199839928 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :bah < 1199839929 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1199839932 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'll define somethiing simple < 1199840012 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok, pikhq : < 1199840015 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/OzgiHQ78.html < 1199840031 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'd expect hygenic macros to be there too, and maybe something that lets you define a pseudo-function without sigils etc :-) < 1199840057 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :`{...}, of course, is program quoting < 1199840081 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :That is going to be a *painful* syntax to parse. < 1199840123 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq_: No more than C++. :) < 1199840130 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Why is that painful, anyway? < 1199840135 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the <...> in macro? < 1199840154 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1199840169 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Namely, that it appears to entail runtime-modifiable syntax. < 1199840177 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :noooooo < 1199840182 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :no it doesn't < 1199840184 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :why would it? < 1199840187 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that's all compile time < 1199840192 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :macro <$n+$z> { __builtin($n, $z) } < 1199840203 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Okay, fine. Compiletime-modifiable syntax. Sorry. < 1199840208 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :Still, messed up. < 1199840220 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq_: you'd need some kind of declarator there to specify it's a binary op < 1199840225 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it's not >totally< free syntax < 1199840233 0 :pikhq_!unknown@unknown.invalid PRIVMSG #esoteric :It's still fairly painful. < 1199840243 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :plus it allows for implementing e.g. procedures in it even if you don't include them in the core < 1199840244 0 :pikhq!unknown@unknown.invalid QUIT :Nick collision from services. < 1199840244 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :which is very nice < 1199840245 0 :pikhq_!unknown@unknown.invalid NICK :pikhq < 1199840254 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :True. < 1199840261 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Painful as fuck, but useful. < 1199840279 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :painful as fuck for the time when you first write down it in the compiler < 1199840281 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :after that, wonderful < 1199840282 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1199840295 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Of course, my stuff requires that the compiler has an interpreter. < 1199840308 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Since macro definitions are evaluated, then the result as a quoted program is put into the program. < 1199840317 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :This is, of course, kick-ass. < 1199840507 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: Confirm its kickassery! < 1199840716 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: PIIIING < 1199840908 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199840964 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1199841042 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1199841112 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo! < 1199841118 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :Hi pikhq < 1199841124 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq, what's the last thing you heard < 1199841130 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :"after that, wonderful". < 1199841147 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Sgeo: I have been contemplating a new Brainfuck-targetting macro language. < 1199841149 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Of course, my stuff requires that the compiler has an interpreter. < 1199841154 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Since macro definitions are evaluated, then the result as a quoted program is put into the program. < 1199841157 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :This is, of course, kick-ass. < 1199841167 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: I thought it was going to be agnostic? < 1199841174 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :One which *I* hope will use PSOX. < 1199841175 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :with esolang-PSOX as one backend < 1199841178 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: That's you. < 1199841185 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My language, my taste. < 1199841190 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :G2G my dad's being a jackass < 1199841192 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1199841203 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ok, guess i should fork < 1199841204 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1199841227 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1199841236 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Mine will probably be working within the next week. < 1199841247 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(PEBBLE went from idea to working implementation in a day. :p) < 1199841261 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :mine will be too < 1199841267 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :are you going to steal my c-like syntax? :( < 1199841277 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No. It's more C++-like. < 1199841286 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :With all the requisite problems in compiling. < 1199841305 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1199841309 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :BUT MY IDEA WOULD BE SO AWESOME < 1199841327 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I'm a simple man. < 1199841337 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has an idea. < 1199841347 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I won't bother reworking all the PEBBLE machinery. < 1199841358 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :My system shall use PEBBLE as an assembly language of sorts. < 1199841358 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OK, i'm definately forking < 1199841358 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1199841401 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :int main(void) { < 1199841403 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :fork(); < 1199841406 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :language() < 1199841412 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION actually has no simple, quick idea, unlike PEBBLE had. :( < 1199841420 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Frankly, I'm at the drawing board ATM. < 1199841447 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i have a simple quick idea! :( < 1199841459 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :No, that's a travesty. < 1199841489 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has a purely stupid idea. < 1199841511 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Implement a Brainfuck macro system as a C library. :p < 1199841524 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :No! :( < 1199841530 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :And I could make my idea simple. :P < 1199841532 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I said it was stupid. < 1199841587 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1199841599 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ARgh you know what I'm sick of all this brainfuck concentration < 1199841605 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Let's discuss some other interesting esolang. < 1199841654 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION gets sick of all this PEBBLE replacement junk < 1199841694 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION needs to finish some English homework < 1199841869 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION needs an excuse not to do anything else today. :p < 1199841883 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ACTION made a small genetic algorithm testing language < 1199841884 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :pool AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA < 1199841884 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :pts sum \ [BBAAABBAA _] [a b] = a b < 1199841916 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :basically, you make a pool, and give it a function to use for assigning points to a certain string < 1199841931 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :BBAAABBAA 9 < 1199841931 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :BBAAABBAA 9 < 1199841931 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :BBAAABAAA 8 < 1199841931 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :BBAABBBAA 8 < 1199841945 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i see. < 1199841961 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :after a few steps it finds the correct one, although i'm currently doing so much mutation it keeps giving random shit too :) < 1199841987 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess i'll add stuff to specify how to reproduce and mutate < 1199842093 0 :cherez!unknown@unknown.invalid QUIT :"Leaving." < 1199842119 0 :ehird`!unknown@unknown.invalid NICK :ehirdsleep < 1199842121 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :pts is the "points" function definition, sum is a sum of a list, \ [list list list...] [var var var...] expression is map, with variable names though, because lambdas would be stupid for this < 1199842131 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :although i guess that's obvious. < 1199842138 0 :ehirdsleep!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: i'll read in the logs later < 1199842140 0 :ehirdsleep!unknown@unknown.invalid PRIVMSG #esoteric :describe about it. < 1199842143 0 :cherez!n=cherez@CPE-69-76-143-134.kc.res.rr.com JOIN :#esoteric < 1199842147 0 :ehirdsleep!unknown@unknown.invalid PRIVMSG #esoteric :bye for today < 1199842155 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, it was actually there :) < 1199842160 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll describe if i continue coding < 1199842225 0 :cherez!unknown@unknown.invalid PART #esoteric :? < 1199842650 0 :Sgeo!unknown@unknown.invalid QUIT :"Ex-Chat" < 1199843348 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh god... < 1199843353 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :genetal < 1199843357 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :now i have to name it that. < 1199843394 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :why did that pop into my head < 1199843860 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wow, i never realized how much genetic algos kick ass :) < 1199844743 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/pb/p234266216.txt < 1199844769 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :last line is the output, in the form (best_found, points_for_best, iterations_taken) < 1199844785 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :just been adding trivial stuff, but it's a fun toy anyway :P < 1199844833 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the bad news is, 6 hours till i need to wake yp. < 1199844835 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*up < 1199845015 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I wonder what a creationist algorithm looks like. < 1199845028 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Maybe it's similar to Turing's Oracle Machine < 1199845201 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was thinking, i'll first extend that enough to be able to make bf text gen, then evolve a human out of a string of A's < 1199845209 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's step 3., < 1199845211 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*. < 1199845255 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's kinda annoying, all day i feel like i really should code something, and then when i finally do, it's ready in an hour or two and i have nothing to code. < 1199845338 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i can't code that anymore, since the part i wanted to work works, and i'd have to start thinking again < 1199845358 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :there's a mood for coding, and a mood for inventing something to code < 1199845365 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :these moods do not mix. < 1199845398 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :unfortunately both do mix with the third mood, futurama mood, which kinda overrides both < 1199845409 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :btw. didn't name it genetal :) < 1199845417 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's called Muture now :D < 1199845461 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my initial idea was to make a language for calculating fixed points :D < 1199845482 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you'd run some time, then change something in the past, and recalculate if the change actually changed something < 1199845534 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(you'd need to be able to set an epsilon of course) < 1199845595 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tried to find a clear relation between this kind of mutation and plain old fixed point, but got bored of thinking and just coded something :-) < 1199845609 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm fairly sure you could make something totally awesome with the fixed point idea < 1199845611 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"idea" < 1199845633 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the only reason i'm talking really is to get your text to disappear from the screen < 1199845638 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah, and there it is < 1199845644 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes, my font is big. < 1199845710 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: so what's up with the machine of yours whose name i forgot :-) < 1199845716 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :except the old name < 1199845725 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Which one? < 1199845734 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The Love Machine 9000? < 1199845745 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1199845751 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It works okay. < 1199845757 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1199845760 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although I'm sure there's ways to make it faster. < 1199845763 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :have you been doing fun stuff with it < 1199845780 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, compiling to C seems to be pretty popular these days? < 1199845787 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, right now I'm working on the lazy unlambda. < 1199845795 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, right < 1199845803 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :your the SKI evaluator : ) < 1199845827 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The lambda-SKI-other combinator-iota thingy. < 1199845864 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm, wonder if i'd get sleep now if i tried... getting delusional < 1199845878 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :teh worlds are whirling < 1199845890 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think i'll watch a family guy or something < 1199845903 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess i can skip one night of sleep < 1199845985 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You can. Doesn't mean you should though! < 1199846056 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, there's the minor problem that if i go to sleep, i will definitely not wake yp < 1199846057 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :up < 1199846071 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Are you going to die? < 1199846087 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :then again, i have 8 hours of school, plus some hobby-related stuff after taht < 1199846108 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and i slept through the lectures today too < 1199846113 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1199846125 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i doubt i'll die, i mean i won't wake up in times. < 1199846271 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. Reminds me. I should study < 1199846276 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The exams are soon! :o < 1199846281 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1199846290 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :our classes just started < 1199846312 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Exams are next week here < 1199846322 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what do you have? < 1199846323 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And I didn't study all that much. < 1199846351 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Quantum physics, relativity, analytic mechanics, mathematics, that sort of things. < 1199846365 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :sounds fun < 1199846414 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :i did a science poster on quantum physics < 1199846439 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll try falling asleep here on teh armchair, lees comfortable than my bed, so i'll prolly wake up, no? < 1199846441 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :night -> < 1199846454 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Boy are you in for a surprise! < 1199848699 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :``^x^y````y.xri``xx```s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`k`si``s`k`s`k`s``s`ksk``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k`kiy^x^y````y.xri``xx```s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`k`si``s`k`s`k`s``s`ksk``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k`kiy^f^x`f`f`f`fx < 1199848710 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hurray, I made a count-down! < 1199848732 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although so far, it only did 4-3-2 < 1199848741 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Ah, the 1 is here. < 1199848793 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The Turing fixpoint combinator is totally awesome. < 1199848805 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I want to ^5 Turing. < 1199848890 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It is intensely slow, though. < 1199849222 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(It is pretty much ((^xy. (```y.xri) (xx pred (y))) ^xy. (```y.xri) (xx pred (y))) n) ) < 1199849517 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Here's a possibly faster version : ``m``s`k`s``s``s``si`k.x`kr0``s``s`ks``sbk`k``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`k`si``s`k`s`k`sb``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k0``sb``sb``sb``sb``sb``sb``sb``sb``sb``sb0 < 1199849753 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hell, is SB actually equivalent to the successor function? < 1199849769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Holy hell! < 1199850398 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That will trim down my input system a whole lot! < 1199852125 0 :calamari!unknown@unknown.invalid QUIT :Connection timed out < 1199853265 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1199853810 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : or then oerjan just checks for highlights. < 1199853831 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :not always, but today i don't think i'll read it all < 1199855253 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. If I replace ```y.xri by (iszero y) (v) (```y.xri), maybe the program will halt! < 1199856942 0 :cherez!n=cherez@CPE-69-76-143-134.kc.res.rr.com JOIN :#esoteric < 1199857117 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hell. It gets complicated! < 1199857591 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikibooks.org/wiki/Programming:ColdFusion/control_structures < 1199857600 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Is it an esolang if it's meant to be used seriously? < 1199857641 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Define seriously. < 1199857674 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Recommended for usage in website design. < 1199857711 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, if it's even recommended, maybe not! < 1199857826 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION hurls at the idea of XML programming. < 1199857832 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :And not even well-formed XML at that. < 1199857906 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :``uu```_.xri < 1199857913 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :A cat program. Sort of. < 1199858219 0 :oerjan!unknown@unknown.invalid QUIT :"Caffeine" < 1199864035 0 :lament!unknown@unknown.invalid QUIT :"Ducks!" < 1199865599 0 :clog!unknown@unknown.invalid QUIT :ended < 1199865600 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1199865805 0 :Slereah-!n=Test4@ANantes-252-1-14-157.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1199866937 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199867726 0 :cherez!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199868116 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Welcome to 2008. I will be your tour guide." < 1199868259 0 :sebbu2!n=sebbu@ADijon-152-1-43-230.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1199868721 0 :cherez!n=cherez@CPE-69-76-143-134.kc.res.rr.com JOIN :#esoteric < 1199869217 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1199873448 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: woke up 4 hours late, good idea to go to sleep :P < 1199873583 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I personnaly use a program to launch some Mp3 when I'm not sure I'll wake up. < 1199873593 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :"Chocolate rain" at generous volume works okay. < 1199873694 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :why the fuck did i wake up in my bed < 1199873704 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i went to sleep right here. < 1199873746 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, if you woke up in China, that would raise the question. < 1199873763 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that'd be awesome < 1199884325 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1199885462 0 :sebbu!n=sebbu@ADijon-152-1-81-75.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1199885832 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: what is up with your sleep < 1199885847 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I couldn't figure out quite what was going on before < 1199885955 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :From what I can make out, "It is late and if I sleep, I won't wake up on time!" < 1199886044 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well duh, use an alarm clock < 1199886067 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :unless I am missing something here < 1199886072 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Won't work with any pussy alarm clock. < 1199886089 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :When I was a kid, I had some real serious business alarm clock. < 1199886103 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It was shaped like a racing car, and made the same noise. < 1199886114 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It woke up everyone in the house. < 1199886248 0 :sebbu2!unknown@unknown.invalid QUIT :Connection timed out < 1199887698 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Aaaaargh < 1199887714 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Is there any simple combination of combinators for the pred. function? < 1199887722 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Any combinators! < 1199887769 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I've got 16 so far, I might as well continue! < 1199887831 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm... let me lookup my Deadfish implementation < 1199887874 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :The shortest version I got is ``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`ko``s`k`s`k`sb``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k0 < 1199887882 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :argh < 1199887885 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And the rewriting takes ages. < 1199887904 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I can't check slightly more complex formulas for accuracy. < 1199887963 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's somewhere in < 1199887968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : ``s``s``s``s`k?d`kii`k < 1199887968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : ``s``s``si < 1199887968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : `k ``s``s`ks ``s`k`si < 1199887968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : ``s`kk ``s``s`ks ``s`k`s`ks ``s`k`s`kk ``si`kk `ki < 1199887968 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : ``s`kk ``si`kk < 1199887999 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric : `k`k`ki `k`ki < 1199888063 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Do the space inditaces different formulas? < 1199888072 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Or is it just sugar? < 1199888087 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :possibly the part starting on the third line after `k < 1199888100 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i just tried to use a sensible indentation style < 1199888171 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :this is the part of the program specific to the d operator, which decrements < 1199888314 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or it could be all of it except the first line < 1199888427 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah, found my scratch file, which explains some of what's going on < 1199888508 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ah yes, it should be what i pasted except the first line < 1199888575 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Let's see how it works out! < 1199888639 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Seems to work. < 1199888667 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :In a different way than ``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`ko``s`k`s`k`sb``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k0 somehow. < 1199888686 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :(```pred n .x i prints everything after a while instead of continuously) < 1199888734 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it is essentially based on iterating ^p (`$p k + 1, `$p k) < 1199888824 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, the slightly trimmed version is ``s``s`o`k``s``s`ks``s`ko``s`kk``s``s`ks``s`k`s`ks``s`k`s`kk`o`kk0``s`kk`o`kk`k`k0`k0 < 1199888827 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Thanks < 1199888904 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :you're welcome :) < 1199888917 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I'd make a special combinator just for it, but since it also contains lambda, I'm not sure it will gain that much time. < 1199889468 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :There's apparently some rules for abstraction elimination in the SKIBC system < 1199889473 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should try that. < 1199890304 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :``c``bc``b`bc``c``bc``b`bb``c``bbi``b`b`ci``b`cii``bkii < 1199890308 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Let's try it out! < 1199890407 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well in a.e. for ^x.E(x)F(x), the rules for K, B and C are just special cases of the rule for S, when at least one of the parts don't mention x < 1199890462 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1199890476 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And it gives more compact expression, for this poor slow interpreter. < 1199890617 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I even already have the combinator for CI! < 1199890795 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :``c``bc``b`bc``c``bc``b`bb``c``bbi``b`bt``bti``bkii < 1199890801 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It is more fashionable that way. < 1199890885 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And ``bki seems to be no one else but our old friend k! < 1199890989 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Is ``b[stuff]i equivalent to [stuff]? < 1199890995 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :``bti seems to be t too. < 1199891100 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Nah, just ^a.Ca apparently. < 1199891297 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :``bXi = ``s`kXi which is X by the eta-rule? < 1199891352 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Ah yes, that. < 1199891366 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I don't think enough of the eta rule. < 1199891374 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :The orphan of conversions. < 1199891903 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :``c``bc``b`bc``c``bc``b`bb``c`b``b`bttki < 1199891921 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Can't think of anything further, but it's more reasonable alread. < 1199892034 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1199892102 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :``c``bc``b`bc``c``bc``b`bb``cb``b`bttki, more accurately < 1199892309 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :if c is call/cc, then you are a sick bastard < 1199892390 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :c is the c combinator. < 1199892407 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Or Cardinal, for bird lovers. < 1199892424 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Hell, I can even define substraction in less than a line! ``b`c`t``c``bc``b`bc``c``bc``b`bb``cb``b`bttkii < 1199892520 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And iszero seems to be `t`k0 ! < 1199892532 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It's quite a nice way to eliminate abstractions. < 1199892573 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Oh, no. Forgot a ` < 1199892596 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :``c`t`k0k actually. < 1199893526 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1199894292 0 :Slereah!n=Test4@ANantes-252-1-14-157.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1199894453 0 :jix!n=jix@dyndsl-080-228-177-057.ewe-ip-backbone.de JOIN :#esoteric < 1199894900 0 :Tritonio_!n=Tritonio@150.140.225.2 JOIN :#esoteric < 1199895154 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1199895732 0 :Slereah-!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199896035 0 :lulz!i=error@tinfoilhat.net JOIN :#esoteric < 1199896041 0 :lulz!unknown@unknown.invalid NICK :christ < 1199896102 0 :christ!unknown@unknown.invalid PRIVMSG #esoteric :hai < 1199896119 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hello. < 1199896130 0 :christ!unknown@unknown.invalid PRIVMSG #esoteric :what's up slereah ? how're u doing ? < 1199896172 0 :christ!unknown@unknown.invalid PRIVMSG #esoteric :bah, bai < 1199896174 0 :christ!unknown@unknown.invalid QUIT :Client Quit < 1199896188 0 :ehirdsleep!unknown@unknown.invalid PRIVMSG #esoteric :hello world. < 1199896191 0 :ehirdsleep!unknown@unknown.invalid NICK :ehird < 1199896196 0 :ehird!unknown@unknown.invalid NICK :ehird` < 1199896234 0 :Slereah-!n=Test4@ANantes-252-1-14-157.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1199896711 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199896728 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199897080 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :does anybody know when i first came in here? < 1199897330 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199897768 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1199898687 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Today or in general? < 1199898933 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in general < 1199898939 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm looking through ircbrowse to find < 1199898954 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :earliest i've found so far is 20070806 < 1199898960 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but i'm pretty sure it was earlier than that < 1199898984 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: You joined once on Dec 29 2006 but didn't say anything < 1199899000 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: Then the next time I've got in my logs was May 14 2007 < 1199899005 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :Where you did say stuff < 1199899013 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :10:48 < ehird`> i honestly think my language may be worse than malbolge < 1199899022 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sekhmet: well, that was fast. < 1199899027 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1199899030 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :I'm quick w/ the logfiles < 1199899039 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i wonder why i didn't say anything < 1199899040 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1199899165 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :side note: that language was worse than malbolge, but the decoding mechanism unfortunately meant that most programs couldn't be encoded < 1199899165 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1199901332 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ACTION realises this is the first itme sekhmet has actually spoken < 1199901649 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :Nah, I spoke for a bit when I first joined here < 1199901669 0 :sekhmet!unknown@unknown.invalid PRIVMSG #esoteric :Not much though, I mostly lurk and go check out new esolangs when I notice 'em being discussed. :) < 1199902018 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :anyone here malbolge-knowledgable? < 1199902582 0 :timotiis!unknown@unknown.invalid PRIVMSG #esoteric :not me < 1199902916 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1199903485 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :http://esoteric.voxelperfect.net/wiki/Deadfish%7E this seems turing complete to me < 1199903862 0 :RedDak!n=dak@host194-89-dynamic.2-79-r.retail.telecomitalia.it JOIN :#esoteric < 1199906684 0 :cherez!unknown@unknown.invalid PRIVMSG #esoteric :It might be Turing complete, but I don't see how it would be Turing equivalent. < 1199907694 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :cherez: what sense does that make. < 1199907794 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: I can has egobot? < 1199907806 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :in here. < 1199908118 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes < 1199909256 0 :EgoBot!n=EgoBot@c-24-22-4-68.hsd1.mn.comcast.net JOIN :#esoteric < 1199909320 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://www.mitadmissions.org/topics/learning/coursework/the_end_of_an_era_1.shtml < 1199909322 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so sad :( < 1199909463 0 :faxlore!n=more@137.195.250.2 JOIN :#esoteric < 1199909740 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :god damn you gregorr, i just compiled netcat to get GlassBot in here < 1199909740 0 :GlassBot!n=GlassBot@user-514f37e4.l2.c3.dsl.pol.co.uk JOIN :#esoteric < 1199909770 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :G! {SAD EHIRD IS SAD} < 1199909773 0 :GlassBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909793 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :G! (a < 1199909795 0 :GlassBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909805 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :GregorR! Your parser is broken. < 1199909809 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :G! a) < 1199909810 0 :GlassBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909829 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :G! {(a < 1199909831 0 :GlassBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909836 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :G! < 1199909838 0 :GlassBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909842 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :OK! < 1199909862 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :G! {(asdf(g))} < 1199909864 0 :GlassBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909875 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm trying to figure out t he exact allowed characters in e.g. ()s < 1199909879 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :for my haskell implementation < 1199909899 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :!glass ( < 1199909901 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :OK < 1199909944 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: Ping! < 1199909970 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :you writing a bunch of interpreters in haskell for esolangs? < 1199909980 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and compilers yeah. < 1199909986 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :haskell, c and scheme < 1199910137 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :i'm supposed to be writing a compiler for kipple... < 1199910155 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :kipple, i've heard of that before < 1199910162 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :link me to the esolangs pge and i might implement it :P < 1199910177 0 :Jontte!n=joonas@88.195.10.216 JOIN :#esoteric < 1199910298 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i see < 1199910299 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :looks trivial < 1199910335 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :it is < 1199910341 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :but don't you implement it :P < 1199910348 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :why not < 1199910354 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :i'll get round to it before the end of the week... < 1199910365 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :looks like there's already lots of implementations < 1199910367 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :it's just coursework i've procrastinated for weeks < 1199910368 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1199910377 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :i just wanted an easy task for my compiler design course < 1199910387 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :you won't learn much compiler design from that < 1199910406 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1199910411 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :but i have other tasks to learn that from < 1199910412 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1199910425 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :this was just a trivial exercise to implement in CoCo/R < 1199910511 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hah, since glass Strings name-clash with haskell strings, I followed by muscle memory and added a prefix - since it's a glass compiler, G. < 1199910636 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1199910638 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :nice :) < 1199911148 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :kipple Q < 1199911150 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :> Push left operand onto right stack < 1199911150 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :< Push right operand onto left stack < 1199911153 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :these are redundant, right? < 1199911157 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1199911167 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :well < 1199911173 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :in simple expressions, i think < 1199911187 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what i mean is that i can parse them to be the same < 1199911192 0 :johnl!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1199911227 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hm, i need to allow arbitary code for the operands too < 1199911228 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :well < 1199911230 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :for the left one < 1199911277 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1199911283 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the *parsing* of kipple is non-trivial < 1199911284 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::-) < 1199913986 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1199914035 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1199914238 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1199914285 0 :Tritonio_!n=Tritonio@150.140.226.222 JOIN :#esoteric < 1199914897 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :anyone have a language they want implemented? :P < 1199914919 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :Yes < 1199914959 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :what is it < 1199914992 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :well I don't really want a particular language implemented < 1199914998 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oh..kay.. < 1199914999 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :just a certain kind of parser < 1199915010 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :(I was going to hook pu a few different lambca caluclus to it) < 1199915045 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'd do all parsing using parsec, so implementing a certain kind of parser would be a bit...heh < 1199915070 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :ACTION would use parsec to write this too probably < 1199915255 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OH WELL. anything other than a parser? :P < 1199915502 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :http://www.esolangs.org/wiki/Thue < 1199915506 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1199915509 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1199915509 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :thue < 1199915513 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh. < 1199915530 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :thue, the one language you can't parse because you'd lose the information it needs to evaluate! < 1199915545 0 :Jontte!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1199915571 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :oh foo >:| < 1199915590 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :you could finish this line "sortPlaces = " :p < 1199915593 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :that would be nice... < 1199915593 0 :johnl!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1199915700 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sortPlaces = deliciously frozen food! < 1199915775 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1199915833 0 :johnl!i=johnl@johnl.org JOIN :#esoteric < 1199915877 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :oh you know what's a fun problem < 1199915887 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :I tried this the other day but didn't do well ... < 1199915917 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :write a program that composes combinators (like solving the puzzles in To Mock A Mockingbird) to match some lambda abstraction < 1199915930 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :It's not really a language though < 1199915952 0 :GreaseMonkey!n=saru@219-89-58-122.dialup.xtra.co.nz JOIN :#esoteric < 1199915984 0 :tesseracter!n=tesserac@pool-71-127-8-66.spfdma.east.verizon.net JOIN :#esoteric < 1199916361 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :actually, better: < 1199916363 0 :RedDak!unknown@unknown.invalid QUIT :"I'm quitting... Bye all" < 1199916366 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :an optimizing SKI->lambda calculus < 1199916373 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that is, doesn't just do 'dumb' replacement < 1199916498 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :given the type of some function, you can infer the minimal size term with that type? < 1199916511 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :is that first or second order unification or something else? < 1199916595 0 :faxlore!unknown@unknown.invalid PRIVMSG #esoteric :in any case if you do write a SKI-> lambda caluclus thing I wanna see it :D < 1199920421 0 :timotiis!unknown@unknown.invalid QUIT :"leaving" < 1199921073 0 :Tritonio__!n=Tritonio@150.140.227.129 JOIN :#esoteric < 1199921098 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1199921238 0 :faxlore!unknown@unknown.invalid QUIT :"Leaving" < 1199922368 0 :GregorR!unknown@unknown.invalid QUIT :Remote closed the connection < 1199922457 0 :GregorR!n=gregor@c-24-22-4-68.hsd1.mn.comcast.net JOIN :#esoteric < 1199922477 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hey Gregorr < 1199922516 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I'm only slightly active. < 1199922518 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :And will be inactive momentarily. < 1199922524 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric ::P