< 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 support it will be a working webapp in 100 years < 1201895219 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i haven't heard of arc < 1201895228 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION researches
< 1201895302 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament: it's a laughable dialect of lisp < 1201895305 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :okay, it seems pretty clear that arc will not pass the "easy installation" requirement < 1201895314 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :6 years in development, and we get a 1000 line of scheme < 1201895316 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :compiler. < 1201895318 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :since it will most likely be completely lost < 1201895318 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and it sucks. < 1201895322 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and it's hilarious. < 1201895330 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament: ok, you need to upgrade your sarcasm detector < 1201895335 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :anyway my conclusion was that i have to program in C89 without using any external libraries. < 1201895337 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :but your project is infeasable < 1201895352 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :os' might be totally differnt in 50 years < 1201895363 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :C89 was designed to be portable to anything < 1201895373 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :ais523: was designed to be. < 1201895383 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that seems to be the most important design rule of the standardisation < 1201895398 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's hard to imagine an OS architecture that a C89 compiler couldn't be written for < 1201895412 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: just that out of languages i know, c89 seems the most likely one to be available on any platform within my lifetime < 1201895428 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament: to be honest i can't see a point to your project < 1201895433 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: think of it this way. There's a reason header file names are limited to 5.1 characters < 1201895449 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :umm... not 5, maybe 6? < 1201895454 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :less than 8, anyway < 1201895468 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i think that might be a myth. < 1201895642 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :string is 6 < 1201895685 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so is stdint < 1201895689 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but that's C99 < 1201895711 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it seems doing IO in pure c89 is pretty painful, though. < 1201895723 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :snprintf is missing < 1201895761 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, that's a serious problem < 1201895766 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you have to either aim at a temporary file < 1201895770 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :also, many modern computing devices already don't have a terminal emulator < 1201895778 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or to calculate the length in advance (which is frought with danger) < 1201895783 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or to use a different function than sprintf < 1201895793 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's quite a bit of pain to get one for, say, a cellphone, i would imagine < 1201895798 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as for the lack of a terminal emulator; C89 never says you have to have one < 1201895810 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :no, but you need to run the program somehow < 1201895812 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :all that it requires for a hosted implementation are stdin, stdout and sterr streams < 1201895835 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which could connect to anything: files, for instance < 1201895863 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i'm pretty sure trying to design a program still easily usable in 50 years is a mistake. < 1201895865 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :likewise, the standard stipulates that they need not actually be able to do any sending-receiving on things that aren't newline-terminated < 1201895875 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Publish the file format, make it simple and human-readable, write a MODERN program to munge it. < 1201895884 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :In the future, if anyone cares,t hey can write a program to manipulate it. < 1201895988 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric : i think that might be a myth. < 1201896007 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I checked the draft standard, which guarantees 8.1 will be available, but no more < 1201896042 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it simply has to provide unique mappings for the filenames, so it can choose a different naming structure if it likes < 1201896065 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :IIRC there's some C compiler for a computer with a weird filesystem that maps the extension of the file to a subdirectory that contains the files < 1201896077 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :o < 1201896081 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so a .c file is in a subdirectory called c and a .h file is in a subdirectory called h < 1201896101 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's a method of complying with the standard while working around a stupid filename length limit < 1201896497 0 :RedDak!n=dak@79.18.81.171 JOIN :#esoteric < 1201897110 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1201897155 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1201897848 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ehird`: you don't understand. Suppose it's a to-do list. < 1201897860 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :with your long-term goals < 1201897872 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :so have it as a simple text file < 1201897878 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :edited with LamentsFancy2008Program < 1201897883 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :way in the future, see it < 1201897890 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :see your text-only spec of the simple, human readable file format < 1201897897 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :either read the file yourself or write a simple app to do it < 1201897907 0 :ais523!unknown@unknown.invalid PART #esoteric :? < 1201897909 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :sure, certainly < 1201897925 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but it's nicer to have the simple app already written < 1201897939 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :then...that's about 50 lines of c < 1201897945 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :might not work in the future < 1201897948 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :who knows < 1201898022 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but why not just write a program you can always use < 1201898031 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :then it needs to have a decent ui < 1201898052 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :it still might not run in the future. < 1201898058 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :also, i find 'a text editor' is good < 1201898073 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :a text editor is not a to-do list :) < 1201898089 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :a text editor is a great way to create and edit one < 1201898530 0 :Tritonio_!n=Tritonio@150.140.229.55 JOIN :#esoteric < 1201900378 0 :Slereah!unknown@unknown.invalid QUIT :Remote closed the connection < 1201902786 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1201903266 0 :pikhq!n=pikhq@209.248.124.243 JOIN :#esoteric < 1201903549 0 :Slereah!n=slereah@ANantes-252-1-3-245.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1201904271 0 :Hiato!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1201905072 0 :Tritonio_!unknown@unknown.invalid QUIT :Remote closed the connection < 1201906340 0 :helios24!i=chaos@bytefight.org JOIN :#esoteric < 1201907546 0 :Sgeo!n=Anonymou@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1201907698 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :80x24 terminals are so tiny :D < 1201907729 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :http://vt100.net/vt100.jpeg < 1201907729 0 :helios24!unknown@unknown.invalid QUIT :"Leaving" < 1201907769 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :80x24? What is that, a watch? < 1201908713 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: 80x24 text < 1201908714 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :duh. < 1201908719 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :the standard for terminals < 1201908722 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :including terminal emulators < 1201908735 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :lament: in that picture sure < 1201908735 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :;) < 1201908747 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes, I suck < 1201909131 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's not really a standard for terminals < 1201909136 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's just vt100 < 1201909154 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :which is a standard for terminal emulators :) < 1201909189 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ahhhh http://en.wikipedia.org/wiki/Image:Asr33.jpg < 1201909278 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hello, I am number 5 < 1201909465 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :i want a lisp machine < 1201909529 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :make one < 1201909542 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :SHAZAM! < 1201909565 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :they are awfully pretty, it's true < 1201909569 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Image:LISP_machine.jpg < 1201909628 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and the keyboard < 1201909628 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1201909631 0 :ehird`!unknown@unknown.invalid PRIVMSG #esoteric :and the editor! < 1201910110 0 :timotiis!unknown@unknown.invalid QUIT :"leaving"