< 1212020570 0 :oerjan!unknown@unknown.invalid QUIT :"Habemus panem tostum?"
< 1212020578 0 :timotiis!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out)
< 1212020870 0 :olsner!unknown@unknown.invalid QUIT :"Leaving"
< 1212021101 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :eshird
< 1212021103 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :ehird*
< 1212021107 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :dont be such a faggot
< 1212021142 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: Sorry. I'm such a faggotfag.
< 1212021143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :... wait
< 1212021484 0 :BMeph!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212023426 0 :sebbu!unknown@unknown.invalid QUIT :"@"
< 1212024009 0 :Core-un!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric
< 1212024672 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Core-un: Compiled haskell?...
< 1212024713 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :what?
< 1212024734 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: Shut up, you.
< 1212024768 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :you'll have to stick your cock in my mouth to make that happen
< 1212024790 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: uh, thanks, but shut up
< 1212024803 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :yeah thats what i thought :P
< 1212024820 0 :Core-un!unknown@unknown.invalid PRIVMSG #esoteric ::-O
< 1212024847 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Core-un: are you a reference to ghc/yhc core? :P
< 1212024853 0 :Core-un!unknown@unknown.invalid PRIVMSG #esoteric :Nope
< 1212024865 0 :Core-un!unknown@unknown.invalid PRIVMSG #esoteric :Just people were pronouncing my nick wrong
< 1212024867 0 :Core-un!unknown@unknown.invalid PRIVMSG #esoteric :It's CORE-UN
< 1212024870 0 :Core-un!unknown@unknown.invalid PRIVMSG #esoteric :Not CO-RUN
< 1212024872 0 :Core-un!unknown@unknown.invalid NICK :Corun
< 1212024878 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Corun: oh then your nick sucks
< 1212024879 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Co-run.
< 1212024885 0 :Corun!unknown@unknown.invalid PRIVMSG #esoteric ::-(
< 1212024905 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :lol
< 1212024945 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what's with all the gay sex
< 1212024953 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lament: you want to know do you?
< 1212024962 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :it's like this channel is turning into #linguistics
< 1212024987 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :HAHAHAH
< 1212025134 0 :Polar!i=polar@arunprasannan.com JOIN :#esoteric
< 1212025247 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :We have a #linguistics?
< 1212025287 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yes.
< 1212025291 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it has gay sex
< 1212025292 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I checked.
< 1212025408 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Bye for today :-)
< 1212025408 0 :AAAAAAue4njxuz!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212025413 0 :AAAAAAue4njxuz!n=Quendion@145.175.adsl.brightview.com JOIN :#esoteric
< 1212025417 0 :ehird!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212025440 0 :AAAAAAue4njxuz!unknown@unknown.invalid NICK :Quendus
< 1212025621 0 :boily!n=boily@bas2-quebec14-1096645249.dsl.bell.ca JOIN :#esoteric
< 1212026054 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :damn
< 1212026069 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i shouldn't have mentioned #linguistics, now all the gay sex moved there instead
< 1212026086 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric ::-P
< 1212026101 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I didn't know speaking Spanish was a form of gay sex.
< 1212026304 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep"
< 1212028406 0 :Quendus!unknown@unknown.invalid NICK :AAAAAAue4njxuz
< 1212028698 0 :ihope!unknown@unknown.invalid QUIT :"ChatZilla 0.9.82.1 [Firefox 2.0.0.14/2008040413]"
< 1212029530 0 :boily!unknown@unknown.invalid QUIT :"Leaving."
< 1212032935 0 :Polar!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net
< 1212032937 0 :cmeme!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net
< 1212033444 0 :Polar!i=polar@arunprasannan.com JOIN :#esoteric
< 1212033444 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric
< 1212033664 0 :Sgeo!unknown@unknown.invalid QUIT :Connection timed out
< 1212035616 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :I am trying to prove that a language is turing equivalent, how would I do this? Is implementing a turing machine an acceptable proof? What other tests are there?
< 1212039057 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :more specifically, implementing a compiler from a turing-complete language to your language.
< 1212039074 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :there's a bunch of nice turing-complete languages for which it is easy to write a compiler
< 1212039083 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :brainfuck is one
< 1212039093 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :LSK combinatory logic is another
< 1212039124 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :register machines are another
< 1212039309 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :(note that the compiler itself can be written in anything)
< 1212039345 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :or writing an interpreter for that language in your language.
< 1212040646 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :implementing a turing machine should be relatively simple to do tho
< 1212040650 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :turing machines are simple
< 1212040656 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :true
< 1212040658 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :impossible to use
< 1212040662 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :but painfully simple
< 1212040675 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i don't think they're as simple as the three things i mentioned
< 1212040689 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well, they're on par but somehow clumsier
< 1212040696 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :plus there's no standard notation for them
< 1212040697 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :well, it depends on the language you're implementing it in i suppose
< 1212040729 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :of course
< 1212040735 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :but a tape machine is pretty simple
< 1212040755 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :if your language is objective c, compiling C to it is the simplest way to prove turing-completeness :)
< 1212040799 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :ofcourse, if you're objective-c, then doing so is pointless
< 1212040799 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :since obj-c IS c :)
< 1212040932 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :compilation is a no-op, yes
< 1212040942 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :ey?
< 1212041117 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :deformative
< 1212041148 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :you might want to try implementing a 5 tuple turing machine model
< 1212041151 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :its quite simple
< 1212041293 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :3-state 2-symbol TMs are easy so..
< 1212041301 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :if you can implement one, you're done.
< 1212041319 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :i'd be willing to look at your language and see if its possible on first glance
< 1212041371 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :er>
< 1212041372 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :?
< 1212041375 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :deformative?
< 1212041376 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :you there?
< 1212041587 0 :GreaseMonkey!n=arbels@219-89-41-219.dialup.xtra.co.nz JOIN :#esoteric
< 1212047999 0 :clog!unknown@unknown.invalid QUIT :ended
< 1212048000 0 :clog!unknown@unknown.invalid JOIN :#esoteric
< 1212048270 0 :olsner!n=salparot@h-79-136-60-96.NA.cust.bahnhof.se JOIN :#esoteric
< 1212049710 0 :olsner!unknown@unknown.invalid QUIT :"Leaving"
< 1212052488 0 :Iskr!n=i@host242-57-dynamic.6-87-r.retail.telecomitalia.it JOIN :#esoteric
< 1212053797 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212053804 0 :Slereah!n=hax@ANantes-252-1-61-189.w82-126.abo.wanadoo.fr JOIN :#esoteric
< 1212053985 0 :Slereah!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212055423 0 :Slereah_!n=hax@ANantes-252-1-61-189.w82-126.abo.wanadoo.fr JOIN :#esoteric
< 1212057443 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"Unisex."
< 1212059093 0 :oklopol!n=nnscript@a91-152-141-47.elisa-laajakaista.fi JOIN :#esoteric
< 1212059804 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :psygnisfive: It seems it should work, but I am not sure. I know how the universal turing machine works, so I guess I will just attempt to implement one real fast.
< 1212060096 0 :oklopol!unknown@unknown.invalid TOPIC #esoteric :(:NAME "#ethoteric" :TYPE (INTERNATIONAL-HUB (PROGRAMMING-LANGUAGETH ETHOTERIC)) :LOGTH "http://tuneth.org/~nef/logth/ethoteric") -- BUT CLICK HERE FOR LINK IF YOUR BROWSER DISLIKES LISP! http://tunes.org/~nef/logs/esoteric
< 1212060328 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric
< 1212060367 0 :fizzie!unknown@unknown.invalid QUIT :leguin.freenode.net irc.freenode.net
< 1212060393 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Deformative : Use a Post machine
< 1212060426 0 :fizzie!n=fis@sesefras.zem.fi JOIN :#esoteric
< 1212060644 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :Eh.
< 1212060699 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah you can also compile to Ef
< 1212060702 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :...wait
< 1212060733 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :Ef?
< 1212060745 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ef is my fixed-point language
< 1212060756 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :Oh.
< 1212060764 0 :Deformative!unknown@unknown.invalid PRIVMSG #esoteric :Nah, I kindof like UTM.
< 1212061526 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212063448 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric
< 1212063767 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_, post machine?
< 1212064005 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's a primitive Turing machine.
< 1212064056 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :An infinite tape, two states available for a cell, and the instructions are change to 0, change to 1, left, right and go to state 1 if 0 or state 2 if 1.
< 1212064124 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Sort of what Boolfuck is to Brainfuck.
< 1212064330 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :Coolfuck
< 1212064376 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :All the other kids are doing it!
< 1212064983 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i need a secretary
< 1212065000 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :d is too hard to install
< 1212065015 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :where the fuck is the windows installer i can just fucking click
< 1212065130 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :guess i'll continue doing python
< 1212065141 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :until i find a secretary, that is
< 1212065218 0 :Slereah_!unknown@unknown.invalid PRIVMSG #esoteric :guess i'll continue doing python <- You furry.
< 1212065356 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :wut? :)
< 1212066800 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep"
< 1212067508 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :Slereah_, hahah
< 1212068380 0 :atsampson!n=ats@7hw.poik.net JOIN :#esoteric
< 1212070164 0 :BMeph!n=chatzill@wsip-70-167-169-169.sd.sd.cox.net JOIN :#esoteric
< 1212073778 0 :RedDak!n=dak@host126-85-dynamic.32-79-r.retail.telecomitalia.it JOIN :#esoteric
< 1212073934 0 :BMeph69!n=chatzill@wsip-70-167-169-169.sd.sd.cox.net JOIN :#esoteric
< 1212074114 0 :jix!n=jix@dyndsl-080-228-181-076.ewe-ip-backbone.de JOIN :#esoteric
< 1212074533 0 :BMeph!unknown@unknown.invalid QUIT :Nick collision from services.
< 1212074576 0 :BMeph69!unknown@unknown.invalid NICK :BMeph
< 1212076118 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212076151 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric
< 1212076296 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric
< 1212076841 0 :BMeph!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212077475 0 :sekhmet!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212077478 0 :sekhmet!n=pez@adsl-99-153-135-191.dsl.mdsnwi.sbcglobal.net JOIN :#esoteric
< 1212077490 0 :BMeph!n=chatzill@wsip-70-167-169-169.sd.sd.cox.net JOIN :#esoteric
< 1212079391 0 :AAAAAAue4njxuz!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212079399 0 :AAAAAAue4njxuz!n=Quendion@145.175.adsl.brightview.com JOIN :#esoteric
< 1212079729 0 :ehird!n=ehird@91.105.124.85 JOIN :#esoteric
< 1212079743 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol's topic owns
< 1212079905 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ehird: well i put it up out of necessity :)
< 1212079926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: did freenode complain
< 1212079926 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::P
< 1212079934 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :nono, i did!
< 1212079977 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :good news, btw, i'm thinking about installing linux on this machine
< 1212079986 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i assume that's good news :D
< 1212080020 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: YES, it is
< 1212080047 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: but plz just get the latest ubuntu because otherwise you'll yell at me about some software not being easily installable or something :p
< 1212080056 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1212080061 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :heh, sure
< 1212080076 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :last time i didn't install it myself, was already there, installed ages ago
< 1212080081 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: http://www.ubuntu.com/getubuntu/download :P
< 1212080116 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :step 1. choose location, step 2. click download, step 3. burn to cd, step 4. boot up cd and choose 'Install' step 5. do what it says step 6. step 6 was eaten by a bird
< 1212080123 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :zonk
< 1212080129 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(THE ZONK IS REQUIRED)
< 1212080137 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :another new thing on my todo list, i wanna fail @ making my own OS, haven't done that yet
< 1212080157 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :(i will be dissappointed if i don't fail, ofc)
< 1212080157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: oh its quite fun
< 1212080163 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but the base os is uh always the same
< 1212080172 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because there are about 2 tutorials in existance
< 1212080175 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and both of their code is quite similar
< 1212080186 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and you couldn't really deviate without knowing a lot about os dev :p
< 1212080193 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so, yeah, its pretty boring because it's mostly copypasta.
< 1212080196 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and then you get stuck.
< 1212080199 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::)
< 1212080203 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :omgz
< 1212080206 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :no -Serv
< 1212080215 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, let's wreak havoc
< 1212080219 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :lets
< 1212080222 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I'm gonna be ais523
< 1212080223 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :k?
< 1212080226 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :OKAY!
< 1212080227 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or ... lilo
< 1212080231 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm gonna be ehird!
< 1212080289 0 :ais523!n=ais523@ai01-fap01.bham.ac.uk JOIN :#esoteric
< 1212080294 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oh shit
< 1212080297 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :speak of the devil
< 1212080300 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I was about to /nick ais523 while nickserv was down :|
< 1212080305 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I guess you saw that, in the losg.
< 1212080309 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :And came to DEFEND YOUR IMAGE.
< 1212080315 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :ehird: You forgot the two most important steps on your ubuntu setup!
< 1212080325 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ais is never here, he just refreshes logs every 10 secs and reads
< 1212080326 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :no, only just connected to the Internet
< 1212080328 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :BMeph: Sorry, they haven't worked out a business model yet.
< 1212080329 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::(
< 1212080351 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :They don't want to '...' until they have figured out 'Profit'
< 1212080366 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I thought it was ??? not ...
< 1212080374 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :ehird: Well, then, here's your chance to help them. ;)
< 1212080385 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oh, yeah
< 1212080399 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :BMeph: Sell their souls to binary driver manufacturers! Oh wait.
< 1212080416 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, Ubuntu finally decided to package Firefox 3rc1
< 1212080435 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although I'll keep using Epiphany until 3rc2 is out, probably, because of the fsync bug
< 1212080444 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: i shall wait patiently for debian.
< 1212080448 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fuckin' dinosaurs..
< 1212080484 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :...is the newest Olympic summer sport! :)
< 1212080502 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :Or is that summer Olympic sport? ;)
< 1212080503 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think it's safer to fuck them when they're frozen
< 1212080516 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so winter
< 1212080528 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :sheesh
< 1212080530 0 :BMeph!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Ah, but that wouldn't be "sporting," now, would it?
< 1212080637 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i guess it wouldn't
< 1212080651 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm not that sporty myself
< 1212080653 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212080727 0 :Slereah_!n=hax@ANantes-252-1-61-189.w82-126.abo.wanadoo.fr JOIN :#esoteric
< 1212080757 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so, how zonk is the zonk zonk zonk zonk?
< 1212080878 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: 4, obviously
< 1212080885 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: OK
< 1212081455 0 :oklopol!unknown@unknown.invalid QUIT :"( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )"
< 1212081597 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212081712 0 :cherez1!n=cherez@CPE-69-76-143-134.kc.res.rr.com JOIN :#esoteric
< 1212082559 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric
< 1212082699 0 :cherez!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out)
< 1212083072 0 :Slereah!n=hax@ANantes-252-1-61-189.w82-126.abo.wanadoo.fr JOIN :#esoteric
< 1212083073 0 :Slereah_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212083454 0 :uvanta!n=uvanta__@119.65.112.90 JOIN :#esoteric
< 1212083468 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :* NickServ :Erroneous Nickname
< 1212083511 0 :Corun!unknown@unknown.invalid QUIT :"This computer has gone to sleep"
< 1212084169 0 :ehird!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212084208 0 :ehird!n=ehird@91.105.124.85 JOIN :#esoteric
< 1212084285 0 :psygnisfive!unknown@unknown.invalid PRIVMSG #esoteric :O_O
< 1212084300 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :O_O
< 1212084560 0 :olsner!n=salparot@h-79-136-60-96.NA.cust.bahnhof.se JOIN :#esoteric
< 1212084691 0 :kar8nga!n=kar8nga@AMarseille-151-1-81-251.w86-200.abo.wanadoo.fr JOIN :#esoteric
< 1212084915 0 :sebbu!n=sebbu@ADijon-152-1-75-41.w83-203.abo.wanadoo.fr JOIN :#esoteric
< 1212085572 0 :sebbu2!n=sebbu@ADijon-152-1-75-41.w83-203.abo.wanadoo.fr JOIN :#esoteric
< 1212085773 0 :oklopol!n=nnscript@spark.turku.fi JOIN :#esoteric
< 1212086239 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 113 (No route to host)
< 1212086240 0 :sebbu2!unknown@unknown.invalid NICK :sebbu
< 1212088211 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric
< 1212088418 0 :jix!unknown@unknown.invalid QUIT :Nick collision from services.
< 1212088428 0 :jix!n=jix@dyndsl-080-228-184-244.ewe-ip-backbone.de JOIN :#esoteric
< 1212089220 0 :oklofok!n=nnscript@oklopol.yok.utu.fi JOIN :#esoteric
< 1212089364 0 :oklopol!unknown@unknown.invalid QUIT :Read error: 113 (No route to host)
< 1212090050 0 :AnMaster!unknown@unknown.invalid NICK :AnMaster_
< 1212090057 0 :AnMaster_!unknown@unknown.invalid NICK :AnMaster
< 1212090390 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212090411 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric
< 1212090461 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ZOOOP
< 1212090465 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: infanfoh now
< 1212090478 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: context?
< 1212090497 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: infanfoh is oklofok's inf-d 5-in-a-row
< 1212090510 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :how large is the board?
< 1212090521 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :infinite in each dimension as well as infinite-dimensions?
< 1212090571 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yep
< 1212090587 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and are there any rules to negate the first player's advantage?
< 1212090716 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: nope
< 1212090754 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :while I used to enjoy 4x4x4x4 noughts-and-crosses, infinite-dimensional five-in-a-row seems hard to keep track of
< 1212090766 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you couldn't even draw the entire board at once, you'd have to keep track of it some other way
< 1212090787 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: his is cli based
< 1212090792 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :runs as an irc bot
< 1212090796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :& has no display per se
< 1212090798 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you have to visualize it
< 1212090803 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, exactly
< 1212090806 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but it has a mini language for specifying positions, ais523
< 1212090807 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that's why I prefer 4x4x4x4
< 1212090811 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[a b c] for each a in b, c
< 1212090812 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so
< 1212090815 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and
< 1212090818 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : a to b
< 1212090821 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric : a to b, step c
< 1212090824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and {...} a regular list
< 1212090824 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so
< 1212090830 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :[a <1 10> {50 a}]
< 1212090838 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :{50 1 50 2 50 ... 50 10 50 1 50 2 ... }
< 1212090842 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :(it's cyclic)
< 1212091482 0 :st01k!n=st01k@cpe-24-162-102-82.hot.res.rr.com JOIN :#esoteric
< 1212091678 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wow, there are a lot of people in here
< 1212091703 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quite
< 1212091715 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION wonders about the first in alphabetical order
< 1212091796 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: hes a regular ithink
< 1212091802 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :* [AAAAAAue4njxuz] (n=Quendion@145.175.adsl.brightview.com): Aleksander Nonymous
< 1212091804 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :quendion is familiar
< 1212091809 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, yes
< 1212091814 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :interesting nick, though
< 1212091816 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I am investigating games programming in Haskell. Not much luck so far ...
< 1212091835 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, it would need bindings to some graphics lib, probably
< 1212091840 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, I think python's pygame may be better
< 1212091843 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or even C or C++
< 1212091848 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :depending on your needs
< 1212091855 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :if you are non-esoteric that is
< 1212091856 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric ::P
< 1212091857 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: Wow what a revolutionary idea
< 1212091863 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, AnMaster, I haven't seen you for ages
< 1212091872 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I was beginning to get optimistic :(
< 1212091875 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :mostly because I haven't been online
< 1212091875 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, I have been idling here
< 1212091882 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: there's already opengl and sdl bindings, anyway
< 1212091887 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :probably i'll go with sdl because it's simpler
< 1212091892 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, how goes the interfunge ;)
< 1212091895 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :opengl isn't that complicated
< 1212091895 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but I want a purely-functional approach to sepreate rendering and event handling
< 1212091897 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: I've had exams
< 1212091899 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which I think I can do
< 1212091899 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :but eh
< 1212091901 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, same
< 1212091910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ah, that explains it then
< 1212091967 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :still have, just one more week
< 1212091971 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :same here
< 1212091974 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but only one exam in that week
< 1212092231 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm... I just wrote "business" to mean "extent to which I'm busy"
< 1212092260 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: busyness is incorrect but useful in that case
< 1212092280 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, I like using correct English even if it produces silly results
< 1212092286 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not sure if it was correct here, though
< 1212092332 0 :AAAAAAue4njxuz!unknown@unknown.invalid PRIVMSG #esoteric :ehird: typing with one's elbows is fun!
< 1212092347 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AAAAAAue4njxuz: ha
< 1212092360 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :surely it depends on what sort of keyboard you're using?
< 1212092369 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ACTION imagines trying to type with one's elbows on an iPhone
< 1212092400 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although they're allegedly hard to type on even normally due to the lack of feedback
< 1212092405 0 :AAAAAAue4njxuz!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1212092439 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: a bit
< 1212092441 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you get used to it
< 1212092450 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because of its auto-correction you can mostly just hit the right area
< 1212092453 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it has some nifty tricks
< 1212092736 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: humph, I'm going to work on another pseudo-esoteric language.
< 1212092743 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :a stack-based, strongly typed a-la haskell and ML language
< 1212092747 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :maybe with dependent types.
< 1212092780 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :AAAAAAue4njxuz, you'd need HUGE keys
< 1212092785 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I've been thinking about writing a Feather bootstrap for a while now
< 1212092788 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or small elbows
< 1212092806 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :cvkftgioufda\zc78dffgftgf8df980c
< 1212092811 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ elbowtyping
< 1212092814 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because I'm getting fed up of waiting for a feather interp to spontaneously come into existence
< 1212092817 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :tiosxd ix a trdy
< 1212092820 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :gcxoolio ediotglkc
< 1212092823 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :^ hello world
< 1212092824 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :should say:
< 1212092826 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :this is a try
< 1212092832 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :didn't really
< 1212092854 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, feather?
< 1212092854 0 :AAAAAAue4njxuz!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: only if you want to type accurately, which kind of defeats the point of elbow-typing :p
< 1212092870 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :AAAAAAue4njxuz, so that is your nick?
< 1212092880 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: feather is his infinitely-bootstrapped time-loop language
< 1212092884 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :all modifications to the language are always there
< 1212092888 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and the base language creates itself
< 1212092890 0 :AAAAAAue4njxuz!unknown@unknown.invalid PRIVMSG #esoteric :Quendus is my nick ;>
< 1212092896 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, haha
< 1212092900 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: no really
< 1212092900 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, details!
< 1212092908 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :gh nhixs i9sde hasrdr
< 1212092910 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it even has a paradox resolution mechanism
< 1212092916 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wowe
< 1212092916 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :for when you create a pime taradox
< 1212092917 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wow*
< 1212092921 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, SPECS!!!!!!!!!!!
< 1212092927 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: a smalltalk-like language that uses retroactive changes to simulate inheritance because it doesn't have classes
< 1212092932 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: it's also a prototype-based smalltalk-esque OOP language
< 1212092935 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :with no inheritance
< 1212092935 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I haven't written specs like, but I should do at some point
< 1212092941 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: well, sort of
< 1212092943 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, code example then
< 1212092947 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :objects are created by cloning other objects
< 1212092952 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so you go back in time and alter what they cloned
< 1212092961 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :let me think
< 1212092990 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the issue with a code example is that the syntax can be modified at will by the programmer, and probably will be
< 1212092997 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but the initial syntax is designed to be very simple
< 1212093000 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :like this:
< 1212093015 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :so this is a grand feather paradox?
< 1212093019 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :id : 'a 'a ->
< 1212093027 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: it's not a paradox
< 1212093035 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :whoos
< 1212093036 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :there's nothing paradoxical about its timetravel model
< 1212093037 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :h
< 1212093044 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :+ : 'a 'a -> 'a Num =>
< 1212093066 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :{^outputstream write "Hello, world!"}
< 1212093072 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :fix : 'a 'a -> 'a ->
< 1212093080 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: suggestion
< 1212093083 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :is an example of what a program could look like after you'd implemented a bit of syntactic sugar
< 1212093084 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :outputStream, not outputstream
< 1212093095 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: well, it's not part of the language
< 1212093104 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I'm just saying, you should encourage it
< 1212093108 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :OK
< 1212093115 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: presumably, the base language will come with a Prelude which defines that syntactical sugar
< 1212093121 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, that's the idea
< 1212093122 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :so that there's _some_ convenient common base
< 1212093125 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :also things like numbers and strings
< 1212093129 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: right, so use thatKindOfNaming for it
< 1212093133 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :okIWill
< 1212093133 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it fits with smalltalky languages
< 1212093139 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :letsTalkLikeThis
< 1212093174 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :[ ^ | ^ outputStream write [^ helloWorldString ] ]
< 1212093178 0 :AAAAAAue4njxuz!unknown@unknown.invalid PRIVMSG #esoteric :hurrahForJava
< 1212093188 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :blergh
< 1212093189 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :AAAAAAue4njxuz: pleaseBurnInHell
< 1212093191 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :isHowItWouldLookBeforeYou'dSugarisedTheParser
< 1212093202 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: interestingButIThinkThatYouNeedaColon
< 1212093204 0 :AAAAAAue4njxuz!unknown@unknown.invalid PRIVMSG #esoteric :ehird: pleaseRecogniseSarcasm
< 1212093204 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :becauseToStartWithAllTokensAreSeparatedWithSpaces
< 1212093208 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :outputStream write: "Hello, world!"
< 1212093209 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: whereWouldThatBe?
< 1212093211 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :because otherwise it gets awkward
< 1212093214 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: you'reWrong
< 1212093218 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :functionsAreCurried
< 1212093226 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: oh, um, so it's not smalltalk-like then
< 1212093235 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :if you have a thing called a 'function' and you just nab it off an object ... NOT smalltalk-like
< 1212093236 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :youMightNotThinkSo
< 1212093238 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :smalltalk-like = message passing
< 1212093244 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :itIsMessagePassing
< 1212093256 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :whyCan'tObjectOrientationBeCurried
< 1212093274 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :curried?
< 1212093276 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :youPassAMessageAndIfItDoesn'tHaveEnoughArgumentsItGivesYouAFunctionSoYouCanSupplyTheRest
< 1212093280 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :LikeHaskellDoes
< 1212093293 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :wow
< 1212093299 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :so many upper case chars
< 1212093300 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :on irc
< 1212093302 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :just wow
< 1212093310 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :it's unnatural!
< 1212093317 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes agreed
< 1212093319 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in Smalltalk, you can write 2 + 2
< 1212093324 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :where would we be if this contined!?
< 1212093330 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that sends a + message to 2, with the argument 2
< 1212093333 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but it's really 2 +: 2
< 1212093338 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :sugarised slightly
< 1212093359 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :in Feather, assuming you're using a boxed number 2 (you would be normally but you need to deal with unboxed objects during bootstrapping)
< 1212093362 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you can write 2 + 2
< 1212093387 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and that sends a + message to the number 2 and gets back a function that adds 2 to a number
< 1212093388 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: an idea
< 1212093389 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :FeatherOS
< 1212093390 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, go implement it, in INTERCAL
< 1212093392 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not everything is an object, unlike in Feather
< 1212093394 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :its inevitable really, ais523
< 1212093402 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you do low-level stuff in the bootstrap
< 1212093403 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :actually, I was going to bootstrap it in Scheme
< 1212093406 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and then applications 'clone' the language
< 1212093409 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: THE ANSWER SHOULD BE OBVIOUS
< 1212093412 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and bootstrap away the unsafe operations
< 1212093416 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric ::D
< 1212093417 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, eh?
< 1212093424 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: also: in place kernel updates!
< 1212093430 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, ok
< 1212093433 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: oh, there was something I was going to ask you
< 1212093438 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :ACTION is a bit delayed
< 1212093442 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you know Haskell has unsafePerformIO
< 1212093454 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oerjan, oh right I see
< 1212093456 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the "unsafe" indicating that you're perverting the structure of the language and so should never use it?
< 1212093492 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what should I use as a prefix for an operation which is so ridiculously unsafe that the only use that should ever be used for it is writing safety checks on it to produce a new function that is less unsafe?
< 1212093494 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, how do you perform IO safely then?
< 1212093506 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: strict evaluation
< 1212093520 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the boring way
< 1212093523 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :at least, that's for output
< 1212093527 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: ummmmmmm
< 1212093529 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :input is considerably more interesting
< 1212093532 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :you have to set up callbacks
< 1212093533 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :holyFuckingShit
< 1212093543 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :or
< 1212093559 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :yourMotherWasAWhoreAreYouSufficientlyOffendedGoodNowYoullNeverTouchThisFunctionBecauseItInsultedYourMotherGoodnight
< 1212093631 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :incidentally, the function itself is sort of like become: in Smalltalk, but retroactive to the start of the program and also, whenever you use it you have to ensure that the retroactively modified program doesn't use it for the same purpose again
< 1212093648 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, veryUnsafe
< 1212093648 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :i.e. the only possible use for the function is to modify the program in such a way that you didn't use it
< 1212093649 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :maybe?
< 1212093652 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :or
< 1212093653 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: anyway
< 1212093657 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :internalOnly
< 1212093657 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :i'd just do unsafe
< 1212093659 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :veryUnsafeBecome seems to fit well
< 1212093661 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ask #haskell
< 1212093665 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oh wit
< 1212093667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :*wait
< 1212093668 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :its not for haskell
< 1212093675 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: well, i'd call it primitiveX
< 1212093679 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :since presumably it's an internal function
< 1212093682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and NOT to be called by user code
< 1212093689 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes, not to be called by user code
< 1212093691 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :just by the prelude
< 1212093692 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: primitiveBecome
< 1212093697 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Haskell uses # for internal things
< 1212093699 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, if it would just be used for internal, I'd say either, as ehird suggested primitive, but better: internalBecome
< 1212093703 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :e.g. unsafeCoerce# is the internal coercing magic
< 1212093704 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :rather than primitiveBecome
< 1212093707 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :it may be /mentioned/ by user code if you need to invent a different sort of safety check for it
< 1212093714 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: and I# is the primitive int wrapper
< 1212093721 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because there's more than one way to safise it
< 1212093894 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :for instance, if you're adding a method or property to an object, you can simply check if it exists and not add it if it does
< 1212093910 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that way, your retroactive modification prevents the same modification being made in the changed program
< 1212093944 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: want to see a dependently-typed stack based program?
< 1212093948 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it uses a type function
< 1212093956 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :sounds vaguely interesting
< 1212093963 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: http://pastebin.ca/raw/1033388
< 1212093979 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :an example of the type-function formatT:
< 1212093984 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"" formatT -> String
< 1212093986 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :wow, that's hard to read
< 1212093995 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"%d" formatT -> (Int -> String)
< 1212093999 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"%s" formatT -> (String -> String)
< 1212094009 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :"%s%d abc %s" formatT -> (String -> Int -> String -> String)
< 1212094022 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: its based on the printf from http://www.cs.chalmers.se/~augustss/cayenne/examples.html
< 1212094110 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: admittedly string processing is not something that a stack language excels in
< 1212094137 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :is it possible to define printf's type in any strongly typed language?
< 1212094143 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: um yes
< 1212094145 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I just did it.
< 1212094147 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :the type of some of the arguments depends on the value of one of them
< 1212094153 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: tada, that's what dependent types are
< 1212094157 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :dependent types: types that depend on values
< 1212094172 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: now you might ask -- what about 'format s 3'?
< 1212094179 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :How do we know that that is well typed until runtime?
< 1212094185 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: it's simple -- the type system makes you PROVE it!!
< 1212094195 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Just like in haskell which makes you prove things are well-typed
< 1212094201 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: For instance, take this function:
< 1212094207 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :myFoo xs = head xs
< 1212094208 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what if you're reading the format string from a file?
< 1212094213 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I just told you
< 1212094215 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you have to prove it
< 1212094219 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :now let me explain ;)
< 1212094221 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :myFoo xs = head xs
< 1212094223 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :what if xs = []?
< 1212094229 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :obviously, head [] is not well-typed
< 1212094232 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it makes no sense
< 1212094236 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :head operates on _non-empty lists_
< 1212094241 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ergo, the above is a type error
< 1212094241 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But:
< 1212094249 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :myFoo xs = if xs == [] then 3 else head xs
< 1212094251 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :that is fine
< 1212094318 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: now when you get into dependent types
< 1212094322 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it naturally leads to: Types == values.
< 1212094327 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Types are just values, values are just types.
< 1212094332 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The type language is the programming language.
< 1212094347 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: http://www.cs.chalmers.se/~augustss/cayenne/examples.html Take a look at the 'printf' example. It defines a function in the type system, PrintfType
< 1212094354 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and a function printf, in the value system
< 1212094360 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which utilizes PrintfType to get its type
< 1212094369 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and thus, printf "%d" "abc" gives you a type error.
< 1212094373 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :It's a beautiful paradigm and so natural
< 1212094416 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: There are a few problems .. compilation might not halt.
< 1212094423 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But if you do silly things in the type system that's your fault isn't it ;)
< 1212094539 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and then ais523 **DIED**
< 1212094546 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :not dead, doing something else
< 1212094556 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but I did read what you wrote
< 1212094558 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Feather, I hope.
< 1212094562 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :no, Agora
< 1212094573 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Agoreather
< 1212094578 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and it strikes me that your approach would probably work better in an interpreted language
< 1212094586 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Um no.
< 1212094600 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :The point is that you can have the static assurance of strong types; if it compilse it runs
< 1212094603 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :But it takes it one further
< 1212094607 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: well, I have considered a feathernomic; its defining feature would probably be that all rulechanges were retroactive to the start of the nomic
< 1212094613 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in that you can express _any_ constraint in the type system
< 1212094625 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and the type system helps you by forcing you to prove things that you define
< 1212094631 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which is analogous to .. functions!
< 1212094632 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :what if the typechecks are themselves badly typed?
< 1212094643 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: there's an infinite stack of types obviously
< 1212094654 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: think about it
< 1212094657 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :its just like expressions vs statements
< 1212094659 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :values vs types
< 1212094662 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you take regular, fine values
< 1212094663 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :yes
< 1212094667 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and then you add this weird extra language
< 1212094673 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :why not just add the same language on another layer?
< 1212094674 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but do you need a precompilation during which you determine the compilation is well-typed?
< 1212094678 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :which then has itself as a type layer
< 1212094682 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: well, basically, yes
< 1212094685 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it's like lisp macro expansion
< 1212094692 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :you compile down until you get the values compiled
< 1212094694 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and a preprecompilation during which you determine if that is well-typed?
< 1212094713 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :that's why I suggested doing it in an interpreted language: to avoid the infinite regress
< 1212094740 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: I think you are misguided. Implementations exist and the languages are developed actually.
< 1212094743 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :err, actively
< 1212094756 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :Agda: http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.HomePage
< 1212094760 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: Coq is also dependently typed
< 1212094769 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :well, I'm not sure how it would work, but presumably there's some method of avoiding the regress
< 1212094780 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :my guess is the higher levels are interpreted, and then it's compiled from there down
< 1212094823 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: rubbish
< 1212094825 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :of course not
< 1212094847 0 :Judofyr!unknown@unknown.invalid QUIT :
< 1212095586 0 :oerjan!unknown@unknown.invalid QUIT :"Good night"
< 1212095686 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :hmm... whenever I visit a Slashdot article and see that there are no comments, I'm disappointed that there are no comments to read and wait a while, refreshing
< 1212095689 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :is this the wrong reaction?
< 1212095732 0 :jix!unknown@unknown.invalid QUIT :"CommandQ"
< 1212095866 0 :Iskr!unknown@unknown.invalid QUIT :"Leaving"
< 1212095968 0 :jix!n=jix@dyndsl-080-228-184-244.ewe-ip-backbone.de JOIN :#esoteric
< 1212095971 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: yes, but I do it too
< 1212095997 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :besides, my karma's only marginally above excellent
< 1212096005 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, yes, you want to make a first comment!
< 1212096007 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :so it's not worth doing "FRIST PSOT!!!1" or whatever
< 1212096016 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: my karma on slashdot, iirc, is in the negatives
< 1212096023 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :ehird: how did you manage that?
< 1212096047 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, make a *good* first comment
< 1212096055 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :ais523: said some crap
< 1212096057 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :it was years ago.
< 1212096058 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :AnMaster: impossible, you have to spend thinking time to do that
< 1212096063 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :I don't like slashdot :-)
< 1212096068 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I've made good early comments, though, that have been moderated up to 5
< 1212096068 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ehird, nor do I
< 1212096076 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :and the article was blank when I started making them
< 1212096085 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :ais523, it was blank?
< 1212096086 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :?!
< 1212096089 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :but because I put thought into them there were something like 7 or 8 comments before mine
< 1212096115 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :oh you mean blank with comments
< 1212096138 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :I mean no comments, yes
< 1212096149 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :although if you're fast enough, and I have been sometimes, the read more... link is a 404
< 1212096164 0 :ais523!unknown@unknown.invalid PRIVMSG #esoteric :because the articles don't always come up at the same time on the main page and elsewhere
< 1212096185 0 :RedDak!n=dak@host126-85-dynamic.32-79-r.retail.telecomitalia.it JOIN :#esoteric
< 1212096534 0 :uvanta!unknown@unknown.invalid NICK :HanDongSeong
< 1212097697 0 :cherez1!unknown@unknown.invalid NICK :cherez
< 1212097835 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :hehe
< 1212098947 0 :olsner!unknown@unknown.invalid QUIT :"Leaving"
< 1212099351 0 :kar8nga!unknown@unknown.invalid PART #esoteric :?
< 1212099389 0 :BMeph!unknown@unknown.invalid QUIT :"Time for me to go home"
< 1212099419 0 :BMeph!n=chatzill@wsip-70-167-169-169.sd.sd.cox.net JOIN :#esoteric
< 1212099920 0 :jix!unknown@unknown.invalid QUIT :"CommandQ"
< 1212100013 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""
< 1212100476 0 :Corun!n=Corun@halls-129-31-72-183.hor.ic.ac.uk JOIN :#esoteric
< 1212101413 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection
< 1212102738 0 :BMeph!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer)
< 1212104419 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :what does ais's quit message do?
< 1212104436 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :mostly directed @ ais523
< 1212104454 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :oklofok: beats me
< 1212104458 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :try it
< 1212104480 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :put: (1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1"
< 1212104481 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :in a file
< 1212104483 0 :ehird!unknown@unknown.invalid PRIVMSG #esoteric :and run ick on it
< 1212104490 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :sounds icky
< 1212104598 0 :HanDongSeong!unknown@unknown.invalid QUIT :"If you're seeing this message, it's probably XChat's fault."