< 1198196559 0 :sebbu2!n=sebbu@ADijon-152-1-66-118.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1198197030 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198197031 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198197560 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198197563 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198197766 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1198197766 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1198198130 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198198131 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198198406 0 :ehird`!unknown@unknown.invalid QUIT :Remote closed the connection < 1198198808 0 :sebbu2!n=sebbu@ADijon-152-1-66-118.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1198198929 0 :sebbu3!n=sebbu@ADijon-152-1-66-118.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1198199134 0 :sebbu2!unknown@unknown.invalid QUIT :Nick collision from services. < 1198199135 0 :sebbu!unknown@unknown.invalid QUIT :Nick collision from services. < 1198200789 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198201400 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198203658 0 :sebbu3!unknown@unknown.invalid QUIT :"@+" < 1198205745 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198205745 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198206878 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198207499 0 :puzzlet_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198211367 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1198211772 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes to celebrate his status as an Agoran Spy < 1198213789 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198213790 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198215175 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198215175 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198216539 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1198216540 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198221478 0 :dbc!n=daniel@130-94-161-238-dsl.hevanet.com JOIN :#esoteric < 1198221785 0 :pinwee!n=sinban@77.209.36.130 JOIN :#esoteric < 1198222230 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: why are bunting and becard the same combinator :o < 1198223999 0 :clog!unknown@unknown.invalid QUIT :ended < 1198224000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1198225733 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wtf < 1198225745 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :why doesn't freenode ping off my bot :< < 1198225750 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :guess i should register it... < 1198225781 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198225854 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :right, can't register it because ololobot is online too :D < 1198226391 0 :puzzlet!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198227711 0 :Jontte!n=joonas@dsl-hkibras1-ff0ac300-216.dhcp.inet.fi JOIN :#esoteric < 1198228803 0 :pinwee!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198229432 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :fun looking at random #esoteric logs and finding myself talking crap every 15 sentences :D < 1198234929 0 :Jontte!unknown@unknown.invalid QUIT :"Konversation terminated!" < 1198236654 0 :faxathisia!n=more@amcant.demon.co.uk JOIN :#esoteric < 1198236806 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1198236903 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198237195 0 :AnMaster!unknown@unknown.invalid QUIT :"mouse broken, restarting to fix related issue" < 1198239050 0 :AnMaster!n=AnMaster@unaffiliated/anmaster JOIN :#esoteric < 1198240131 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :>>> F={};F![/N]=(/N*8);f"a" < 1198240131 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"aaaaaaa" < 1198240135 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :dynamical scoping owns :) < 1198240161 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :whoops < 1198240181 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"aaaaaaaa" < 1198240195 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm a lousy interpreter < 1198240307 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :PLEASE SAY HELLO WORLD, LOUSY INTERPRETER < 1198240632 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hélo word < 1198241349 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Damn you! < 1198241385 0 :sebbu!n=sebbu@ADijon-152-1-66-118.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1198241388 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I won't even ask you to take that bottle of beer of the wall, you'll probably get drunk before the end of it! < 1198244515 0 :jix!n=jix@dyndsl-085-016-238-209.ewe-ip-backbone.de JOIN :#esoteric < 1198246083 0 :mtve!unknown@unknown.invalid QUIT :"Terminated with extreme prejudice - dircproxy 1.0.5" < 1198246106 0 :mtve!i=mtve@mtve.vm.jvds.com JOIN :#esoteric < 1198246231 0 :mtve!unknown@unknown.invalid QUIT :Client Quit < 1198246254 0 :mtve!i=mtve@mtve.vm.jvds.com JOIN :#esoteric < 1198246564 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: what lang was that? < 1198246576 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: ?? < 1198246883 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1198246892 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, oklotalk, of course :) < 1198246898 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :where? < 1198246957 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :where? < 1198248332 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :where is the definition online < 1198248391 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wiktionary.org/wiki/online < 1198248420 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: none published yet < 1198248428 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :since it still constantly evolves :o < 1198248449 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm aiming for perl6, with some features and syntactic sugar added! < 1198248485 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(well, the language is completely different, the reference was purely to the amount of... stuff) < 1198248590 0 :Maxdamantus!unknown@unknown.invalid QUIT :Remote closed the connection < 1198248591 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1198249328 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :error message oriented programming < 1198249398 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1198249421 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :10 IGNORE INPUT < 1198249421 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :20 PRINT "Your program is wrong" < 1198249421 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :30 GOTO 10 < 1198249437 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is struggling with a type system.. < 1198249443 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :which? < 1198249447 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Agda2 < 1198249460 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's very nice but I don't know what I'm doing :p < 1198249477 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :one of yours < 1198249544 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :? < 1198249553 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oh, no not mine < 1198249619 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :http://www.cs.chalmers.se/~ulfn/talks/agda2-060510.pdf ?? < 1198249629 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1198249867 0 :RedDak!n=dak@host247-81-dynamic.10-87-r.retail.telecomitalia.it JOIN :#esoteric < 1198249937 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198249939 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198249992 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: could I help? < 1198250007 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I have s little understanding of this kind of thing < 1198250015 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services. < 1198250025 0 :jix!n=jix@dyndsl-085-016-232-028.ewe-ip-backbone.de JOIN :#esoteric < 1198250029 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I'm trying to write a function, plus_s : (m : Nat) -> (n : Nat) -> suc (m + n) == (m + suc n) < 1198250036 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :it is not really much beyond Generalised Algebraic Data Types in Haskell < 1198250051 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: ok... < 1198250062 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ACTION reads about Generalised Algebraic Data Types < 1198250153 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well I think you need some lambdas in there... < 1198250154 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: ?? < 1198250174 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: you seem to have mixed up a type sig and a definition < 1198250194 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1198250197 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :That's what I want to do < 1198250211 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :the types depend on the parametrs < 1198250277 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :umm, are you sure? < 1198250294 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: what was the last thing you said before I said that to you? < 1198250297 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :or rather, when? < 1198250297 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :not 100% :s < 1198250305 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, I see now < 1198250346 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: I would think you need one type sig, one case for m = 0, and one case for m > 0 < 1198250392 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :plus_s : Nat -> Nat -> Nat < 1198250409 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: My logs don't go *back* that far. < 1198250416 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :At least a few days ago. ;) < 1198250436 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :pikhq: it was about being an "Agoran Spy" < 1198250439 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :what is that? < 1198250441 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :*Oh*. < 1198250448 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :It's a patent title in Agora. < 1198250453 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(newly defined for my sake) < 1198250524 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :define: "Agora" < 1198250542 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Agora is a Nomic; a game whose rule-changing procedures are rule-defined. < 1198250562 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :is it possible to back a nomic into a dead-end? < 1198250568 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Very much so. < 1198250582 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :is it possible to make it undefined using temporar loops < 1198250585 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :*+l < 1198250593 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :That's one possible means. < 1198250606 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Some Nomic rulesets are better at handling that than others. < 1198250619 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :actually, every Noic ruleset is equally bad at it < 1198250631 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :because they are nomics < 1198250641 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: This stuff is cool http://www.iis.sinica.edu.tw/~scm/2007/agda-exercise-proving-that-mergesort-returns-ordered-list/ < 1198250650 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :B Nomic, for example, can only survive that because they have a rule allowing for the temporary suspension of the rest of the rules to reset the game. < 1198250675 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :which is fine unless you remove that rule < 1198250689 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Agora survives that sort of thing because such events are usually done wrong via a technicality. During which time the bug will be fixed. < 1198250692 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :True, true. < 1198250700 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :I believe that one requires unanimous support. < 1198250707 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :to amend. < 1198250769 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :there needs to be something between a nomic and an orgdinary game maybe < 1198250787 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :But that loses the fun of a Nomic. < 1198250789 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :where you can make most rule changes, but not any that screw up the game < 1198250792 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1198250807 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Nomic in Agora is *kinda* like that. . . < 1198250813 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :In theory, you can make any rule change. < 1198250821 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :In practice, you won't be *allowed* to. < 1198250831 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :not too bad then < 1198250832 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :Agorans care quite a bit about their precious Nomic. < 1198250871 0 :pikhq!unknown@unknown.invalid PRIVMSG #esoteric :(not that I can blame them. . . It's really a *hard* ruleset to abuse, for one thing. . . Representing 14 years of rule-changing) < 1198251173 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, waitamo... < 1198251189 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I just realised I failed to say what I was thinking just then < 1198251200 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I was lookking at nomics from a programming PoV < 1198251223 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :there must always be some immutable base to it all, I think < 1198251243 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :(That is one of my objections to "changing laws of physics" theories, too.) < 1198251270 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :It is actually moar of a "changing constants" < 1198251312 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well that's ok < 1198251389 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Is there a particular process to change lambda expressions int combinators? < 1198251391 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :but if laws of physics "change", then time can't be all the mutable or one of them would have fucked it up by now < 1198251399 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: er, what? < 1198251406 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :what is an "int combinator"? < 1198251422 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :By just applying the transformation pretty much randomly, I end up on some variables that can't bbe changed. < 1198251425 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Into, SimonRC. < 1198251433 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1198251437 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hm.. < 1198251446 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ISTR that unlambda homepage has a method < 1198251461 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I suppose there's a particular order for it, but... < 1198251467 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :it causes an exponential blowup in program size in the general case < 1198251493 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Doesn't worry me too much. < 1198251499 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :it is a simple recursive method < 1198251572 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I suppose it's under "Abstraction elimination" < 1198251613 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1198251625 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and "Making abstraction elimination more efficient" < 1198251647 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :if you are using Haskell, it should be easy to implement < 1198251666 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :abstraction elimination is eta reduction I think < 1198251677 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :dunno < 1198252665 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ololobot_ does the conversion with pl < 1198252676 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean, the one described on the unlambda page < 1198253532 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC did you see the link ? < 1198253790 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: which? < 1198253795 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1198253981 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :looks like epigram to me < 1198254011 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yeah I think it's the same kind < 1198254016 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I couldn't get epigram to run though >:| < 1198254760 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Have you done anything with Epigram? < 1198256514 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1198257677 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: no < 1198259430 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Holy fuck. Abstraction elimination is some ugly business. < 1198259441 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I'm flooded with parenthesis. < 1198259483 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ooo lets see? :D < 1198259484 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ABSTRACTION TERMINATED. < 1198259501 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://projecteuler.net/ i'm hooked :P < 1198259695 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :So far, it looks like this : http://membres.lycos.fr/bewulf/Russell/AE.jpg < 1198259705 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :brackets!! < 1198259709 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I'm not sure all the parenthesis are in the right place. < 1198259723 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :You're not doing this manually.. are you? < 1198259730 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :8| < 1198259733 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :... yes :( < 1198259740 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you're a god < 1198259743 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :wouldn't it be easier to write a program? < 1198259756 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :please stop bullying the deity < 1198259763 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, I usually prefer to do such things by hand first. < 1198259768 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :To get the feel of it. < 1198259787 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :maybe this helps http://www.angelfire.com/tx4/cus/combinator/birds.html ! < 1198259790 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Remember the addition program? I got the idea after doing this : http://membres.lycos.fr/bewulf/Russell/5+12.txt < 1198259800 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Already know it. < 1198259824 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And I programmed my Turing machine because I had a hard time doing the examples in Turing original article. < 1198259879 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :(Starting with the second one. Being a Turing machine is a thankless job!) < 1198260475 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: you know, I think you are supposed to start from the outside lambda inwards... < 1198260735 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Isn't that what I did? < 1198260748 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Bloody hell. < 1198260795 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I decomposed the thingy into T[^ T[^ T[^ ...]]] and started by the innermost lambda in it. < 1198260818 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yeah, the op[posit of what I said < 1198260830 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :the first thing to eliminate would be the \m < 1198260845 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :um, I think < 1198260867 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Russell/AE2.jpg < 1198260895 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I don't suppose anyone has the combinator version of multiplication somewhere. < 1198260901 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :To check. < 1198260950 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I get ((S((S((S(KS))((S(KS))((S((S(KS))((S(KK))(KS))))((S((S(KS))((S(KK))(KK))))((S(KK))I))))))(KI))((S(KK))(KI))) < 1198261054 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: you mean multiplication of church numerals? < 1198261061 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :What's the lambda term for it? < 1198261090 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :See the first step. < 1198261090 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :as in: 5 = \x\y.x(x(x(x(xy)))) ? < 1198261108 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :^mnf.(mn)f < 1198261128 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1198261184 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :surely if m and n are church numerals, (mn)f == m(nf)? < 1198261210 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, waitamo... < 1198261234 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :\mnf->(mn)f is exponentiation < 1198261297 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :e.g. it turns 5,4,x into (5 4) x == (\y. 4 (4 (4 (4 (4 y))))) x = 4(4(4(4(4x)))) < 1198261312 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :which is 1024 x < 1198261321 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :i.e. (5^4) x < 1198261334 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :multiplication of church numerals is composition < 1198261342 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Damn. Where did I get that. < 1198261386 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :"The function which multiplies two Church integers (by applying them consecutively to the same function) is ^m^n^f`$m`$n$f, i.e. ``s`ksk" < 1198261402 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Oh. I actually made a typo when I wrote it on the first line. < 1198261411 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, so much for that. < 1198261443 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I forgot Unlambda's notation. Is `ab = (ab)? < 1198261452 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Or is it (ba) < 1198261840 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ab < 1198261841 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(ab) < 1198261990 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I did spend 20 lines doing the wrong problem didn't I. < 1198262049 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I'll try some combinator with a known SKI decomposition instead. < 1198262117 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :The Mockingbird. Three combinators. < 1198262122 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :That's more inspiring. < 1198263103 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1198263203 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I just can't keep track of the parenthesis. < 1198263209 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I'll just cook up some code. < 1198263223 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I wrote some code to it but it doesn't work! < 1198263293 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Hell, I don't even have any idea how to deal with brackets! < 1198263305 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :But well, let's see if I can cook up something. < 1198263385 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :are not free and bound two different things? < 1198263403 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Why yes, yes they are. < 1198263408 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :They are different thing, that is. < 1198263411 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :What's the difference.. < 1198263436 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Free variables are in the expression without some lambda to cramp their style. < 1198263504 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :From what I've seen on the abstract elimination thingy, a variable that isn't at all in the expression is considered not free for the rule T[^x.E] = K T[E], with x not free in E. < 1198263598 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes. < 1198263618 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Byes. < 1198264104 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :grr < 1198264115 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I wrote something which seesm to do it but it only works in one direction < 1198264468 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if there's a shorter set of rules for it. < 1198264475 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Free and bound variables are bothersome. < 1198264521 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess that comes once you've made it pointless? < 1198264527 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :point-free < 1198264539 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*comes in, i guess < 1198264560 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Yes free and bound vars are the problem < 1198264639 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :but I doubt sidestepping it is possible :| < 1198264643 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i meant, i guess what you are doing is exactly reducing it to the shorter set of rules < 1198264662 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, you can get rid of a lot of the free-bound rules in logic for instance. < 1198264675 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :guess, because i just skimmed your conversation for keywords :) < 1198264676 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :But then again, LC seems pretty much based on it. < 1198264916 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1198265907 0 :tesseracter!n=tesserac@pool-72-70-237-75.spfdma.east.verizon.net JOIN :#esoteric < 1198265972 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Hello sir. < 1198265984 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :hi? < 1198265995 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :i was actually looking for a obfuscated code channel < 1198266008 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION strangely hears something out of another dimension < 1198266019 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, esolangs are quite obfuscated < 1198266059 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :right, but python oneliners arent exactly esoteric, more obfuscated. < 1198266068 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1198266071 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :http://dpaste.com/28780/ < 1198266073 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Esolangs are a subset of it < 1198266096 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :people here have been known to make IOCCC entries... < 1198266127 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :For instance, this is somehow obfuscated : http://membres.lycos.fr/bewulf/Russell/99Turingprog5.txt < 1198266133 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And a one-liner, too! < 1198266149 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I can't read that < 1198266153 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Mostly because I can't find how to strip the code of LF. < 1198266206 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I have a somehow commented version, but it's commented in French. < 1198266283 0 :weilawei!n=weilawei@pool-72-70-237-75.spfdma.east.verizon.net JOIN :#esoteric < 1198266296 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Hi. < 1198266341 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :for some reason Slereah-, you remind me of a bot. kinda spooky. < 1198266342 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean strip the code of LF? < 1198266349 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Line feeds. < 1198266354 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oh right.. < 1198266373 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Since I'm not that good at manipulting strings, it just reads it like one big block. < 1198266406 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :tesseracter: Why do you think Slereah-, I remind me of a bot. kinda spooky. < 1198266406 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :strings are in general really awkward to deal with :| < 1198266436 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :It's nice to have logic programming or some combinator parser someone else wrote around < 1198266449 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :The solution would have been to just put strip(LF), but I would need the curses module < 1198266458 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ha. < 1198266462 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And it doesn't exist on windows. < 1198266535 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: what language have you been using 8| < 1198266552 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: what do you mean? I used a lot of languages < 1198266578 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"strings are in general really awkward to deal with" i feel the exact opposite, so... just wondered < 1198266595 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :What languages have *you* been using? < 1198266604 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :python, mostly < 1198266607 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :especially awkward in c, javascript and python < 1198266612 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I use python. < 1198266614 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh :\ < 1198266623 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :and yes, what have you been using!? :D < 1198266625 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, I'm incompetent, but I assume faxathisia isn't. < 1198266645 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i use python almost exclusively these days < 1198266668 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :you chould show some good string processing code? < 1198266682 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :python has reasonably simple regexps < 1198266695 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :module re, i think < 1198266709 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :regexps + a way to use a string like a file, and i don't really see how anything could be awkward < 1198266753 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and no, i can't show you any *good* code, since i don't know what that means < 1198266768 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1198266774 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :We need a philosopher on that one. < 1198266829 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i don't think anyone has called my code readable < 1198266843 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Sparse comments? < 1198266858 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :comments are useless < 1198266883 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :add descriptive lambdas into the language like i did with oklotalk for comments < 1198266885 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :! < 1198266890 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1198266894 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :"descriptive" < 1198266900 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :err... i mean declarative or smth < 1198266911 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: comments should only need to explain _why_ you implemented something the way you did. < 1198266913 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :like, lambdas that describe the result. < 1198266924 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :in the future we don't need comments :) < 1198266925 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess < 1198266929 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :indeed < 1198266935 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that is how i see it. < 1198266944 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :sometimes they are required though, like: Don't give an empty list to this! < 1198266956 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :or: Takes a valid printf string < 1198266962 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :tesseracter: in that use, i consider then fully useless :) < 1198266970 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :as if that's anyone's business. < 1198266982 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*them < 1198266986 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198266997 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: that can be done using the language itself. < 1198267007 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if not, the language sucks, not my problem :) < 1198267007 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: What language[s]? < 1198267019 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oklotalk, mostly :P < 1198267022 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hehe < 1198267028 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :where is there some info on oklotalk? < 1198267043 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if something is easy in oklotalk - a non existent language sofar - i consider it something that should be easy in other languages too < 1198267047 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and if not, they suck < 1198267057 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :nowhere online :) < 1198267068 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :being a programming language is not about making things easy for programmers :p < 1198267070 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've been talking about ot for years < 1198267077 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but i finally have a real reason to finish it < 1198267084 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :it's my high-school graduation project < 1198267116 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh, oklotalk makes up for it's nice debugging facilities in being extremely obfuscatable :) < 1198267116 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :o_O < 1198267132 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o_O? < 1198267385 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if that was for "mostly oklotalk", i meant i don't know what other languages provide for the stuff i have in mind, since i only know python, java and c++ well enough to confidently know what's doable in them < 1198267392 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION imagines several options for oklopol flunking high school now... < 1198267400 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ah :) < 1198267425 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :another reason is i don't have a course i need to have, and it's not given anymore < 1198267480 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198267483 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :a spoken english course :D < 1198267483 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :guten morgen < 1198267498 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ist schon sehr spät < 1198267540 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :six function calculator in one line of python: http://dresstosurvive.wordpress.com/2007/12/21/six-function-calculator-in-one-line-of-python/ < 1198267553 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :i think tesseracter spoiled my surprise >_> < 1198267561 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :no eval() < 1198267584 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION must have greatly misremembered the time zone of germany < 1198267600 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm, same as yours, no? < 1198267627 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'll show my bf interpreter oneliner again! < 1198267629 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :thought so, and hier ist kein gute morgen < 1198267663 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :aww I did a bf interp one liner but I lost it < 1198267677 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :it had to be < 512 chars for lambdabot to understand < 1198267874 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what lang? < 1198267881 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :can't find mine :< < 1198267905 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :haskell < 1198267998 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :ACTION plans on doing some BF interpreter on his Turing machine < 1198268005 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :And well, it will have to be one line. < 1198268015 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :But first, I need to install them penguins. < 1198268029 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :ACTION has some up for sale < 1198268035 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1198268046 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Linux for sale? What a bargain! < 1198268047 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :every turing machine program is a one liner because i t uses infinite tape < 1198268051 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :then do some turing machine with bf! < 1198268067 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :and run that bf interpreter again with that < 1198268069 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia : The instructions themselves aren"t on the tape. < 1198268074 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wants a hardware bf CPU < 1198268078 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :((lambda: "penguin") for x in customers) < 1198268087 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :it generates penguins for customers =D < 1198268090 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yes! and calculate the eigenratio < 1198268092 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ooh :( < 1198268094 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :also, my Turing Machine supports multi tapes :o < 1198268125 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I will probably use 3 for the BF interpreter. < 1198268127 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :the lambda was gratuitous, i admit < 1198268144 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :One for the code, one for the "tape" of BF, and one to keep track of the brackets. < 1198268154 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :ACTION isn't sure whether penguins or lambdas are cuddlier < 1198268171 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :what of combinatory birds? < 1198268186 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :hardware bf cpu sounds very.. useful! < 1198268221 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :You could run your BF programs in record time! < 1198268308 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :tejeez: ok ok, howabout a water-based bf cpu? the output would drip on your head. < 1198268338 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :well, a bf cpu made with discrete components or simple logic chips would be quite interesting project < 1198268379 0 :sekhmet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1198268506 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :There's a BF CPU diagram. < 1198268536 0 :sekhmet!n=pez@76.201.149.247 JOIN :#esoteric < 1198268587 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :http://science.slashdot.org/article.pl?sid=04/10/06/2026222 tejeez, this is what i was talking about... < 1198268646 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that would be even cooler way to implement a brainfuck cpu! < 1198268647 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :What if there's a clog? :o < 1198268686 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :ACTION gets the draino < 1198268714 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :INPUT DRAINO < 1198268717 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :"theres a bug. is it hardware or software?" < 1198268733 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :There's an ant drinking the sweet sweet computer juice < 1198268744 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :obviously you would need to use filters. < 1198268797 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Try to use 1's rather than 0. They're aerodynamics, less turbulence in the water < 1198268858 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :but as every cell in brainfuck is initially 0, it'd be better to make 0's more aerodynamic < 1198268882 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Some sort of losange? < 1198268889 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :i think 0's are naturally more aerodynamic due to the curvature < 1198268929 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, unless that curvature is infinite, the water is going to bump on its cross-section! < 1198268980 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Then again, there's worse I guess. < 1198268982 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Like 5. < 1198269027 0 :sekhmet!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1198269031 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :CPU lag/queue? you dont get your water till something else comes down the pipe... < 1198269057 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Could you overclock it with a bicycle pump? < 1198269076 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :i think a simple siphon might help.. < 1198269092 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :but.. overclocking it would.. make it run cooler? < 1198269093 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :>_< < 1198269142 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :ok guys, combine the fluid gates with http://blog.wired.com/wiredscience/2007/12/macgyver-scienc.html and you can make your own BF water CPU at home!!! < 1198269202 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :who has a link to the bf cpu schematics? < 1198269248 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :how do you input your program? < 1198269255 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :http://www.clifford.at/bfcpu/bfcpu.html < 1198269311 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :tesseracter: a lot of cups that should be filled (1) or left empty (0) < 1198269326 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :three such cups would be one instruction < 1198269331 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :ACTION and tesseracter are plotting... < 1198269414 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :or maybe a lot of valves? < 1198269420 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :steampunk! < 1198269425 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION envisions the Zen fluid bf cpu, where the cups are either half full or empty. < 1198269437 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Steam? This isn't even Clockpunk! < 1198269444 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*half empty < 1198269450 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :What would be the fluid? < 1198269465 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :this if brainfuck, not some (brain)fucking steampunk < 1198269468 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :maybe alcohol and water? < 1198269470 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: you need 2 different density fluids < 1198269484 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :aka: the indifference engine < 1198269491 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1198269518 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :brain[fp]u[cn]k? < 1198269532 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Brainpunk < 1198269542 0 :sekhmet!n=pez@76.201.145.254 JOIN :#esoteric < 1198269566 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :brainpuck < 1198269566 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :steamfuck? < 1198269577 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :http://content.answers.com/main/content/wp/en/1/14/William_Stanley_Jevons_Logic_Piano.jpg < 1198269624 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: quantum brainfuck? < 1198269630 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1198269645 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is disappointed brainpunk does not appear to denote a musical genre < 1198269662 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :does brainfunk? < 1198269665 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Quantum Brainpunk is when you fill the cup randomly. < 1198269679 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Like you just use some cups lying around your house. < 1198269718 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :quantum is not the same as random! there needs to be entanglement... < 1198269744 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Well, with cup, I'm not sure I can do it. < 1198269806 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :weilawei was worried that you couldnt use a bf water cpu in space...turns out, you can just spin it. need overclocking? spin faster! < 1198269821 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is planning to market it to NASA < 1198269832 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Spinning it will induce coriolis forces < 1198269839 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :That could screw up the results! < 1198269850 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-, see, i said use an impeller or a pump.. < 1198269852 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :but nooo < 1198269868 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :in space though.. once it was spinning.. < 1198269874 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :0 watt BF cpu < 1198269894 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :it would be hard to read the results weilawei... < 1198269899 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :You know that pesky law of thermodynamic? < 1198269904 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-, SHH < 1198269929 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :yes we know, but we're aiming to preserve our natural environment as best as possible < 1198269959 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Let's train monkeys to do symbol manipulation. < 1198269971 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-, forget that. too easy < 1198269974 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Apefuck! < 1198269976 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1198269993 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :>_< < 1198270002 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :train chihuahuas to be quiet and you should win a nobel < 1198270018 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :I can, but it would qualify as animal cruelty. < 1198270037 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tried to make a little dog punter once. it didnt get many investors tho... < 1198270520 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :i wonder what cpu has the least amount of logic gates... < 1198270556 0 :ehird`_!n=ehird@user-5440bd6b.wfd77a.dsl.pol.co.uk JOIN :#esoteric < 1198270562 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :the infinite improbability drive? or the bistromath drive? < 1198270568 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Zero I assume. Unless you mean "Turing complete" as well. < 1198270586 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: i definitely mean turing complete. < 1198270597 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :The EMPTY CPU :O < 1198270617 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :probably some very simple 1-bit cpu :-o < 1198270693 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :http://www.esolangs.org/wiki/SCAB_computer? < 1198271074 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :ACTION thinks tesseracter is scheming to limit his time on #esoteric < 1198271106 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :what, because youre at work? < 1198271118 0 :weilawei!unknown@unknown.invalid PRIVMSG #esoteric :if you're so busy @work, what're you doing here? < 1198271137 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :ACTION stares blankly... < 1198271149 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :thanks tejeez, just what I needed. < 1198271240 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :hmm. is a water cpu a clock or an asynchronous system? < 1198271300 0 :tejeez!unknown@unknown.invalid PRIVMSG #esoteric :brainfuck can be easier to do with clocked..? < 1198271562 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :tejeez: yeah, but the difficulty is with the water, not brainfuck. < 1198271666 0 :Slereah-!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1198272057 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1198272292 0 :tesseracter!unknown@unknown.invalid PRIVMSG #esoteric :Slereah-: i just read what i wrote again. scary. < 1198272535 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :ridiculous, esoteric scheme compiling idea < 1198272539 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :for compiling 'define' < 1198272550 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :err < 1198272553 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :'begin' < 1198272581 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :first reduce all begins to two subforms. (begin x y z) -> (begin x (begin y z)), etc. Then, reduce (begin x y) to (and (or x #t) (or y #t)) < 1198272582 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1198272597 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :What's begin? < 1198272616 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :(begin x y z) -> (and (or x #t) (or (and (or y #t) (or z #t)) #t)) < 1198272624 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :ihope_: begin executes all its arguments one after another < 1198272634 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :so you can do: < 1198272646 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :(if cond (begin (display 1) (display 2)) (begin (display 3) (display 4))) < 1198272648 0 :ihope_!unknown@unknown.invalid PRIVMSG #esoteric :Interesting. < 1198272663 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :of course it's trivial to compile in the first place :-) < 1198272684 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :to most imperative languages, for instance, it can simply be ignored and used merely as a grouper < 1198272751 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ehird`_: um, begin should return its last argument so you don't want to use or there? < 1198272763 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :hmm, good point < 1198272768 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :but it's the only way to get and to work < 1198272804 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(and (or x #t) y) should work? < 1198272817 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :yes, you're right :P < 1198272858 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I compiled scheme into java < 1198272869 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :just for the sake of generating horrible code < 1198272882 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :e.g. context = new Context(Symbol.intern("succ"), new Lambda(new Cons(Symbol.intern("n"), new Nil()), new Lambda(new Cons(Symbol.intern("f"), new Cons(Symbol.intern("x"), new Nil())), new Cons(Symbol.intern("n"), new Cons(Symbol.intern("f"), new Cons(new Cons(Symbol.intern("f"), new Cons(Symbol.intern("x"), new Nil())), new Nil()))))), context); < 1198272899 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :that's not compiling < 1198272911 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :that's just parsing and convertnig to something that calls out to an interp < 1198272917 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :also, new Nil()? there's only one () < 1198272935 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :old Nil() :) < 1198272961 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: make a language with that, now < 1198272961 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1198272971 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :hahaha < 1198273007 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :ehird`_: huh .. ? < 1198273011 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :i thought that's the definition of compiling < 1198273015 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: err, no < 1198273026 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :compiling would remove the need for the scheme interpreter underneath all that :-) < 1198273038 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :what does it stand on? < 1198273044 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :There's got to be -an- interpreter somewhere < 1198273074 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :sure, the jvm interpreter in your case < 1198273085 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :I'm confused < 1198273108 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :it seems arbitrary (that to the JVM or x86 assembly) is compiling but this isn't < 1198273125 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually what faxathisia pasted doesn't seem that much interpreted. < 1198273135 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's just using lots of constructors < 1198273177 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :or wait < 1198273215 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :nah i'm speaking nonsense < 1198273229 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: well, evidently that's in a function somewhere but new Lambda(...) is NOT compiled by any reasnable definition :-) < 1198273250 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :right < 1198273262 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's just an AST < 1198273265 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :when I said compiling.. I meant changing something from one language to another < 1198273329 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :speaking of compiling scheme, i've made myself a compiler and compiled the factorial scheme definition to a reasonable definition that would be easy to compile to. i'm thinking of making SCM_if a C if, though. CPS. http://paste.lisp.org/display/52894 < 1198273337 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :like abstraction elimination from \x\y -> SK combinators is compiling too ? < 1198273353 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :hmm, SCM_OBJECT * returns should really be SCM_CALL returns < 1198273535 0 :cmeme!unknown@unknown.invalid QUIT :Excess Flood < 1198273585 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :faxathisia: i think the issue that your java version contains both the AST and an interpreter for it < 1198273590 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :http://paste.lisp.org/display/52894#1 version 2 < 1198273592 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*is that < 1198273620 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: see any way i could improve that compiler output? :-) < 1198273646 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1198273650 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :(of course, it uses absolutely 0 stack space so "fact" will never die even if you give it 384797435987359834759345 or something, and call/cc is extremely efficient) < 1198273683 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION suddenly has an urge to press Mark as Spam >:) < 1198273767 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: :( WHY < 1198273787 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Because It's There < 1198273836 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION never said he actually did so < 1198274114 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :SO, any comments on it? :P < 1198274295 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :how can it not use stack space? it is not tail recursive. < 1198274398 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :yes it is < 1198274401 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :even if you allocate scheme frames on the heap there could still be plenty of them < 1198274402 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :SCM_CALL does nt call < 1198274405 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :not < 1198274411 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :it returns a SCM_RETURN structure < 1198274416 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :a trampoline handles the rest < 1198274420 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :i.e. < 1198274440 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok it doesn't use C stack < 1198274441 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :res = func(...); while (res != OK_STOP) { res = res.func(res.args); } < 1198274442 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :or whatever < 1198274453 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but still it uses plenty of scheme "stack" < 1198274457 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :nuh-huh < 1198274461 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :look up, no stack at all < 1198274471 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :and this is nothing new. this is standard continuation-passing style < 1198274525 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :a continuation is a "stack" < 1198274560 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :yes, but it still won't run out < 1198274584 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but your scheme program is not tail recursive < 1198274594 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :i know < 1198274597 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1198274601 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it must remember the n's somewhere < 1198274603 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1198274618 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :but it's goinig to run out a lot further in time than an actually recursive C version < 1198274622 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :next on my list: scheme->python translator with CPS < 1198274623 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1198274777 0 :Sgeo!unknown@unknown.invalid QUIT :Success < 1198274830 0 :bsmntbombdood!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1198274983 0 :ehird`_!unknown@unknown.invalid PRIVMSG #esoteric :http://paste.lisp.org/display/52897 voila < 1198276825 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1198278501 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198278502 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198279059 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1198279829 0 :puzzlet_!unknown@unknown.invalid QUIT :Remote closed the connection < 1198279830 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198280244 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198280477 0 :ehird`_!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1198280670 0 :puzzlet__!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198280821 0 :ehird`!n=ehird@user-5440bd6b.wfd77a.dsl.pol.co.uk JOIN :#esoteric < 1198280863 0 :puzzlet!unknown@unknown.invalid QUIT :Connection timed out < 1198280986 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1198281043 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1198281285 0 :puzzlet_!unknown@unknown.invalid QUIT :Connection timed out < 1198281379 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1198281380 0 :puzzlet_!n=puzzlet@147.46.241.160 JOIN :#esoteric