< 1085976446 0 :Toreun!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1085990399 0 :clog!unknown@unknown.invalid QUIT :ended < 1085990400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1086007765 0 :lament!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007765 0 :mooz-!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007766 0 :cmeme!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007766 0 :Taaus!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007766 0 :fizzie!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007766 0 :deltab!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007768 0 :edwinb!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086007807 0 :mooz-!~root@cs182082.pp.htv.fi JOIN :#esoteric < 1086007807 0 :lament!~lament@S01060050baab2c59.vc.shawcable.net JOIN :#esoteric < 1086007807 0 :edwinb!dcs3ecb@cs-186.dur.ac.uk JOIN :#esoteric < 1086007807 0 :cmeme!~cmeme@216.184.11.30.unused.swcp.com JOIN :#esoteric < 1086007807 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1086007807 0 :deltab!~deltab@espians.com JOIN :#esoteric < 1086007807 0 :fizzie!fis@sesefras.tky.hut.fi JOIN :#esoteric < 1086008856 0 :edwinb!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :lament!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :mooz-!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :fizzie!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :Taaus!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :cmeme!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :deltab!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1086008856 0 :fizzie!fis@sesefras.tky.hut.fi JOIN :#esoteric < 1086008856 0 :deltab!~deltab@espians.com JOIN :#esoteric < 1086008856 0 :Taaus!~T@cpe.atm0-0-0-196156.0x3ef21ebe.boanxx5.customer.tele.dk JOIN :#esoteric < 1086008856 0 :cmeme!~cmeme@216.184.11.30.unused.swcp.com JOIN :#esoteric < 1086008856 0 :lament!~lament@S01060050baab2c59.vc.shawcable.net JOIN :#esoteric < 1086008856 0 :mooz-!~root@cs182082.pp.htv.fi JOIN :#esoteric < 1086008856 0 :edwinb!dcs3ecb@cs-186.dur.ac.uk JOIN :#esoteric < 1086008856 0 :kosmikus1away!~andres@adorp.cs.uu.nl JOIN :#esoteric < 1086008856 0 :kosmikus|away!unknown@unknown.invalid QUIT :Connection reset by peer < 1086012354 0 :grumpy_old_one!~user@bohica.de JOIN :#esoteric < 1086018479 0 :kosmikus1away!unknown@unknown.invalid NICK :kosmikus < 1086025395 0 :Toreun!~Toreun@ool-45738c44.dyn.optonline.net JOIN :#esoteric < 1086025408 0 :Toreun!unknown@unknown.invalid QUIT :Client Quit < 1086027828 0 :Toreun!~Toreun@ool-45738c44.dyn.optonline.net JOIN :#esoteric < 1086030280 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :why do you suppose it is that nowadays we only seem to speak when that 'keymaker' person is here? < 1086030304 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :he's the life of the party. < 1086031603 0 :Toreun!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1086034182 0 :Toreun!~Toreun@ool-45738c44.dyn.optonline.net JOIN :#esoteric < 1086035675 0 :Keymaker!nobody@212-246-180-186.dial.tpo.fi JOIN :#esoteric < 1086035683 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hi-ya < 1086035707 0 :mtve!unknown@unknown.invalid PRIVMSG #esoteric :hello < 1086035710 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1086035852 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :evening. < 1086035855 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :evening < 1086035876 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :by the way, [enter the usual question here]? < 1086035973 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :[enter the usual response here]. < 1086036023 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :[enter the usual 'too bad'-reply here] < 1086036155 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmmm, can anyone suggest any good science fiction or cyberpunk books that focus on robots? < 1086036611 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :anything by asimov. < 1086036625 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :well, maybe not anything, but something. < 1086036637 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmmm < 1086036690 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I'm bad at remembering the names of his especially good books. maybe mooz could recommend? < 1086036761 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :let's hope so :) < 1086038140 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :he's probably not home.. < 1086038187 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :well, he was home just few hours ago, I don't see how he might have managed to disappear since then. < 1086038191 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :but maybe you're right. < 1086038269 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :heh < 1086038701 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :hmph, my usb support went broken. < 1086038720 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Jun 1 02:31:30 zark kernel: usb 3-2: new full speed USB device using address 9 < 1086038723 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :Jun 1 02:31:30 zark kernel: usb 3-2: device not accepting address 9, error -71 < 1086038727 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :worked just fine for addresses <8. < 1086038776 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :too bad, any idea what could be wrong? < 1086038843 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :nope. well, maybe the device dislikes addresses that are more than three bits long. < 1086039030 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I know for a fact that dodongo dislikes smoke. < 1086039172 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i don't see.. :\ < 1086039280 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :that's a "fact" that I've been unable to get out of my head lately. < 1086039327 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1086039343 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :where did you get that fact? < 1086039537 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I don't know. < 1086039546 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :maybe it was a dream? < 1086039605 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) most probably < 1086039679 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :google found me http://dodongosmoke.ytmnd.com/ < 1086039777 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ah, i see now < 1086039779 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1086039875 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :kinda off-topic; my wrist is really hurting, i don't know why, it's been hurting the whole day :( < 1086040194 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :so had mine yesterday, but it went away after I slept. < 1086040211 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hopefully this goes away too < 1086040216 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :maybe too much keyboarding < 1086040225 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :..or too few.. < 1086040236 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :23:40:11 < SLi> Paitsi nykynäppiksiä ei meinaa uskaltaa ostaa kun niissä lukee aina jotain "Varoitus: Useiden asiantuntijoiden mielestä MINKÄ TAHANSA näppäimistön käyttö saattaa PERUUTTAMATTOMASTI TUHOTA puolet aivosoluistasi vuorokauden välein." < 1086040243 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :sorry for the language. < 1086040275 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric ::) < 1086040294 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :I don't know any robot books :/ < 1086040301 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1086040338 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i don't either, at least not many, but i'll try to find out some.. < 1086040342 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :except some by asimov of course < 1086040350 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :tell < 1086040351 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :well, there's a short story collection by asimov called 'robots of dawn' (on this book-cd for example), I'd assume some of the stories are about robots. < 1086040376 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :"I, robot" for example is a very known robot story < 1086040378 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :well, judging by the name . . . < 1086040387 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i should read that < 1086040410 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :they're making a movie of it < 1086040412 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i saw nice looking trailer about an upcoming movie with the same title, < 1086040422 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :(too slow fingers) < 1086040443 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :seems promising < 1086040527 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :other asimov collections (title not necessary containing the word 'robot') have related stories too. < 1086040538 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1086040628 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :do androids dream of electric sheep? < 1086040643 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :I think they do. < 1086040657 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :the book's a lot better than the movie. < 1086040705 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :sounds interesting < 1086040721 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :what kind o story it is? < 1086040748 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :the movie's called 'blade runner', you may have heard of it. < 1086040757 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1086040761 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :even seen it < 1086040792 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :book's by philip k. dick, who has written lots of excellent books, imho. not about robots though. < 1086040819 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmmm, name sounds familiar, maybe i've read some books by him < 1086040860 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :robots suck. < 1086040886 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :But do read Karel Capek. < 1086040903 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmm, what kind of books? < 1086040907 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :well, some titles by him include _ubik_, _a skanner darkly_, _rautavaara's case_, _second variety_ (this one was a collection of short stories, I think, and the 'second variety' story was related to robots), and others. < 1086040922 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :ubik's wacky < 1086040952 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :for good less-known scifi, read rupert goodwins' "weird dreams" < 1086040957 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :oh yes. < 1086040969 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i'll try to keep in mind those names < 1086040980 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :weird dreams is available online only < 1086040986 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :ok < 1086041039 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i'll search it sometime, probably if i would now, i would probably find some freaky bizarre sites only < 1086041063 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :www.geocities.com/jeremyalansmith/level9/ < 1086041068 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :oh thanks < 1086041076 0 :mooz-!unknown@unknown.invalid PRIVMSG #esoteric :that's where it legally exists, at least < 1086041960 0 :fizzie!unknown@unknown.invalid PRIVMSG #esoteric :reading the 'wreckers' story. < 1086042955 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1086042959 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i think < 1086042973 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :i'll go to sleep.. ZzzZzzzzZz < 1086042988 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :good night < 1086043011 0 :Keymaker!unknown@unknown.invalid QUIT : < 1086043046 0 :calamari_!JeffryJohn@as07-pho-az-205-186-110-117.rasserver.net JOIN :#esoteric < 1086043051 0 :calamari_!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1086043080 0 :Toreun!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1086043768 0 :Toreun!unknown@unknown.invalid PRIVMSG #esoteric :how's your c compiler coming, calamari? < 1086044081 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :hm < 1086044086 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i wonder how a language would look < 1086044090 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :in which you have the functions: < 1086044095 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :S, K, I and XOR < 1086044425 0 :calamari_!unknown@unknown.invalid PRIVMSG #esoteric :toreun: haven't worked on it.. my wife and I went up to the mountains camping last night.. was fun :) < 1086044460 0 :Toreun!unknown@unknown.invalid PRIVMSG #esoteric :lament: S, K, and I? < 1086045134 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :lament: why XOR? well, why I? < 1086045196 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :Toreun: http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi?query=combinator&action=Search < 1086046564 0 :Toreun!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1086046628 0 :calamari_!unknown@unknown.invalid PRIVMSG #esoteric :bbl.. need food < 1086046640 0 :calamari_!unknown@unknown.invalid QUIT :"Leaving" < 1086046641 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :kosmikus: heh! < 1086046651 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :kosmikus: i'm not sure what XOR would do, though. < 1086046666 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :kosmikus: I guess S could be like true and K like false, and ditch I... < 1086046784 0 :Toreun!~Toreun@ool-45738c44.dyn.optonline.net JOIN :#esoteric < 1086046934 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :ah, so the XOR should operator on the combinators? < 1086046941 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :well of course < 1086046945 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :but i have no idea how < 1086046992 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :why do you want the XOR at all? just for redundancy and obfuscation? ;) < 1086047187 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :of course. < 1086047189 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :ok screw xor < 1086047194 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :the basic idea is: < 1086047206 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :find some nice way to map true/false to ski-expressions < 1086047276 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :nicer than encoding them in untyped lambda calculus, and translating that to SK-expressions? < 1086047362 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what < 1086047539 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1086047677 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1086047837 0 :kosmikus!unknown@unknown.invalid PRIVMSG #esoteric :which part of my original question should I explain in more detail? < 1086047966 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :i don't understand what you mean by 'encoding them in untyped lambda calculus and translating that to sk-expressions'