< 1212883357 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :SLEREAH < 1212883437 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :wot < 1212883501 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :you are maintaining that guy's page :P < 1212883595 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I no rite < 1212883625 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I want to see what crazyv shinanigans he'll think up next! < 1212883639 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: probably he's WILLY ON WHEELS < 1212883642 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ON WHEELS! < 1212883689 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Methlab on METH < 1212883712 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :YES < 1212883809 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I bet you're melab < 1212883864 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't even understand that esolang of his. < 1212883912 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: It does look pretty cool. < 1212885024 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fuckdick < 1212885041 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm trying to think of a language to write the Andrei Machine in it < 1212885049 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But I don't know that much. < 1212885073 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I know like three real languageqs enough to program in. < 1212885180 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Haskell (and other functional languages too) is considered very good for writing other languages in < 1212885240 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Would doing some graph-related shinanigans be practical in it? < 1212885264 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: really? hm. < 1212885302 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm graph support is a bit hairy if you want it pure... but there is a Data.Graph.* hierarchy < 1212885353 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ML means meta-language - it was essentially _made_ for doing other languages in < 1212885372 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(well a theorem prover originally, but still) < 1212885457 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Programming language graph" : http://www.cs.berkeley.edu/~flab/languages.html < 1212885462 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I am a bit disappointed. < 1212885587 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It also only goes up to 97.19% < 1212885591 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Where are the other languages :o < 1212885667 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Also this : http://www.levenez.com/lang/history.html < 1212885667 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: zoo < 1212885672 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's actually quite nifty. < 1212885698 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the TIOBE index has more (ooh, haskell is up to no. 31 now, i recall 50 or so) < 1212885743 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :tiobe sucks < 1212885754 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm maybe i remember wrong it only goes to 50 < 1212885758 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It also does not list INTERCAL < 1212885783 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :well it says they may have missed languages < 1212885793 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :truth in advertising there :) < 1212885894 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"A Graph Rewriting Programming Language for Graph Drawing" < 1212885898 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Let's see this < 1212885921 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"The paper describes Grrr, a prototype visual graph drawing tool." < 1212885924 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I even like the name. < 1212885930 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I hope it's available somewhere. < 1212885952 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :grrrrrrrrr < 1212885962 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :that sounds suspiciously like UML < 1212885995 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fuck < 1212886002 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I only find research papers < 1212886049 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1212886050 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :so? < 1212886055 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Come on, it was out in 1998! < 1212886066 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You'd think in ten years, it would be easy to find! < 1212886074 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well < 1212886093 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :you think it's easy to find something that was published in some obscure scientific journal 300 years ago? < 1212886108 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :that's 10 years internet time :) < 1212886144 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hell, with Wikipedia nowadays, who knows! < 1212886255 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Come on guys, how is your paper supposed to be peer-reviewed if your peers do'nt have access to the program! < 1212886261 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Give us a link, something! < 1212886268 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Something to work with! < 1212886495 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, I suppose I'll never know how useful it would be! < 1212886758 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :# Clean < 1212886758 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :is a lazy, pure, higher order functional programming language with explicit graph rewriting semantics; one can explicitly define the sharing of structures (cyclic structures as well) in the language; < 1212886765 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Anyone knows Clean? < 1212886868 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Clean. Is like. < 1212886874 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Haskell. But with a few more weird stuff. < 1212886877 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And something weirder than monads. < 1212886879 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :And. Nobody uses it. < 1212886885 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :But. Their compiler is pretty cool. < 1212886898 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Computation is based on graph rewriting and reduction. Constants such as numbers are graphs and functions are graph rewriting formulas." < 1212886906 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Strange indeed. < 1212886920 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But if it can hosts the Andrei Machine 9000, I'll give it a look. < 1212886922 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Also, knowing too much about it causes you to speak in short punctuated spurts. < 1212886982 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's a risk I'll have to take. < 1212887069 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Oh, and. If Haskell isn't your thing for Andrei? < 1212887071 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Clean won't be. < 1212887076 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It is, pretty much, the same paradigm. < 1212887083 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's a questionaire before the downloading of Clean. < 1212887085 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :But.. nobody uses it. So you don't have the lovely #haskell people. < 1212887094 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :" I intend to use Clean for the following purpose:" < 1212887135 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Try to see if the graph rewriting features will help me construct the unholy Kolmogorov machine." < 1212887145 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I hope this answer will help them in their marketing. < 1212887149 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :the underlying graph semantics is not necessarily any improvement for implementing actual graph data structures - haskell has been given graph rewriting semantics too < 1212887175 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212887199 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Yeah, Clean doesn't help you, in any way. < 1212887205 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It hinders you, because #HASKELL IS NICE DAMNIT < 1212887214 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Then what will damn it! < 1212887221 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i think (but don't really know) making it explicit is more in order to support the uniqueness types that Clean uses instead of monads - to know whether things are copied you have to track them < 1212887231 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: HASKELL. < 1212887234 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :DAMNIT. < 1212887246 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I hate Haskell D: < 1212887257 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And how do I shot Graph? < 1212887262 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :In Haskell, that is. < 1212887278 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :why do you hate Haskell? Clean is _very_ similar in many respects so unless it's _just_ monads chances are you'll hate that too < 1212887300 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't want to build it out of lists. I can just go back to Python for that. < 1212887389 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Why do programmers hate graphs so much! < 1212887396 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Data.Graph.* i hear, although there are at least _two_ implementations inside that < 1212887447 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :for Haskell it is somewhat more complicated because it is hard to make an efficient _immutable_ implementation of graphs, i think < 1212887489 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also, in Haskell you often define your own data structures with data < 1212887517 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :data structures... with data < 1212887519 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(I know what you meant.) < 1212887520 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but ask in #haskell for better advice < 1212887526 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: he is scared of #haskell < 1212887528 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(the data keyword) < 1212887535 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :whenever he joins he just says I'M TOO SCARED TO SAY ANYTHING!11 < 1212887546 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1212887551 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :also you may try ML (SML or Ocaml) < 1212887580 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :they are not lazy and so behave in some ways more intuitively to people from other languages < 1212887597 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :while still having much functional goodness < 1212887633 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: his languages are lazy < 1212887635 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so I doubt it's that < 1212887650 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oh, and #esoteric-blah if anyone wants to see a fun spam flood test < 1212887688 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :no? < 1212887709 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Lazy languages are good for esolangs. < 1212887719 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm not too sure about real languages. < 1212888340 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Fuck this. < 1212888347 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'll make the damn graph out of lists. < 1212888532 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212888579 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :>:| < 1212888868 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212888888 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Wait, Kolmogorov graphs aren't directed. < 1212888899 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I can't use cons like that < 1212888907 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Does Scheme have sets? < 1212888948 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :no < 1212888956 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :scheme does not have anything < 1212888996 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Fuck all that < 1212889009 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I'll just write some algorithm in pseudocode for a start < 1212889030 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I still have no idea how to find active zones and all. < 1212889069 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: rewriting stuff is fun < 1212889079 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :wot? < 1212889369 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :wot < 1212889392 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Rewriting what < 1212889423 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Your code! 99 times! And then starting again from scratch! < 1212889428 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Oh wait, does the 0 node have to be in the active zone? < 1212889432 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I bet that's important! < 1212889502 0 :tusho!unknown@unknown.invalid QUIT :Remote closed the connection < 1212889506 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :"By the active part U(S) of a state S we mean the subcomplex of the complex S consisting of the vertices and edges belonging to chains of length lambda <= N containing the initial vertex." < 1212889511 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Indeed it is. < 1212889526 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Writing that active zone just got a whole lot easier! < 1212889543 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I just have to check the hoods of 0 < 1212889607 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION is totally scanning the article
< 1212889610 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Take that Andrei! < 1212889640 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :He's a commie, he probably won't mind. < 1212891958 0 :Slereah!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212891995 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212906313 0 :timotiis_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212906531 0 :cherez1!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212906622 0 :Deformative!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212908583 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1212909296 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212910761 0 :cherez1!unknown@unknown.invalid PART #esoteric :? < 1212910775 0 :cherez!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212910957 0 :GreaseMonkey!n=gm|--0@219-89-40-21.dialup.xtra.co.nz JOIN :#esoteric < 1212911969 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212911999 0 :clog!unknown@unknown.invalid QUIT :ended < 1212912000 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1212912565 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Saliendo" < 1212912572 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212914214 0 :puzzlet!n=puzzlet@147.46.241.231 JOIN :#esoteric < 1212914557 0 :puzzlet!unknown@unknown.invalid QUIT :"WeeChat 0.2.6" < 1212915565 0 :puzzlet!n=puzzlet@147.46.241.231 JOIN :#esoteric < 1212917241 0 :kar8nga!n=kar8nga@AMarseille-151-1-47-142.w82-122.abo.wanadoo.fr JOIN :#esoteric < 1212917253 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212917484 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212917650 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1212918827 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :http://www.vjn.fi/oklopol/straw.txt cool lang < 1212918857 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i especially like the way mutation is done < 1212921436 0 :psygnisfive!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212921437 0 :augur!n=augur@c-71-57-164-119.hsd1.fl.comcast.net JOIN :#esoteric < 1212922139 0 :oklofok!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212922147 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212922844 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1212922905 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212923784 0 :timotiis!unknown@unknown.invalid QUIT :Remote closed the connection < 1212923808 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1212925311 0 :kar8nga!n=kar8nga@AMarseille-151-1-47-142.w82-122.abo.wanadoo.fr JOIN :#esoteric < 1212926569 0 :Hiato!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212928601 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1212930158 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212930543 0 :RedDak!n=dak@host66-88-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1212931188 0 :ihope!unknown@unknown.invalid QUIT :"ChatZilla 0.9.82.1 [Firefox 2.0.0.14/2008040413]" < 1212932591 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212932659 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212933079 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212933097 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212933387 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212933393 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212933461 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1212933483 0 :oklofok!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212933502 0 :oklopol!unknown@unknown.invalid QUIT :No route to host < 1212934860 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric < 1212934863 0 :oklofok!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1212935227 0 :Slereah!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212935227 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212935673 0 :kar8nga!n=kar8nga@AMarseille-151-1-47-142.w82-122.abo.wanadoo.fr JOIN :#esoteric < 1212935770 0 :ais523!n=ais523@sm01-fap06.bham.ac.uk JOIN :#esoteric < 1212936096 0 :oklopol!unknown@unknown.invalid QUIT :No route to host < 1212937281 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I suppose no one knows how to use the PSP emulator? < 1212937536 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah, what PSP emulator? < 1212937548 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Program Segment Prefix? < 1212937555 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://membres.lycos.fr/bewulf/Divers3/PSPE.jpg < 1212937558 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :This one here. < 1212937559 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :or portable Playstation? < 1212937572 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The latter. < 1212937576 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :no idea < 1212937600 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :I could help with getting the n64 emulator mupen64 working < 1212937623 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :1) don't try on x86_64, the code is mostly x86 asm 2) thus install a 32-bit chroot < 1212937633 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh the irony < 1212937645 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :as it emulates a 64-bit CPU < 1212937968 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION realises with horror that they had 5 different web browsers open at once a few minutes ago
< 1212937996 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Who are "they"? < 1212938004 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You and your multiple personalities? < 1212938021 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :haha < 1212938044 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Owait < 1212938048 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :On the PSP emulator < 1212938052 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: I was using singular they to refer to myself < 1212938059 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's a stderr.txt : < 1212938059 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in the third person < 1212938061 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :load H:\pspe\ms0\PSP\GAME\SOFT1\EBOOT.PBP < 1212938061 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :PBP format < 1212938061 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :not elf header < 1212938065 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I need elves < 1212938070 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I use they for that in several cases < 1212938096 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :incidentally, the browsers were IE, FF2, FF3, Konqueror, and Akregator's built in web browser < 1212938107 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah, ELF.... < 1212938109 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I have Epiphany installed here too, but happened not to be using it at the time < 1212938111 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah, is a file format < 1212938133 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :used by, for example, Linux, FreeBSD, OpenBSD, NetBSD, and most, if not all other *nix < 1212938142 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Mac OS X use a custom format I know < 1212938168 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: ELF is one of the formats that SCO claimed they owned the right to a while ago < 1212938182 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :nobody believes them AFAICT, but that at least implies that SCO probably use it < 1212938212 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212938233 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION loads up SunOS
< 1212938237 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So how do I shot elf header? < 1212938268 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you use a linker that produces ELF < 1212938272 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :to link the executable < 1212938305 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, SunOS uses ELF too < 1212938314 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and as a result it seems highly likely that Solaris does < 1212938344 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so IOW, it seems likely that every major OS but MacOS and Windows uses it by default < 1212938354 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, MacOS X < 1212938370 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and I suspect MacOS X is capable of using it but it isn't the default < 1212938377 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"“Shit happens.” This is not a PSP Emulator. It won’t play comercial games, ISO’s or even ELF’s." < 1212938393 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I think my computer might not be the culprit. < 1212938418 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Fuck this software! those who are rich and can afford to buy psp FUCK YOU… we cant just buy psp it is not cheap. LOOOKK AT YOUR MAMA AND FFFUCCCKK THEEEMM UPPP, BECAUSE YOU ARE ALL MUTHAFUCKING ASSHOLES! MOST AMERICANS ARE ASSHOLES…" < 1212938431 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I get the feeling this PSP emulator does not work so well as an emulator < 1212938442 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, what does it emulate, then? < 1212938446 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the PSP's processors? < 1212938461 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :maybe it could run PSPOS, whatever that is < 1212938487 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I could try to find the game on PC. < 1212938495 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But boy does it not look good < 1212938538 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Ah, found one. < 1212938552 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: you aren't trying something illegal, are you? < 1212938559 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, actually, no < 1212938567 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I actually possess the Playstation CD. < 1212938578 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, but you want to run it on a different system < 1212938592 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, my playstation doesn't work so good any more < 1212938595 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's 11 years old < 1212938600 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Plus, I don't know where it is < 1212938614 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And last time I tried it, the memory card wasn't working. < 1212938626 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :those are all good reasons not to use it < 1212938657 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I also don't know where the playstation CD is. < 1212938675 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :My mom probably put all of that somewhere mysterious. < 1212938739 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :If you want something illegal, try this! http://membres.lycos.fr/bewulf/Russell/Kolmo/ < 1212938750 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :no, I don't want something illegal < 1212938758 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But beware, or the American Mathematical Society might send their goons after you. < 1212938763 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah, I won't click that link, what is it? < 1212938769 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :illegal maths? < 1212938775 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION gets confused too
< 1212938775 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there are a couple of illegal numbers < 1212938781 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, well that is disputed < 1212938783 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it's technically copyrighted. < 1212938783 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :both of which became famous on the internet < 1212938789 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1212938799 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's the Uspenski-Kolmogorov machine article < 1212938810 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah, and why is that ileegal? < 1212938830 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, it is copyright 1963 by the American Mathematical Society. < 1212938848 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the article itself is copyright infringement? < 1212938857 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"No portion of this book may be reproduced without the written permission of the publisher" < 1212938871 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And I totally did D: < 1212938906 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Have mercy on me, office of technical services! < 1212938918 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(The guys who did the translation) < 1212939006 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Your request for http://membres.lycos.fr/bewulf/Russell/Kolmo/Kolmo%2001.jpg could not be fulfilled, because the domain name membres.lycos.fr could not be resolved. < 1212939009 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tor phail < 1212939031 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :(spelling was sarcasm with intent) < 1212939058 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :No need for Tor, I'm sure the AMS isn't monitoring my websit! < 1212939107 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :or so they want you to believe < 1212939159 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :well I don't have time to read it, or knowledge to understand it < 1212939438 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Actually, I would recommend reading from page 11 and on first. < 1212939459 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's easier to understand. < 1212939462 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ish. < 1212940316 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://www.esolang.com/ < 1212940319 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh shit. < 1212940324 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what is that? < 1212940360 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Click it, and be amazed. < 1212940362 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :nothing to do with esolangs AFAICT < 1212940369 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :registered in Russia, unsurprisingly < 1212940372 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1212940374 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :given its content < 1212940383 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I was googling for esolang < 1212940387 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And found this < 1212940488 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://forums.gleemax.com/showthread.php?t=1042139 < 1212940490 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1212940505 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Magic players aren't enthusiastic at the idea. < 1212940513 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hey, Esolang has an article about that < 1212940517 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I even wrote a program in it < 1212940553 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the cards in it are a little out-of-date, though < 1212940571 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I admit to being slightly shocked that someone else went to the trouble of understanding the program well enough to fix a bug in it, though < 1212940680 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: what do you really expect? It's never even explicit in that post that you're talking about a programming language. The only people that could possibly have any idea what you're talking about would be people that already code in esolangs, and I doubt a wizards-of-the-coast forum is a good place to find those. < 1212940708 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :That post isn't by me. < 1212940719 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I don't play Magic. < 1212940721 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :yeah, I just noticed that < 1212940738 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :so apparently I don't get to ridicule you for playing Magic. :/ < 1212940750 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I don't play it at the moment < 1212940756 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because prices went up at the place where I used to play it < 1212940763 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and I tend to desert places when they increase prices < 1212940763 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I used to play it... in 5th grade. < 1212940776 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's a good idea for a game, though < 1212940794 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it can certainly feel like programming at times < 1212940797 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And as Knuth said, that's the most important part! < 1212940813 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh, game, not name < 1212940827 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh dear, we seem to have a new meme < 1212940920 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1212940934 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :so games are now the most important part. This could generate some interesting esolangs. < 1212940955 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, there's my esolang-based text adventure < 1212940960 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which is not very complete < 1212940968 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and which I haven't written any of for ages < 1212940973 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And there was that text adventure based esolang. < 1212940978 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :DUNGEONS AND DATAS < 1212940990 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and Lost Kingdoms, which is a text adventure written in an esolang < 1212940996 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Also, cake. < 1212940997 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: I demand you add this hat to your collection: http://www.costumecraze.com/HAT37.html < 1212941000 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :heh, three different concepts < 1212941045 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://forums.gleemax.com/showthread.php?t=1042139 < 1212941048 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oops < 1212941054 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I mean, http://www.costumecraze.com/MASK54.html < 1212941061 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I want to rob a bank with that mask. < 1212941063 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: used the wrong clipboard? < 1212941100 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yup < 1212941107 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: nah, you should rob a putt-putt golf course or a driving range with that mask < 1212941147 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I found a French page on esolangs. < 1212941148 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :this is actually rather terrifying: http://www.costumecraze.com/MASK56.html < 1212941152 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: PURGE IT < 1212941154 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :There's something you don't see everyday. < 1212941174 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The missing teeth make it look a little goofy. < 1212941291 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. The Klingon Hello world is "What do you want, universe?" < 1212941304 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: yes, that's about the closest you can get in Klingon < 1212941349 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Those klingons are so full of boyish attitude. < 1212941399 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :The website is actually pretty horrible < 1212941958 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :HOLY SHIT NEW DRESDEN CODAK http://dresdencodak.com/cartoons/dc_053.html < 1212942072 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm trying to tie this to the previous comics < 1212942077 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But it ain't easy. < 1212942090 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it makes sense to me < 1212942114 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Is that Kimiko? < 1212942121 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And if so, what is she doing in a jar? < 1212942124 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :and in the future < 1212942128 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And in that robot's head < 1212942149 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :if you haven't read the last few pages, read them < 1212942178 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I have. < 1212942269 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1212942287 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I wonder if you could make a TC language with stupid mathematical functions. < 1212942305 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"stupid"? < 1212942313 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :like, INTERCAL stupid? < 1212942316 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking stuff like Ackermann and such < 1212942325 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh, massive-stupid < 1212942331 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :stupid to calculate < 1212942336 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :You can do Ackermann with µ, but can it work the other way around? < 1212942348 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :how about Ramsey numbers? < 1212942391 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Or that 91 function. < 1212942438 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/McCarthy_91_function < 1212942439 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Thar. < 1212942472 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1212942487 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :sure, seems like a sufficiently evil way to provide a constant < 1212942513 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, not all values get out 91. < 1212942517 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and even an extremely limited form of branching < 1212942524 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :"constant" < 1212942546 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I guess you'd have to include at least 0 in the language. < 1212942560 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and perhaps 1 < 1212942566 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Plus, Ackermann can easily provide a successor operator, since A(0,n) = n+1 < 1212942575 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ah, bingo < 1212942596 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :so you can thus trivially generate any needed integers via ackermann < 1212942600 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: I also thought about a lang where Ackermann and inverse-Ackermann were the only operators < 1212942621 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, I was going to have it so that everything in the entire lang was unprintable characters < 1212942633 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it's a very pure idea, but it might be more fun to have several functions like that, to add some variety < 1212942641 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :e.g. ASCII 0-31 and 127, not allowing spaces, tabs, newlines or vtabs < 1212942643 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and perhaps make it more possible to be TC < 1212942682 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :we should make all variables greek characters. < 1212942690 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, and my lang was deliberately not TC < 1212942699 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it was an Ackermann-bounded automaton < 1212942704 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1212942716 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :whenever it took input, it was allowed to allocate a certain amount of memory to use < 1212942724 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :which it could calculate with the remnants of its old memory < 1212942740 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and a program can start with any amount of memory to begin with which must be specified in the code < 1212942744 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, all memory was write-once < 1212942748 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1212942759 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I haven't worked out the rest of the details yet, though < 1212942781 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :anyway, the lang is definitely not TC, but likely to be powerful enough for most computations which aren't searches through an infinite search space < 1212942793 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :like searching for Riemann hypothesis counterexamples, for instance < 1212942806 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :so, we have A, R and M. can anybody think of other wildly impractical functions that could potentially be useful? < 1212942842 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, there's Malbolge's tritwise-crz operator < 1212942858 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that was invented for the purpose of being wildly impractical < 1212942861 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :would the Jacobi Symbol be a good one? < 1212942868 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Jacobi_symbol < 1212942874 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: look-and-say operator < 1212942905 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oooh, nice one < 1212942907 0 :Hiato!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212942909 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :ais523 : I like the way you think! < 1212942927 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, you may as well do generalised Graham's stuff < 1212942940 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because it would just be wrong not to be able to easily express A(g_64,g_64) < 1212942984 0 :Hiato!unknown@unknown.invalid QUIT :Client Quit < 1212942984 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :haha- check out the 71st-order polynomial related to look-and-say: http://en.wikipedia.org/wiki/Look-and-say_sequence < 1212942986 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Nah, Graham's notation makes some sort of sense. < 1212943008 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Unlike the Ackermann functioncreated to be specifically non-primitive recursive. < 1212943071 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Inverse Ackermann, too? < 1212943085 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Otherwise, I'm not sure how to get smaller numbers. < 1212943119 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :inverse ackermann so you can do things like subtraction < 1212943126 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1212943135 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :And function definition? < 1212943148 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not so sure about that < 1212943154 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :To have some sort of functional Malbolge. < 1212943165 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :aargh! < 1212943191 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :IMO Malbolge's main interesting features are the c++,d++ stuff and the encryption of commands when they're run < 1212943218 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :trying to use crazy to perform useful operations can also be interesting < 1212943294 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So if no function definition, how to use all that? < 1212943319 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, with some other control structure < 1212943330 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :or allow definition of piecewise functions < 1212943339 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the standard ones are functional, iterative with looping, imperative with goto, and the fungelike method < 1212943348 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oh, declarative and concatenative too < 1212943350 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :which would in effect give you quite powerful flow control and make recursive procedures easy < 1212943364 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean by 'piecewise functions' here? < 1212943409 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :make it a purely functional language, and allow the programmer to specify values for output based on properties of the input < 1212943444 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :wikipedia's description of Ackermann, for example, makes use of a piecewise definition < 1212943468 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :http://upload.wikimedia.org/math/0/a/e/0ae4053de098cc9554752b190a38bc56.png < 1212943480 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So... Some conditional operator? < 1212943485 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the issue with allowing users to define their own functions is that they probably wouldn't end up using all the interesting ones the language offers < 1212943502 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But this language would offer no interesting functions. < 1212943517 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ais523: which might be solved by allowing piecewise definitions, but not having conventional boolean operators. :D < 1212943533 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how many logic levels are we having? < 1212943548 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's hard to come up with interesting boolean operators if you only have 2 logic levels < 1212943551 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I don't understand < 1212943564 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Logic level? < 1212943588 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as in, true/false are the usual logic levels for a boolean < 1212943592 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212943595 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and that gives you operators like AND and OR < 1212943599 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What about... INFINITY? < 1212943607 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but say if we had true/false/FILE_NOT_FOUND instead, that would make things more interesting < 1212943618 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Doesn't intuitionist logic have an infinity of values? < 1212943649 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, I think so < 1212943668 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :true/false/infinite regress < 1212943680 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :SELF REFERENTIAL < 1212943682 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Noooooo < 1212943700 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :then the language would require a halting oracle < 1212943713 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :to implement, anyway < 1212943919 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :So... Piecewise definition? < 1212943940 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Using our crazy functions as logical operators? < 1212944025 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :In a three valued logic? < 1212944132 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :sounds sufficiently esoteric to me < 1212944144 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1212944154 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What would it do if the third value hits? < 1212944176 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and toss in the greek letter idea for syntactic flavor < 1212944187 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: it would do the opposite < 1212944201 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :e.g. if you say if(boolean) {a++}, and boolean is megafalse, it decrements a < 1212944201 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What would be the opposite? < 1212944215 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :OFC, that isn't the actual syntax < 1212944223 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :just an example in syntax that's well-known < 1212944227 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :bbl < 1212944265 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Opposite seems a little challenging, especially with the 91 function. < 1212944307 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm... what would 'opposite' mean here? < 1212944315 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :instead of a=91(b), do b=91(a)? < 1212944322 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that would be one possibility < 1212944334 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :OFC, this means you have to be able to assign to constants, but INTERCAL's never found that a problem < 1212944342 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it used to be legal in Fortran < 1212944350 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :confusing, too, because constants were passed to functions by reference < 1212944467 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But if constants become functions, they still won't be fed arguments. < 1212944478 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1212944531 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Maybe we could rotate functions if we get the third value. < 1212944547 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Like A becomes 91, 91 becomes look and say, what have yous. < 1212944568 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :aha, yes < 1212944579 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also, all commands other than conditionals should use the functions < 1212944591 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :if you want to assign one variable from another, you have to do it through an Ackermann < 1212944609 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Why "other than the conditionals"? < 1212944624 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: because they take boolean input < 1212944638 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Well, you could just get the numbers mod 3. < 1212944699 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :OK, fine by me < 1212944702 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how will loops be done? < 1212944724 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Recursion? < 1212944797 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how will function definition be done, then? < 1212945105 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212945133 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Ah shit. < 1212945178 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212945760 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[17:24] [CTCP] Received CTCP-PING reply from ais523: 33 seconds < 1212945879 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Is there a way to compute the Ramsey's numbers? < 1212945883 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Easily, that is. < 1212945973 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :no, I don't think so < 1212945978 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :most of them aren't known < 1212945990 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Oh. < 1212945999 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric : At the time of writing, even the exact value of R(5,5) is unknown, although it is known to lie between 43 (Geoffrey Exoo) and 49 (Brendan McKay and StanisĹ‚aw Radziszowski) (inclusive); barring a breakthrough in theory, it is probable that the exact value of R(6,6) will remain unknown forever. < 1212946023 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Then it might not be a good idea to include it.3 < 1212946082 0 :Hiato!n=Hiato@dsl-245-54-75.telkomadsl.co.za JOIN :#esoteric < 1212946108 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there's a neat Erdos quote on the same page < 1212946133 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :It is quite awesome. < 1212946133 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Hello, World! < 1212946144 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :What do you want, universe? < 1212946161 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh :) < 1212946162 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Hiato, what would you think of some sort of functional Malbolge? < 1212946190 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :"Imagine an alien force, vastly more powerful than us landing on Earth and demanding the value of R(5, 5) or they will destroy our planet. In that case, we should marshal all our computers and all our mathematicians and attempt to find the value. But suppose, instead, that they asked for R(6, 6), we should attempt to destroy the aliens." < 1212946213 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :err... well, lets see. Sounds interesting, though I doubt [one] would be able to take advantage of lazy evaluation in Malbolge < 1212946239 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how would the encryption be done? < 1212946246 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :olsne: Can you help me out < 1212946260 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ais523: OOOH - Lets use my strem cipher < 1212946263 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :PLEASE! < 1212946275 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: does it encrypt functions? < 1212946277 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*olsner < 1212946294 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Well, it encrypts stuff :P Anything in the range [0;255] < 1212946310 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so, yeah, it would be able to encrypt any binary info :) < 1212946312 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :most functions aren't in the range [0;255] < 1212946318 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you could encode them as such < 1212946328 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but I don't think it's possible to have a unique encoding for functions < 1212946334 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :at least, not in a TC system < 1212946335 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well, I do :) < 1212946341 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because it's uncomputable to determine whether two functions are the same < 1212946363 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking along the lines of, the function name is encrypted, the function process is encrypted and the output s decrypted (not being encrypted in the first place) < 1212946382 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Also, what would the language be called? < 1212946387 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :XKCD? D: < 1212946400 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: not bad < 1212946404 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and by encryption, I mean literal character encryption by means of my poly-alphabetic substitution self modifying network < 1212946410 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, yeah, not bad < 1212946412 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :after all, writing the xkcd number is one of the few things it would be good at < 1212946421 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1212946438 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Well, if we put in the Graham notation < 1212946438 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :assuming it can calculate g_64 easily < 1212946447 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I was thinking just G(64) < 1212946455 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :rather than the rest of the notation < 1212946457 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Graham notation? < 1212946462 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so you can get arbitrary Graham's numbers < 1212946477 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :... < 1212946478 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I just had an idea. < 1212946489 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :anyway, this is unlikely ever to be implementable < 1212946496 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :What if we totally went overboard with that greek character idea? < 1212946501 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what's look-and-say of the XKCD number, anyway? < 1212946504 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :What if we used function definition, ancient greek style? < 1212946524 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :bringing a whole new meaning to 'lambda' calculus? < 1212946530 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. < 1212946574 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I feel it wrong of me to distract from the topic here, but I must ask: Who here is good at mathematics, specifically the business of odd conjectures? < 1212946606 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :I have one that needs proving/debating and that is as interesting as the Collatz Conjecture (in my view anyway) < 1212946606 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212946607 0 :Slereah!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212946635 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ais523, Slereah, anyone? :P < 1212946731 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I'm good at maths but not really at odd conjectures < 1212946741 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I only like bits of maths, really < 1212946760 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well, see if this tickles you then: http://rafb.net/p/9IEm5j97.html < 1212946768 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :there's the impl. and here's the conjecture: < 1212946830 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Take any 2 positive integers, say x and why, and continually add the sum of all the digits of each number to their respective number. Unless *only one* of the numbers is a multiple of three, the two paths will merge < 1212946838 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*y not why :P < 1212946871 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :sounds arb, bu it seems to work :) < 1212946883 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*but < 1212946887 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ok, that's mildly interesting < 1212946901 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :are there attractor numbers which always seem to end up on paths < 1212946902 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION wonders if it's international typo day
< 1212946912 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :what do you mean? < 1212946916 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :for divisible by 3 and indivisible by 3 < 1212946938 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :e.g. if for some reason the paths always ended up going through 12345678 unless the original number was higher than some critical value < 1212946956 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :aha, I see < 1212946961 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :in that case, yes < 1212946975 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :620 for pretty much everything below 20 I believe < 1212946987 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :and 1003 for everything below 50 < 1212946994 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so I presume really < 1212947003 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*below 50, above 20 < 1212947025 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :try it, using Merge('101','595') < 1212947035 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :or Merge('5','1') < 1212947043 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :err, that is the bigger number comes first < 1212947085 0 :kar8nga!n=kar8nga@AMarseille-151-1-47-142.w82-122.abo.wanadoo.fr JOIN :#esoteric < 1212947275 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Holy shit < 1212947289 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I have absolutely horrible ideas for output. < 1212947300 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: what about Merge('9','3')? < 1212947312 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, the divisible-by-3 can become divisible by 9 < 1212947314 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but not vice vers < 1212947318 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so it still works < 1212947321 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :pretty trivially < 1212947340 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :err, I revise my conjecture :P If one of the numbers is a multiple of three, the paths never converge, if both the numbers are multiples of three, there is not guarantee of a merge < 1212947355 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :as Merge('45','3') doesn't seem to work < 1212947392 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :"Equality. In printed books before the modern equal sign, equality was usually expressed with a word, such as aequales, aequantur, esgale, faciunt, ghelijck, or gleich, and sometimes by the abbreviated form aeq " < 1212947409 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :bbiab, supper calls :) < 1212947515 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :http://www.ibiblio.org/expo/vatican.exhibit/exhibit/d-mathematics/images/math01.jpg < 1212947524 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Come on Euclid, can't you write correctly? < 1212948238 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Found the Elements in greek. < 1212948267 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :?????. < 1212948271 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :MONAAAADS < 1212948424 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :µ???d?? < 1212948432 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Monads just can't give me a break. < 1212949136 0 :tusho!n=ehird@91.105.68.111 JOIN :#esoteric < 1212949141 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :hello! < 1212949151 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hi tusho < 1212949161 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :bad timing BTW, because I leave here at 7 on Sundays < 1212949162 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What do you want, universe? < 1212949166 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :i have settled into a routine of starting with irssi&w3m it seems < 1212949182 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ais523: heh, very bad timing < 1212949192 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I was just going to work on ESO... < 1212949202 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :we can still do some work on ESO < 1212949205 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :for 40 minutes < 1212949216 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and you can probably manage some of it without my help < 1212949279 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :probably :P < 1212949358 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the eso forum is difficult to use with w3m < 1212949360 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :w3m should do css < 1212949361 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212949413 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ok, I think I'll try X < 1212949434 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I think I will use esti for function definition. < 1212949445 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :It's what's used in Elements, apparently. < 1212949477 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm not too sure how to do the arguments of a function next. < 1212949508 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :xchat go! < 1212949520 0 :tusho_!n=tusho@91.105.68.111 JOIN :#esoteric < 1212949524 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :<3 < 1212949542 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ok, now for epiphany < 1212949580 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ais523: do you think this is all superstition? I have a nagging feeling the crashes are entirely random. :P < 1212949604 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :WHAT THE FUCK, I'm #11 on reddit < 1212949609 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :with my 'hello esolangs reddit' post < 1212949611 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::| < 1212949626 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I think they're determinstic, mostly, but loading programs up in a different order won't help < 1212949628 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and link? < 1212949633 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ais523: reddit.com < 1212949636 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :11th item < 1212949670 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not to my view < 1212949684 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ah < 1212949690 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :maybe it's because I'm (obviously) subscribed to that reddit < 1212949697 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and it's hot on that reddit being the only thing there < 1212949701 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :so it gets on my front page < 1212949713 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1212949714 0 :tusho!unknown@unknown.invalid QUIT :"leaving" < 1212949721 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :phew < 1212949734 0 :tusho_!unknown@unknown.invalid NICK :tusho < 1212949892 0 :tusho_!n=tusho@91.105.68.111 JOIN :#esoteric < 1212949892 0 :tusho!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212949897 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :lal! < 1212949901 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :You said 40 minutes but it looks more like 5 now. < 1212949911 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :more like 27, actually < 1212949919 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: you think it won't crash again? < 1212949926 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it depends on what you do < 1212949943 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: open a terminal :P < 1212949949 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :that didn't crash it < 1212950017 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: by the way, I enabled user dirs on eso-std.org < 1212950027 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950034 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :cgi doesn't get enabled by default but I can < 1212950038 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :where are they in the filesystem? < 1212950054 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950063 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you said that twice < 1212950083 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I was answering your question. < 1212950090 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :twice? < 1212950106 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I said it before you asked. < 1212950109 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, the first one wasn't intended to be an answer to the question < 1212950111 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :and then after < 1212950112 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but you said it after I asked < 1212950116 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :wrong < 1212950118 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :at least at this end of the connection < 1212950119 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950119 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : cgi doesn't get enabled by default but I can < 1212950119 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : where are they in the filesystem? < 1212950128 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:35] http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950128 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:35] cgi doesn't get enabled by default but I can < 1212950128 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:36] http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950133 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :whoops < 1212950136 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:35] http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950136 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:35] cgi doesn't get enabled by default but I can < 1212950136 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:36] http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950140 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:35] ais523: by the way, I enabled user dirs on eso-std.org < 1212950140 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:35] where are they in the filesystem? < 1212950140 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:35] http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950144 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:35] ais523: by the way, I enabled user dirs on eso-std.org < 1212950145 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:35] where are they in the filesystem? < 1212950145 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:35] http://eso-std.org/~ais523 -> /home/ais523/public_html < 1212950162 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :then you answered the same question again < 1212950172 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1212950178 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :* timotiis has quit (Read error: 110 (Connection timed out)) < 1212950187 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:38] <-- timotiis has left this server (Read error: 110 (Connection timed out)). < 1212950192 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric : [18:38] <-- timotiis has left this server (Read error: 110 (Connection timed out)). < 1212950201 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[18:38] [18:38] <-- timotiis has left this server (Read error: 110 (Connection timed out)). < 1212950212 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :. < 1212950226 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :" and Akregator's built in web browser" < 1212950230 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :this is called 'konqueror' < 1212950236 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not exactly < 1212950239 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :they use the same backend < 1212950245 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but Akregator is not Konqueror < 1212950251 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I believe the component is actually called Konqueror < 1212950254 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :and it uses KHTML < 1212950254 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it can't do file-management AFAIK < 1212950260 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :it can < 1212950266 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :but akgregator will never end up feeding it a file url < 1212950273 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :why not < 1212950282 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what if someone puts one in an RSS feed? < 1212950287 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :that might work < 1212950292 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oh, and OS X can't use ELF, period < 1212950293 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :it's Mach < 1212950296 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :only < 1212950304 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :interesting < 1212950310 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :Which it inherits from NeXTStep (or whatever the CapS are) < 1212950318 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I would have thought it would be able to run them < 1212950331 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Basically, OS X is what happens when you take NeXTStep, and some BSDs, and collide them together with blood, guts, and battle cries. < 1212950339 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :Then, you nurture its wounds until it's all happy. < 1212950344 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :Then, you make it pretty. < 1212950366 0 :ihope!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1212950379 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :If it walks like a bar and talks like a bar, duck. < 1212950379 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ihope ihope is the real ihope < 1212950390 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ihope: that's a pretty neat antisig < 1212950398 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :IRC so needs join messages < 1212950401 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as well as quit messages < 1212950407 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: that's SO abusable < 1212950408 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :for spambots < 1212950424 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :tusho_: well, they wouldn't show if you couldn't make a commen < 1212950430 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :s/commen/privmsg/ < 1212950434 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :speaking of spambots, I wrote a script that takes a text file and outputs a script that my okotterance co-ordinator can use < 1212950437 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :as in, you don't get a join message if unvoiced < 1212950438 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :you can configure how many clones it uses < 1212950457 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I don't see how it would be any more abusable than privmsg, then < 1212950463 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :it wouldn't < 1212950469 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :my script is very abusable though < 1212950476 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so why did you say it would be? < 1212950477 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :since you can have an infinite send speed < 1212950482 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :well < 1212950484 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :given infinite clones < 1212950526 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :can't you do that with privmsgs? < 1212950553 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :"You have been guided to this site by a divine light of healing and creative energy of Reiki. " < 1212950554 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :tee hee < 1212950564 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: no, because of the forced delay when you spam < 1212950568 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :and of course the flood protection < 1212950576 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :if you have 100 bots, you can make messages 100x faster < 1212950587 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I don't see why join messages would be any different < 1212950600 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :they would presumably be force-delayed for spammers too < 1212950650 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :I like how that esolang site contains pages called 'Rebirthing' and pages called 'Cross-cultural communication in English' < 1212950907 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :is it just me, or has anagolf died? < 1212950961 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :What's anagolf? < 1212950961 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: it's always like this < 1212950967 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :if you mean 'slow' < 1212950972 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :we just caused a blimp of activity < 1212950975 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ihope: http://golf.shinh.org/ < 1212951009 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION downloads tomsrtbt, sets up a virtual machine, etc.
< 1212951067 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Gee, I think the Linux computer has lots more free space. I'm going to go use it, I think. < 1212951090 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ihope: What, are you doing rootnomic? < 1212951097 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yep. >:-) < 1212951102 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Fine, fine, I'll code it. < 1212951119 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :If only to stop tomsrtbt being used. < 1212951127 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ihope: limit its memory usage to 256.1 MB so as to annoy ehird < 1212951129 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION sets up virtualbox
< 1212951138 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: actually, he was just trying to get me to do it < 1212951144 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :he's done it before < 1212951163 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I did consider the possibility that he was just pretending to do something to encourage you to do it first < 1212951168 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ihope: virtualbox is installing, happy now? ;) #ircnomic < 1212951187 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oop, it's 5 minutes < 1212951193 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :that went fast < 1212951295 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :4 minutes now < 1212951304 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: 3, actually < 1212951311 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :still 4 by my clock < 1212951313 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it's only approximate < 1212951320 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, /now/ 3 < 1212951347 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: my clock is ntp'd I believe < 1212951359 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :mine was manually ntp'd < 1212951368 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :from time to time, I synched it < 1212951376 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :off an Internet server < 1212951381 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :seems that can't be done in Hardy, though < 1212951390 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it's automatic NTP or none < 1212951408 0 :tusho_!unknown@unknown.invalid PRIVMSG #esoteric :ais523: 60 seconds < 1212951521 0 :ais523!unknown@unknown.invalid QUIT :"(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1"" < 1212952021 0 :tusho_!unknown@unknown.invalid NICK :ehird < 1212952025 0 :ehird!unknown@unknown.invalid NICK :tusho < 1212952590 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :HELLO EVERYONE < 1212952618 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :wassabi < 1212952708 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :What do you want, universe < 1212952712 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :brb < 1212952719 0 :tusho!unknown@unknown.invalid QUIT :Remote closed the connection < 1212952755 0 :tusho!n=tusho@91.105.68.111 JOIN :#esoteric < 1212953884 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212954182 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212954415 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Holy Batman. < 1212954428 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :What's wrong, Robin < 1212954432 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I think I might actually be able to pull off some ancient greek functional language. < 1212954460 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Diophantus had a whole system of it. < 1212954465 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: YES BATMAN! < 1212954488 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I think that with that and some flat out invention, I might be able to do something < 1212954543 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: If you do, I'll implement it, < 1212954605 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Oi. < 1212954605 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :(diff) (hist) . . N Chris Barker‎; 18:01 . . (+78) . . 58.56.109.6 (Talk) (RipfxvQbmrCYuf) < 1212954607 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :tusho : If you missed the previous discussion < 1212954607 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Ban. Now. < 1212954616 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: Probably? < 1212954622 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :The idea was to make a functional language with stupid functions < 1212954639 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :zomg < 1212954648 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Like Ackermann, McCarthy 91, Look and say < 1212954648 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Stuff like that < 1212954665 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Then, someone proposed greek letters < 1212954665 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :And I had the idea of doing it totally in greek, dude < 1212954682 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :you can represent all the rational numbers in an infinite list in which ALL rational numbers are reachable < 1212954689 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric ::o < 1212954718 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Well yes < 1212954720 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :They're countable < 1212954728 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i know, but i just figured out how to do it :) < 1212954741 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Actually, every definable number is countable < 1212954762 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :defineable? < 1212954766 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Uncountable sets are for non-constructive math. < 1212954767 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Definable. < 1212954773 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :oh i see. < 1212954775 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :constructive. ok. < 1212954776 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :anyway < 1212954779 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i figured out how to do it :D < 1212954782 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :im pleased with myself < 1212954849 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: should we revive unikitten < 1212954903 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: the set of all definable numbers, you mean? < 1212954922 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :aleph_1 and its buddy omega_1 aren't countable, but they're definable. < 1212954976 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212955055 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212955165 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :augur: now figure out how to represent every rational number as a number with a finite decimal expansion such that if one rational number is bigger than another, its representation is bigger than the other's. < 1212955169 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :>:-) < 1212955181 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :lol < 1212955265 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :infact < 1212955293 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i think the way i figured out makes it possible to not even need to store the list but just compute the nth rational of the list on the fly < 1212955337 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :not that the list for doing that would be efficient in space usage, since it'd have repetition of /value/ but < 1212955393 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :1/2, 1/3, 2/3, 1/4, 2/4, 3/4, 1/5, 2/5, 3/5, 4/5, etc.? < 1212955427 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :no, that misses the rationals > 1 :) < 1212955450 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :True. < 1212955477 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Hm. < 1212955487 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :1/1, 1/2, 2/2, 2/1, 1/3, 2/3, 3/3, 3/2, 3/1, 1/4, 2/4, 3/4, 4/4, 4/3, 4/2, 4/1, etc. < 1212955487 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Maybe I should make two languages in greek < 1212955495 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :The silly one, and a srs one. < 1212955500 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :1/1 -- 1/2 ; 2/1, 2/2 -- 1/3, 2/3, 3/3 ; 3/1, 3/2, 3/1 -- ... < 1212955513 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Because Greek arithmetical notation seems eso enough < 1212955517 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :yeah, ihope < 1212955521 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :there you go. < 1212955546 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :tho redundancy as i have it works to make it trivially findable < 1212955607 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :atleast i think so.. lol < 1212955716 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I think xaě means "multiply" < 1212955914 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I THINK < 1212955916 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :THEREFORE i ESO < 1212956009 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i thunk, therefore noone ever disputes me. < 1212956033 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :"Notation and definition of Diophantos" < 1212956035 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Oh yeah < 1212956723 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212956794 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :are we sure that real numbers are uncountably infinite? < 1212956855 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yep. < 1212956863 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :hm. < 1212956979 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1212957026 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1212957144 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :thats because there are reals which aren't repetitive, nor finitely long, right? < 1212957145 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :like pi < 1212957157 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :right o - third and final conjecture for this evening :) < 1212957162 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok. < 1212957183 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok im out < 1212957184 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :see ya < 1212957185 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :augur: more like, what's 'twixt 1/3 and 1/4 ... say 1/5 etc etc etc < 1212957199 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/Q0NgAz40.html < 1212957200 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1212957207 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :here is the implementation < 1212957211 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1212957224 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :augur: a real/floating point/non-intergral number is a fraction, right? < 1212957234 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :sure < 1212957237 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :gotta go tho bye :) < 1212957245 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so, you can arbitrarily sub-divide any range between any two fractions < 1212957275 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :into any more arbitrary ranges < 1212957275 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ad iniftum < 1212957275 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :i know < 1212957275 0 :augur!unknown@unknown.invalid PRIVMSG #esoteric :ok bye < 1212957275 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :*infinitum < 1212957275 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :ok, cheers < 1212957306 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :tusho? < 1212957307 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :you there? < 1212957362 0 :Slereah!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212957373 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric : /summon tusho < 1212957377 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :hi Hiato < 1212957387 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION breathes a sigh of relief
< 1212957607 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :hahah < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :tusho, can I ask you to glance quickly over my latest and greatest conjecture? < 1212957607 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :http://rafb.net/p/Q0NgAz40.html? < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :yep < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :want an explanation as to what it is and why it's so cool? :P < 1212957607 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I am not Tusho < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, well spotted slereah < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :however, Slereah, would you like to know? :P < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION needs opinions
< 1212957607 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I'd like to know < 1212957607 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but your code style sucks ;P < 1212957607 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh, tusho, I just scraped out of delphi :P < 1212957644 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212957658 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: remove the space before function arguments < 1212957666 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and use do_it instead of DoIt for function names < 1212957680 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :anyway, it goes like this. Take any arbitrary integer, x, and if it is positive, find the sum of its digits and one and subtract that from it. If x is negative, find the sum of its digits and one and add that to it. Recursively apply this procedure and it is conjectured that for all of x, it will reduce to the pattern: -1;1;-1;1... < 1212957688 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :tusho: roger that < 1212957693 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :apart from that, just add some more whitespace, really < 1212957698 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :heh :) < 1212957700 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it's better than a lot of python! :-P < 1212957741 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :thanks :) < 1212957791 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :so, on the conjecture? < 1212957809 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: I'll think about it < 1212957809 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :btw. http://www.python.org/dev/peps/pep-0008/ <-- PEP8, python style guide < 1212957812 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :written by guido himself < 1212957814 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :awesome :) < 1212957846 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212957846 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :http://svn.browsershots.org/trunk/devtools/pep8/pep8.py <-- a script that complains if your code doesn't conform to it < 1212957846 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :nice :) < 1212957868 0 :RedDak!n=dak@host66-88-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric < 1212958122 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1212958293 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: Give me somethign to feed that mu function will you? < 1212958531 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hmmmmmmmmmm. < 1212958534 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I have ideas for le eso os! < 1212958553 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :who wants to hear < 1212958638 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :.... < 1212958702 0 :Slereah!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212958707 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212958708 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hello people sirs. < 1212958736 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Ideas for an eso os. Wanna hear? < 1212958744 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Sure, why not < 1212958793 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, you know the lazy, strongly-typed self-rewriting language we talked about yesterday? < 1212958801 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :MIN? < 1212958821 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Yeah, but ... before we went totally crazy about it. < 1212958832 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Right? < 1212958835 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Go ahead. < 1212958866 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, all of that, but PURELY FUNCTIONAL and REFERENTIALLY TRANSPARENT. < 1212958881 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :For instance, the whole program rewrites itself into a lazy list of things like PutStr "hi" < 1212958896 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :which then get performed in order by the program engine (thus eventually forcing the whole list) < 1212958910 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So the program is of type [IO], I guess. < 1212958911 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :But whatever. < 1212958914 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Isn't that awesome? < 1212958952 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Rite? < 1212958956 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :So, you write the OS. In that. < 1212958965 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I dunno. I'll have to understand it first < 1212959002 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, basically < 1212959004 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :You have a program < 1212959008 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I hope so < 1212959009 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and it lazily rewrites itself into something like < 1212959026 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :[Print "Hello world", Print "How Are You?"] < 1212959031 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: So what the interpreter does < 1212959033 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :is take the program < 1212959034 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :How can something rewrite itself lazily? < 1212959040 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and force it to evaluate the first element, and performs it < 1212959041 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :etc to the end < 1212959044 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Well, that's the hard bit. < 1212959049 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :But we discussed that yesterday. < 1212959055 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :The new part is that it's purely functional & ref transp. < 1212959070 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Oh, and installing a program amounts to the OS rewriting itself to include it. < 1212959078 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Heh. < 1212959090 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :tusho: that's a bit awkward if you want to do input and have the rest depend on it < 1212959106 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: yes, that was what I thought < 1212959107 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: but no! < 1212959111 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :GetLine rewrites into "the input" < 1212959112 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's why the IO monad, after all < 1212959117 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: because, after all, it is a self-rewriting language < 1212959124 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1212959138 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: clever, no? >:D < 1212959213 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But right now. < 1212959215 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ok but that's not referentially transparent < 1212959226 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm a lot more excited by ARITHMETICA < 1212959233 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I totally want to try it. < 1212959244 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :(It's the srs one, not the Ackermann one) < 1212959255 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :(because if you have two GetLine's they don't need to become the same thing) < 1212959259 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: wrong < 1212959260 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :they do < 1212959267 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :um, that is the part I haven't worked out < 1212959275 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but, basically, when the monadic action of GetLine happens, it's morphed into the string < 1212959277 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :somehow < 1212959277 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but < 1212959279 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :not < 1212959280 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :kidn of < 1212959340 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :actually most of this works but not putting all the actions in a list < 1212959348 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: ok then, forget that part < 1212959424 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: it is an interesting concept, though < 1212959427 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :don't you agree? < 1212959431 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :self-rewriting ... but lazy < 1212959432 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and _typed_ < 1212959469 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1212959524 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :it certainly sounds like the OS TECHNOLOGY OF THE FUTURE < 1212959541 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the self-morphification and reflection of lisp as the very core of the language < 1212959546 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :the mathematical elegance of laziness from haskell < 1212959552 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and the program-assurance of types < 1212959659 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: or not < 1212959721 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :BRB < 1212960000 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Back. < 1212960013 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Opinions? < 1212960014 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: you too < 1212960030 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :tusho : No. < 1212960036 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :sorry, what? < 1212960041 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1212960047 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :READ UPWARDS :P < 1212960048 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :I'm working on ARITHMETICA < 1212960056 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hoping that I don't have to learn greek to do it < 1212960057 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :tusho: how far? :P < 1212960073 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: Slereah: Ideas for an eso os. Wanna hear? < 1212960086 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :right o guv < 1212960319 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :How would it be done to use a whole set of non-standard symbols for a programming language? < 1212960324 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :Wow, could you, er, idiotize this (for a lack of a better word) < 1212960325 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :How does APL do it? < 1212960345 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: no :P < 1212960357 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: well < 1212960358 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :in ascii < 1212960360 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :97=a < 1212960362 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and stuff < 1212960366 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :just make a new encoding < 1212960372 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But HOW :o < 1212960372 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :97=FLYING SPAGHETTI MONSTER < 1212960377 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Just in your program < 1212960380 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :interpret the bytes < 1212960381 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :differently < 1212960384 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :e.g. < 1212960390 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :if c == 'a': # c = flying spaghetti monster < 1212960391 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :tusho: In that case, as I understand it, impossible to implement, but potentially awesome :) < 1212960400 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Hiato: not impossible, no < 1212960410 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :in fact, this would open up a very very interesting direction in programming < 1212960415 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Yes, but I mean, how would it display in the interpreter, graphically? < 1212960418 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: are you SURE they aren't in unicode < 1212960419 0 :Hiato!unknown@unknown.invalid PRIVMSG #esoteric :well, tusho, then I evidently don't understand right :P < 1212960424 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :tusho : Some are. < 1212960426 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :and, well, you'd draw a picture and use a graphics library < 1212960429 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Actually, most < 1212960433 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :That is, of course, a giant fuss. < 1212960434 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Stick to uncode. < 1212960437 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :*unicode < 1212960438 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But important ones aren't. < 1212960446 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: Pick other ones. < 1212960446 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Although maybe there's close ones. < 1212960454 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Or ask the unicode consortium to add 'em. < 1212960458 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Also, there's plenty of exposant, how to? < 1212960493 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: wut < 1212960543 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Hey, there's actually Diophantus minus symbol < 1212960569 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :tusho : Like, ˛ < 1212960573 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :But for greek letters. < 1212960592 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah: i dunno lol < 1212960602 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Make code html and use ^{< 1212960603 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212960631 0 :Slereah!unknown@unknown.invalid PRIVMSG #esoteric :Will it work for greek? < 1212960658 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :that was a joke < 1212960660 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :but yes < 1212961356 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212961667 0 :Slereah7!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212961916 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :>:| < 1212962087 0 :jix!n=jix@dyndsl-091-096-060-030.ewe-ip-backbone.de JOIN :#esoteric < 1212962422 0 :kar8nga!unknown@unknown.invalid PART #esoteric :? < 1212962708 0 :cherez!unknown@unknown.invalid QUIT :Remote closed the connection < 1212962738 0 :cherez!n=cherez@cpe-76-167-242-249.socal.res.rr.com JOIN :#esoteric < 1212962820 0 :cherez!unknown@unknown.invalid PART #esoteric :? < 1212962846 0 :Hiato!unknown@unknown.invalid QUIT :"Leaving." < 1212963031 0 :Judofyr!unknown@unknown.invalid QUIT : < 1212964660 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Can the esowiki do superscript? < 1212964834 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1212964835 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : < 1212964861 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1212966179 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :z < 1212966341 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :I'm not too sure what to use for variables in arithmetica < 1212966373 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :There's the sigma for single-variables, but he doesn't seem to use anything consistent with multiple ones. < 1212966393 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :It's a number with two letters in superscript, but the letter change often < 1212966423 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :. < 1212966645 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :¤ < 1212966659 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :wotwot < 1212966712 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ESO IDEA!!! < 1212966720 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :'unwrapped' conditionals < 1212966721 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Like: < 1212966723 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :if n == 0 < 1212966726 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : then fact n = 1 < 1212966730 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : else fact n = n * fact (n-1) < 1212966733 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Cool? < 1212966774 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION shrugs
< 1212966774 0 :Slereah7!unknown@unknown.invalid PRIVMSG #esoteric :Not very < 1212966798 0 :oklopol!i=oko@dsl-tkubrasgw1-fe1cfa00-58.dhcp.inet.fi JOIN :#esoteric < 1212966815 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Slereah7: Why? < 1212966822 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :I think it's actually distantly related to prolog < 1212966823 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Watch: < 1212966825 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :if n == 0 < 1212966827 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : then fact n = 1 < 1212966838 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : else if result == n * fact (n-1) < 1212966848 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric : then fact n = result < 1212966858 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :see? < 1212966867 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :The conditionals 'predict' the future variables. < 1212966870 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Maybe it interests oerjan ;P < 1212966901 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Interesting. < 1212966934 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ihope: I believe you can do nondeterminism with it. < 1212966936 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :like: < 1212966948 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :if x `elementOf` xs then choose xs = x < 1212966968 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yep. < 1212967001 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Though I'd rather write that as if xs = x then x `elementOf` xs. < 1212967010 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :s/if xs/if choose xs/ < 1212967021 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Well, that's confusing. < 1212967030 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Mine is fairly simple: You just 'unwrap' the conditionals outside the function < 1212967040 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It's more logically correct. :-) < 1212967080 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :if ys `sorted` xs then sort xs = ys < 1212967080 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212967141 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Something like if x `elementOf` xs then choose xs = x would kind of imply that choose xs is equal to every element of x. < 1212967164 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ihope: No. < 1212967166 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :It reads: < 1212967167 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Which is... oofy unless all elements of xs are equal. < 1212967175 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :s/would kind of/would seem to/, then. < 1212967178 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :'If x is a member of xs, then choosing an element from xs results in x' < 1212967184 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Makes sense to me. < 1212967197 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :ihope: Yours makes the membership of xs an afterthought. < 1212967199 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :Mine makes it the basic idea < 1212967200 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :s/results/can result/. < 1212967209 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Or not. < 1212967225 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :s/Or not/Or else not/ < 1212967251 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Be back in a moment. < 1212967254 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :s/Or/The/ < 1212967261 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Uh oh. :-) < 1212967263 0 :ihope!unknown@unknown.invalid QUIT :"ChatZilla 0.9.82.1 [Firefox 2.0.0.14/2008040413]" < 1212967266 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric :s/Of/And/ < 1212967718 0 :ihope!n=ns@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1212967723 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Back. < 1212967730 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :As I'm sure you can tell. < 1212968001 0 :tusho!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1212968797 0 :Slereah!n=hax@ANantes-252-1-61-76.w82-126.abo.wanadoo.fr JOIN :#esoteric < 1212968798 0 :Slereah7!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212968936 0 :RedDak!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1212969597 0 :Slereah7!n=hax@ANantes-252-1-70-48.w81-250.abo.wanadoo.fr JOIN :#esoteric}