< 1173312781 0 :sebbu2!unknown@unknown.invalid QUIT :Client Quit < 1173314405 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :ell < 1173314994 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :o? < 1173315002 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :or as in "bloody ell" < 1173315005 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :? < 1173315273 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :Unspecified < 1173315428 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :yay, recursion without using registers < 1173315445 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :1[r 2*p r dx]dx < 1173317068 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :neato < 1173317171 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :dc is sweet < 1173317845 0 :crathman_!n=chatzill@cpe-76-185-186-143.tx.res.rr.com JOIN :#esoteric < 1173317869 0 :crathman_!unknown@unknown.invalid NICK :crathman < 1173317872 0 :crathman!unknown@unknown.invalid QUIT :Remote closed the connection < 1173317999 0 :graue!i=graue@ip68-100-130-21.dc.dc.cox.net JOIN :#esoteric < 1173322543 0 :calamari!n=calamari@ip72-200-73-175.tc.ph.cox.net JOIN :#esoteric < 1173322665 0 :GreaseMonkey!n=thematri@210-86-106-171.jetstream.xtra.co.nz JOIN :#esoteric < 1173329474 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173330162 0 :goban!n=whyso@ip68-107-157-108.hr.hr.cox.net JOIN :#esoteric < 1173330509 0 :cmeme!unknown@unknown.invalid QUIT :"Client terminated by server" < 1173330519 0 :cmeme!n=cmeme@boa.b9.com JOIN :#esoteric < 1173330925 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1173331122 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1173331129 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :im working on an IRC bot :D < 1173331184 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :how exciting. < 1173331190 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :*yawn* < 1173331667 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Anybody got an Intel OS X box that wants to help me port crosslibc? < 1173331717 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :My suspicion is that it works as-is, since OS X uses the same syscall format as the rest of the BSD family. < 1173331834 0 :GreaseBot!n=GreaseBo@210-86-106-171.jetstream.xtra.co.nz JOIN :#esoteric < 1173331856 0 :GreaseBot!unknown@unknown.invalid PRIVMSG #esoteric :Hehe, I'm only a slavebot for now :D < 1173331872 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :#PRIVMSG #esoteric :test < 1173331873 0 :GreaseBot!unknown@unknown.invalid PRIVMSG #esoteric :test < 1173331889 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :ok, so i now have a bot. cool? < 1173331891 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :#QUIT Hahaha < 1173331899 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric ::( < 1173331900 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :nice try < 1173331907 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :but it's nick-dependent < 1173331920 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :#QUIT :OK GregorR, I give up < 1173331920 0 :GreaseBot!unknown@unknown.invalid QUIT :Client Quit < 1173331941 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :wtf? why didn't i get a quit message? < 1173331960 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Go look it up on the freenode FAQ. < 1173331967 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Everybody asks that the first time they write a bot :P < 1173332021 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :do i have to register to get a quit message? < 1173332038 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Go look it up on the freenode FAQ. < 1173332039 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Everybody asks that the first time they write a bot :P < 1173332151 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :i can't find the question :( < 1173332352 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :IIR, basically: If you're not registered, you need to be on for a few minutes before it will allow quit messages, and also certain activities cause it to penalize that time. < 1173332491 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :*IIRC < 1173332495 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I hate this keyboard X_X < 1173332929 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :GregorR: I have an intel-based mac < 1173332972 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: If you'd like to help, one of two options: Either compile a few things for me and see if they run, or give me SSH so I can do the same. < 1173333023 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hand me a tar and I'll take a crack at compiling its contents < 1173333182 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :[uploading] < 1173333202 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :http://www.codu.org/rtload-r10.tar.bz2 < 1173333221 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Just 'make' to compile rtload, then: ./rtload test-xlibc.elf < 1173333227 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Should say Hello, world 1! I believe. < 1173333237 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :alright, one sec < 1173333249 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :[If it segfaults after that, don't worry about it, rtload is still a bit funky :P ] < 1173333317 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :hrm.. < 1173333319 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :wads-5-232-13:~/Desktop/rtload-r10 Rodger$ make < 1173333319 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c rtload.c -o rtload.o < 1173333320 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c ldrs.c -o ldrs.o < 1173333320 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :gcc -g -DRTLOAD_STATICELF -DRTLOAD_AOUT -c bbuffer.c -o bbuffer.o < 1173333320 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :bbuffer.c: In function 'bbuffer': < 1173333320 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :bbuffer.c:143: error: PIC register 'ebx' clobbered in 'asm' < 1173333321 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :make: *** [bbuffer.o] Error 1 < 1173333343 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Hm, apparently Mac OS X does all code as PiC ... < 1173333345 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I can fix that. < 1173333417 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Whoops - hahaha, it doesn't even actually clobber it, it just claims to :P < 1173333437 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :... meaning? < 1173333453 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :In bbuffer.c, on line 118, remove: , "ebx" < 1173333501 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :so the line is just < 1173333502 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric : : "eax",); \ < 1173333504 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :? < 1173333511 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :No comma ther < 1173333518 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ah, alright < 1173333526 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :that's what I was about to ask < 1173333543 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I did put a comma in what I told you to remove ;) < 1173333550 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :oh < 1173333572 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :it builds cleanly now, but then I get this: < 1173333573 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :wads-5-232-13:~/Desktop/rtload-r10 Rodger$ ./rtload test-xlibc.elfBus error < 1173333587 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Bus error ... always a nice one :P < 1173333589 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :there's a newline in there somewhere... < 1173333603 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :what next, chief? < 1173333675 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I'll be back in a few minutes ;) < 1173333681 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1173333689 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Unfortunately, debugging rtload and crosslibc is about as big of a PITA as there is >_> < 1173333699 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :I can only imagine < 1173333807 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :wow- not a bad deal: http://www.woot.com/ < 1173333869 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :pop some more ram and a video card in that thing and it'd be a damn decent machine < 1173333904 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :and considering the parts, it wouldn't be easier to build one for cheaper < 1173333912 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :*easy < 1173334254 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :afk, food < 1173334372 0 :Arrogant!i=Arrogatn@121.orlando-09rh15-16rt.fl.dial-access.att.net JOIN :#esoteric < 1173334375 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION reappears.
< 1173334458 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :RodgerTheGreat: Do you want to be indoctrinated into the crosslibc cult [help debug where that error is]? < 1173334492 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :erm... well, I'm no C-coder myself- I'm not sure how much of a help I could be < 1173334522 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :You could give me SSH ;) < 1173334556 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :nothing personal, dude, but I'm not in the habit of giving random people from the internet shell access to my machine < 1173334567 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :if I still had my backup box, I'd say have at it < 1173334600 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :but one of my roommate's friends gave that computer a bath, and it has mysteriously ceased working < 1173334604 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :if you get my meaning < 1173334609 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Heh < 1173335715 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1173335888 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :back < 1173336887 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :'night all- GregorR: if you need anything done, I'll be here most of tomorrow < 1173337813 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1173339617 0 :Arrogant!unknown@unknown.invalid QUIT :"Leaving" < 1173340799 0 :clog!unknown@unknown.invalid QUIT :ended < 1173340800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1173341393 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :my bot works < 1173341406 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :and it's pretty cool < 1173341409 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :wanna see? < 1173341761 0 :jix__!n=jix@195.37.106.60 JOIN :#esoteric < 1173342222 0 :jix__!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1173342313 0 :GreaseMonkey!unknown@unknown.invalid PRIVMSG #esoteric :night everyone < 1173342406 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"I should make more bots. It's fun. Roger_The_Bum, nice try, but you use SupyBot. And that's generic. Generic bots are kinda g < 1173343657 0 :helios_!i=helios@peach.n1.helzilla.de JOIN :#esoteric < 1173344703 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Well, I think I am finished writing obscenely inefficient programs. My computability theory homework is finished. < 1173344779 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I really do mean obscenely inefficient. How about f(n,n) runtimes where f(0,y) = y and f(x+1,y) = 2^f(x,y) ? < 1173344786 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :on purpose, I assume. :) < 1173344812 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :no, it's just that they don't matter, so we ignore the runtime < 1173344818 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :all that matters is computability < 1173344826 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :oh. < 1173344838 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that's not even Ackermann. < 1173344878 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :I think there are some ackerman runtimes around too. < 1173344914 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :i suppose if you do complexity theory you might have to do it again. < 1173344924 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Want to recurse? Just make your program a quine and include a universal interpreter whereever recursion is required. < 1173344932 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :he < 1173344932 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1173344966 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and then it _definitely_ would be on purpose. < 1173344974 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :see here for example: http://www.dur.ac.uk/s.s.dantchev/Teaching/ATC-CT/ < 1173344995 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :want to make a datastructure? well the only type available is Nat, but that's ok... < 1173345033 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and the only operation is Succ? :) < 1173345039 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :you just do = 2^x*(2*y + 1) - 1 < 1173345050 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: no, you have limited predecessor too < 1173345061 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :also JNZ < 1173345086 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :and a clever macro system that is not too bad at replacing subroutines < 1173345088 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Minsky machines < 1173345130 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :no indexing of course < 1173345150 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes to breakfast
< 1173346702 0 :jix__!n=jix@195.37.106.60 JOIN :#esoteric < 1173346917 0 :sebbu!n=sebbu@ADijon-152-1-105-45.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1173349019 0 :helios_!unknown@unknown.invalid QUIT :"Leaving" < 1173349289 0 :jix__!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1173350104 0 :goban!unknown@unknown.invalid QUIT :Remote closed the connection < 1173350518 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173351181 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173351195 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173351217 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunl < 1173351221 0 :nazgjunl!unknown@unknown.invalid NICK :nazgjunk < 1173353040 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173353308 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1173353881 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173353937 0 :UpTheDownstair!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173354609 0 :oerjan!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173355466 0 :nazgjunk!unknown@unknown.invalid QUIT :Client Quit < 1173361261 0 :calamari!n=calamari@ip72-200-73-175.tc.ph.cox.net JOIN :#esoteric < 1173363743 0 :jix__!n=jix@dyndsl-091-096-039-004.ewe-ip-backbone.de JOIN :#esoteric < 1173364510 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1173364585 0 :Arrogant!i=Arrogatn@182.orlando-06-08rs.fl.dial-access.att.net JOIN :#esoteric < 1173365751 0 :jix__!unknown@unknown.invalid NICK :jix < 1173370863 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1173371030 0 :jix!n=jix@dyndsl-091-096-039-004.ewe-ip-backbone.de JOIN :#esoteric < 1173374308 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1173374323 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :can i find the list of argument a function need somehow? < 1173374323 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :eh < 1173374326 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :in python < 1173374328 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*arguments < 1173374333 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :at runtime of course < 1173374344 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*needs < 1173375902 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :there's foo.func_code_co_argcount < 1173375926 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :and foo.func_code.co_varnames < 1173376294 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :__import__("pydoc").inspect.getargspec(my_funx) was what #python told me < 1173376301 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :that seems to work fine < 1173376345 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :that thing probably uses the fields i mentioned :) < 1173376591 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173376759 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1173377029 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :yeah, i thought that might be the case :P < 1173377050 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but it's not important, as long as it works < 1173379245 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173379366 0 :nazgjunk!unknown@unknown.invalid QUIT :Nick collision from services. < 1173379370 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1173380076 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173380087 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173380336 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173380389 0 :UpTheDownstair!unknown@unknown.invalid QUIT :Connection reset by peer < 1173381086 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173381107 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173381200 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173381265 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173381581 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173381607 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173382176 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173382236 0 :nazgjunk!unknown@unknown.invalid QUIT :Connection reset by peer < 1173382255 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1173382347 0 :ShadowHntr!i=sentinel@wikipedia/Shadowhntr JOIN :#esoteric < 1173382884 0 :sebbu2!n=sebbu@ADijon-152-1-72-228.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1173383851 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173383891 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173383981 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1173384384 0 :sebbu!unknown@unknown.invalid QUIT :Connection reset by peer < 1173385052 0 :UpTheDownstair!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173385111 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173385131 0 :UpTheDownstair!unknown@unknown.invalid NICK :nazgjunk < 1173386223 0 :nazgjunk!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1173386951 0 :RobHu!unknown@unknown.invalid QUIT :"leaving" < 1173387415 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i think hq9 should archive turing completeness with X so that X prevents execution of h, q and 9 but h still returns "hw" in the stream and 9 returns the number 9, q somehow applies two thing together so that it is possible to combine hello worlds and 9's into something sensible < 1173387429 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'm sure i soon get an idea how to do this :\ < 1173387440 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*thigs < 1173387442 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :*things < 1173387469 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :X would thus be the opposite of unlambda's ` (maybe) < 1173388485 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :what's the opposite of application? < 1173388506 0 :Arrogant!unknown@unknown.invalid PRIVMSG #esoteric :displication < 1173388641 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well, in application you give the function some arguments... so in displication you make (\a -> f) where f is the function to be displicated < 1173388643 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i'd say < 1173388694 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :so H will not be executed since it is now required to get an argument before outputting Hello, world < 1173388754 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :X9 -> (\a->9) < 1173388754 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :XXH -> (\a->(\a->H)) < 1173388762 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i still have no idea what you can do with this < 1173388766 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1173388901 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :so, delay < 1173388913 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :maybe. < 1173389199 0 :jix!unknown@unknown.invalid QUIT :"Bitte waehlen Sie eine Beerdigungnachricht" < 1173389947 0 :Rugxulo!i=icechat5@adsl-065-013-115-246.sip.mob.bellsouth.net JOIN :#esoteric < 1173389977 0 :Rugxulo!unknown@unknown.invalid PART #esoteric :? < 1173390261 0 :nazgjunk!n=htitan@wikipedia/Nazgjunk JOIN :#esoteric < 1173390759 0 :Sgeo!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1173392267 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1173392891 0 :Arrogant_!i=Arrogatn@160.orlando-04-05rs.fl.dial-access.att.net JOIN :#esoteric < 1173393037 0 :Arrogant_!unknown@unknown.invalid QUIT :Client Quit < 1173393402 0 :nazgjunk!unknown@unknown.invalid QUIT :"Leaving" < 1173393790 0 :sebbu2!n=sebbu@ADijon-152-1-40-83.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1173394390 0 :Arrogant!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1173394891 0 :Sgeo!unknown@unknown.invalid QUIT :"Leaving" < 1173394904 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1173395691 0 :sebbu2!unknown@unknown.invalid QUIT :"@+" < 1173396472 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :hmmm < 1173396474 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :http://en.wikipedia.org/wiki/Lagrange_inversion_theorem