1201824385 0 :slereah__!n=slereah@ANantes-252-1-3-245.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201824385 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201824790 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Water_integrator < 1201824792 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1201825315 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :<3 GLOBAL-LET < 1201825341 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it is the solution to all global variable redefinition messiness and thread safe global variable redefinition hell! < 1201825393 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(global-let ((g1 v1) ...) body...) just like a let, but the variables are globals, redefined only in that body (that thread, form, etc) < 1201825486 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it also lets you implement dynamic scoping, amusingly < 1201825509 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(define x 2) (define (g) x) (define (f) (global-let ((x 3)) (g)) < 1201825513 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(f) ===> 3 < 1201825590 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :actually, if you replace all lets with global-lets, you get dynamic scoping < 1201825596 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :a better name is perhaps dynlet < 1201825911 0 :helios_!unknown@unknown.invalid QUIT :"Leaving" < 1201826799 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Hm. What if I wrote my own awesome EsCo? < 1201826973 0 :ehird`!unknown@unknown.invalid QUIT :"K-Lined by peer" < 1201827002 0 :Tritonio__!n=Tritonio@150.140.229.30 JOIN :#esoteric < 1201827013 0 :Tritonio_!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201828155 0 :sebbu2!n=sebbu@ADijon-152-1-51-27.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1201829011 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1201829032 0 :sebbu!unknown@unknown.invalid QUIT :Success < 1201831814 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1201832510 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201833415 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :SUPER DANCE EXPLOSION TIME < 1201833433 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :AAAAAAAAAAAAAAAH < 1201837602 0 :immibis!unknown@unknown.invalid QUIT :"my client's gone silly and i am restarting it." < 1201837629 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201838019 0 :immibis!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. and dlte ur files. and email ths to < 1201838038 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201839503 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1201839510 0 :oerjan!unknown@unknown.invalid QUIT :Client Quit < 1201841111 0 :immibis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201843295 0 :calamari!n=calamari@ip24-255-58-134.tc.ph.cox.net JOIN :#esoteric < 1201844595 0 :immibis!n=immibis@125-236-142-87.broadband-telecom.global-gateway.net.nz JOIN :#esoteric < 1201847720 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1201852547 0 :immibis!unknown@unknown.invalid QUIT :"Hi Im a qit msg virus. Pls rplce ur old qit msg wit tis 1 & hlp me tk ovr th wrld of IRC. and dlte ur files. and email ths to < 1201852799 0 :clog!unknown@unknown.invalid QUIT :ended < 1201852800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1201856833 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"You enabled the bomb, arsehole." < 1201857372 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201857556 0 :oklopol!n=ville@194.251.103.33 JOIN :#esoteric < 1201861611 0 :helios24!i=chaos@bytefight.org JOIN :#esoteric < 1201866319 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric < 1201867998 0 :Insane!n=foob@unaffiliated/insane JOIN :#esoteric < 1201868005 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :Does the BF bot in here have a console? < 1201868009 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf +++++++. < 1201868028 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf +++++++.++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++. < 1201868031 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :• < 1201868034 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric ::D < 1201868041 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :That beeps on consoles < 1201868041 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1201868054 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :but mine gives [7] instead of nothing < 1201868055 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1201868090 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf ++++++++++.++++++++++.-------.++++++++++. < 1201868095 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :Hrm < 1201868099 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1201868121 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf +++++++++++++.+++++++++++++++++++++++++++++++++++. < 1201868123 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric : 0 < 1201868144 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf +[] < 1201868156 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :.. < 1201868184 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf ++++++++++++++++++++++++++++++++++++++++++++++++[.] < 1201868190 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1201868196 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf ++++++++++++++++++++++++++++++++++++++++++++++++[. < 1201868199 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :!bf ++++++++++++++++++++++++++++++++++++++++++++++++. < 1201868201 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :0 < 1201868203 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :Hmm < 1201868205 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :No debugging? < 1201868210 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :*debugging error messages < 1201868236 0 :Insane!unknown@unknown.invalid PRIVMSG #esoteric :like "unmatched [" or "infinite loop: stack overflow" < 1201868591 0 :faxathisia!n=more@137.195.250.2 JOIN :#esoteric < 1201869190 0 :EgoBot!unknown@unknown.invalid PRIVMSG #esoteric :000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 < 1201869248 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Hi EgoBot.. < 1201869710 0 :jix!i=jix@78.47.212.92 JOIN :#esoteric < 1201869740 0 :Insane!unknown@unknown.invalid QUIT :"Have a nice day!" < 1201870147 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1201871107 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep" < 1201871667 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1201872175 0 :helios24!i=chaos@bytefight.org JOIN :#esoteric < 1201872438 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Hi. < 1201872476 0 :faxathisia!unknown@unknown.invalid PRIVMSG #esoteric :Hi < 1201878287 0 :Tritonio__!unknown@unknown.invalid QUIT :Remote closed the connection < 1201879064 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1201879395 0 :ehird`!n=ehird@user-514fb24f.l2.c4.dsl.pol.co.uk JOIN :#esoteric < 1201882290 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(decl map (-> (-> a b) (a) (b))) < 1201882295 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :haskellisp! < 1201882404 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1201882407 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :maybe < 1201882415 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(decl ...),in the definition < 1201883315 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Wel, I hope the Wine thingy works. < 1201883609 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :"Insufficient privileges". < 1201883614 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :How do I gain moar? < 1201883642 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :sudo < 1201883675 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :It's not in the console, it's in, Wine. < 1201883689 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :run for president < 1201883726 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Well, I can't wait 5 years to play! < 1201883871 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :slereah__: sudo wine foo < 1201883879 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :(note;evil) < 1201884112 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :I'm okay wioth evil. < 1201884286 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :slereah@Vixem:~$ sudo wine c:\\Program\ Files\\Nobilis\\Hard\ to\ be\ a\ God\\AWE.exe" < 1201884295 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Still insufficient. < 1201884450 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Hm. Wait, is it a windows error or a Linux error? < 1201885052 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :windoze < 1201885086 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Shit. < 1201885115 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :I guess it's time for sum dual booting. < 1201885272 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :http://apcmag.com/system/files/images/linux-to-linux-and-xp.body-thumbnail.png < 1201885276 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Love the sound of this. < 1201885590 0 :ais523!n=ais523@147.188.254.202 JOIN :#esoteric < 1201885613 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hello ehird` < 1201885653 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric : hi < 1201885683 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :sorry I haven't been online recently < 1201885686 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I was busy in RL < 1201885740 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how is the Underload compiler getting on? < 1201885749 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you only have the Scheme version on your website < 1201885796 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ais523: i'm not on my main machine right now so i don't have the dev version < 1201885797 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but, soon < 1201885802 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :aha < 1201885893 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :TINEBT (This is not Emacs, but TINEBT) < 1201885925 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :SNUSP's acronym works along similar lines < 1201885972 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :actually, i'm going to make it a strictly-evaluated, pointer using recursive acronym < 1201885975 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the name is TINE < 1201885976 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and you say: < 1201885987 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :This is not Emacs (but TINE) < 1201885995 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :where the pointer to (but TINE) is implicit in the TINE name < 1201886059 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :to get round the fact that recursive acronyms otherwise have to be lazy? < 1201886069 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or at least have a termination condition? < 1201886118 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1201886136 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you have to go further than that < 1201886142 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :make a recursive acronym that's capable of segfaulting < 1201886202 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XINEBACEOX is not Emacs, but a copy of the expansion of X < 1201886289 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :better < 1201886294 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you must make this into an esolang now < 1201886315 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :how do we get the emacs relation though < 1201886321 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I like the way you managed to keep it pronounceable, though < 1201886331 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and Emacs isn't a recursive acronym anyway AFAIR < 1201886341 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :'zine bach ee ox' < 1201886350 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ais523: but i mean in the esolang. < 1201886359 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :maybe it's based on the expansion of acronyms in a 'source' < 1201886371 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lazy, so: < 1201886379 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :TIARA=TIARA is a recursive acronym < 1201886380 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :works < 1201886381 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but < 1201886390 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :its grammar would look like English; sort of like COBOL < 1201886401 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :except that it's string-rewriting and you refer to other commands with acronyms < 1201886401 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XINEBACEOX=XINEBACEOX is not Emacs, but ^XINEBACEOX < 1201886410 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :where ^ is the 'force' operator, which implies consing < 1201886423 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :then you could write "a copy of the expansion of" and it would mean something in the language < 1201886429 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also, the interpreter is graphical if you run it from a terminal < 1201886431 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :this program: < 1201886434 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XINEBACEOX=XINEBACEOX < 1201886436 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric := < 1201886437 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :err < 1201886437 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :wait < 1201886441 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XINEBACEOX=XINEBACEOX is not Emacs, but ^XINEBACEOX < 1201886441 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric := < 1201886443 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XINEBACEOX < 1201886448 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :^^ that program, when run, produces this: < 1201886475 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :XINEBACEOX, XINEBACEOX is not Emacs, but ^XINEBACEOX, XINEBACEOX is not Emacs, but XINEBACEOX is not Emacs, but ^XINEBACEOX,... < 1201886481 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but expanded inline using ansi codes < 1201886488 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ooh ... a recursive acronym quine! < 1201886557 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that would just be a one-letter recursive acronym < 1201886576 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :like the entry from the IAQ: "C is a recursive acronym. It stands for 'C'." < 1201886597 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :CITRORI - CITRORI is the result of running itself < 1201886638 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah... a declarative language < 1201886644 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I haven't seen any of those since Prolog < 1201886719 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :why are they not more common? < 1201886738 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :because people haven't yet realized computers are unbelievably fast. < 1201886767 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you would think that someone would have tried to create another by now < 1201886776 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :actually, they probably have, just I haven't heard of the result < 1201886779 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :eh... i'm fairly sure there are others < 1201886793 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and we don't seem to have any declarative esolangs yet < 1201886794 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've made a stub of one, for instance < 1201886803 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :mine was a bit eso < 1201886816 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, matlab is kinda declarative < 1201886824 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ainnit? < 1201886832 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :my memory of it is that it's pure imperative < 1201886840 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but maybe I use a different set of features to you < 1201886846 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i've never tried it. < 1201886868 0 :oerjan!unknown@unknown.invalid QUIT :"Good night" < 1201886869 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was just assuming, since... well, it's math < 1201886910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a declarative language is one where you say what to do but not how < 1201886915 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :come to think of it, APL's a bit like that < 1201886926 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm, not exactly. < 1201886939 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :apl is declarative, in a way, just like functional languages < 1201886958 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but not as much as Prolog < 1201886963 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1201886979 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyways, regexps and sql are declarative < 1201886979 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :a proper declarative language would, in my view, solve simultaneous equations without extra language features < 1201886990 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :although the tc parts of sql are imperative, i guess < 1201887001 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but Prolog doesn't allow infinite backtracking of reals in arithmetic expressions... < 1201887018 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :e.g. I can type X=Y+1, X=2*Y-3 < 1201887036 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :you can do that in prolog? < 1201887037 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that can check the solution to the simultaneous equation < 1201887038 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean < 1201887041 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :the other way < 1201887042 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but can't solve it if neither X nor Y are bound < 1201887051 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :oh, right < 1201887065 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can work around the problem by putting in infinite number generators for X and Y < 1201887074 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but of course that fails because the program then takes infinite time to run < 1201887079 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :uncountably infinite, in fact < 1201887102 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so what's really needed is some sort of clever reference scheme that allows such code to be legal and return a right answer each time < 1201887117 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, i've been thinking about adding axioms to a language < 1201887148 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i mean, so that you could specify axioms using which stuff like that is resolved. < 1201887262 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :my original idea was to get a book with mathematical proofs, and try to get my interp to solve them as i read it :D < 1201887285 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tried that once < 1201887288 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but the result was lousy < 1201887290 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, the ones that are done using purely by manipulating symbols < 1201887296 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, that might be < 1201887303 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it tried to prove things by blind random search through the axioms and rules of inference... < 1201887317 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hehe, i'd go for evolution < 1201887338 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1201887347 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that's actually pretty much the same in this case < 1201887441 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :did you manage to prove anything? < 1201887578 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, everything it proved was true < 1201887583 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but mostly obvious and useless < 1201887636 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess you need to give it a prod to the right direction < 1201887687 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, i think i'll try that today < 1201888310 0 :pikhq!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201889140 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201889240 0 :Hiato!n=Hiato@dsl-245-48-137.telkomadsl.co.za JOIN :#esoteric < 1201889292 0 :oklopol!n=ville@194.251.103.33 JOIN :#esoteric < 1201890099 0 :slereah__!unknown@unknown.invalid QUIT :Remote closed the connection < 1201890141 0 :Slereah!n=slereah@ANantes-252-1-3-245.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201890643 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :HI < 1201890653 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :HELLO < 1201890743 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so oklopol < 1201890747 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ist thous alivest < 1201890760 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1201890815 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ais523, too i guess < 1201890823 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, I'm alive < 1201890828 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :i think... < 1201890862 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :heh :) < 1201890866 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol appears not to be < 1201890869 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :maybe i need an < 1201890870 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :OKLOPING < 1201890923 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is usually alive when online < 1201890938 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because I actually turn my computer off when I'm not using it... < 1201890971 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol doesn't! < 1201890973 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: okloping < 1201891128 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :do you ever try to ping people on IRC using /ping? < 1201891131 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION tries < 1201891147 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :when I'm pinged it shows up at my end < 1201891179 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but presumably doesn't set off the FLASH EVERYTHING alert < 1201891240 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oklopol's client sucks < 1201891270 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, even mine had beep-when-someone-says-your-nick support off by default < 1201891282 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although I now have an alternative I like better < 1201891314 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :if i'm invited somewhere, Konversation says "XXX invited you to a channel" < 1201891323 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :HEY THX FOR THE INFO! :)) < 1201891345 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(and it doesn't open the channel or anything) < 1201891351 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :anyway, pong < 1201891378 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :that all came < 1201891379 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :and indeed, i never turn off my computer, except when i have to < 1201891380 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :at once. < 1201891382 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :;| < 1201891397 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hey, you can send any sort of ctcp request to anyone < 1201891448 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: that's #tmpchatwithais523oklopol < 1201891551 0 :ais523!unknown@unknown.invalid QUIT :"looking for another connection..." < 1201892090 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1201892231 0 :ais523!n=ais523@st01-fap02.bham.ac.uk JOIN :#esoteric < 1201894399 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: how would you expect Konversation to behave? < 1201894417 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament: perhaps telling him what the channel is < 1201894435 0 :Sgeo!unknown@unknown.invalid PRIVMSG #esoteric :What's going on? < 1201894470 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1201894479 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION was having a furious argument about Lisp with ehird` in another channel < 1201894498 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :hardly a furious argument < 1201894518 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :maybe not < 1201895091 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so i'm thinking of writing an organizer-life application with emphasis on long-term stability and lack of bitrot < 1201895100 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :err < 1201895103 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :*organizer-like < 1201895141 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :with the idea that 50 years from now it would work just as well as today, and compile and install very easily. < 1201895158 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament: paul graham wants to give you money < 1201895188 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :if you write it in arc (THE HUNDRED YEARS LANGUAGE REMEMBER) using its ASCII and