< 1206489604 0 :timotiis_!unknown@unknown.invalid QUIT :"leaving" < 1206491801 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric ::cry: http://lucis.net/stuff/clarke/star_clarke.html < 1206492083 0 :vixey!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206493345 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206493359 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1206493784 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1206493924 0 :jix!unknown@unknown.invalid QUIT :"CommandQ" < 1206494243 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1206494394 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: why cry? < 1206494411 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :is it DON'T READ THIS THING I PASTED IT WILL BE A WASTE OF TIME cry? < 1206494520 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :no < 1206494529 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :it is worth reading < 1206494534 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :well, I liked it at least < 1206494641 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :i shall read i then, after my sleepz < 1206494644 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :night -> < 1206494995 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :zzzz < 1206501954 0 :atsampso1!n=ats@7hw.poik.net JOIN :#esoteric < 1206502363 0 :atsampson!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1206504197 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :http://www.nonlogic.org/dump/images/1206500570-physed.png < 1206504200 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :^ new comic! < 1206505151 0 :GreaseMonkey!n=saru@219-89-58-116.dialup.xtra.co.nz JOIN :#esoteric < 1206506691 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric :...and no one cares, apparently < 1206506845 0 :RodgerTheGreat!unknown@unknown.invalid PRIVMSG #esoteric ::< < 1206507350 0 :Overand!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206507353 0 :Overand!i=overand@dissociative.net JOIN :#esoteric < 1206508921 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1206510570 0 :adu!n=andrew@pool-71-178-14-80.washdc.fios.verizon.net JOIN :#esoteric < 1206511508 0 :GreaseMonkey!unknown@unknown.invalid QUIT :"shitgtg" < 1206513224 0 :RodgerTheGreat!unknown@unknown.invalid QUIT : < 1206514146 0 :vixey!n=vicky@amcant.demon.co.uk JOIN :#esoteric < 1206518399 0 :clog!unknown@unknown.invalid QUIT :ended < 1206518400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1206519229 0 :Judofyr!unknown@unknown.invalid QUIT :Remote closed the connection < 1206519237 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1206519432 0 :Judofyr_!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1206519432 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206519468 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Anyone thar? < 1206522098 0 :adu!unknown@unknown.invalid QUIT :"Computer went to sleep" < 1206524661 0 :olsner!unknown@unknown.invalid QUIT :"Leaving" < 1206526355 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :I IS < 1206526361 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :DEAL WITH IT < 1206527373 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: yeah quite fun < 1206527380 0 :oklofok!unknown@unknown.invalid PRIVMSG #esoteric :the story < 1206528666 0 :Judofyr_!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206528686 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1206530309 0 :Judofyr!unknown@unknown.invalid QUIT :Remote closed the connection < 1206530345 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1206530934 0 :jix!n=jix@dyndsl-091-096-040-133.ewe-ip-backbone.de JOIN :#esoteric < 1206533860 0 :vixey`!n=vicky@amcant.demon.co.uk JOIN :#esoteric < 1206534004 0 :vixey!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1206534849 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric : Anyone thar? < 1206534851 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :yes < 1206535990 0 :vixey`!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206536959 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :. < 1206537705 0 :Judofyr!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206537741 0 :Judofyr!n=Judofyr@cE699BF51.dhcp.bluecom.no JOIN :#esoteric < 1206537761 0 :puzzlet!unknown@unknown.invalid QUIT :Remote closed the connection < 1206537769 0 :puzzlet!n=puzzlet@147.46.241.160 JOIN :#esoteric < 1206538602 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :Is there an actual proof of the jot-CL translation? < 1206538615 0 :slereah__!unknown@unknown.invalid PRIVMSG #esoteric :The application function doesn't seem very obvious to me < 1206542008 0 :slereah__!unknown@unknown.invalid QUIT :Remote closed the connection < 1206542024 0 :slereah__!n=slereah@ANantes-252-1-69-1.w81-250.abo.wanadoo.fr JOIN :#esoteric < 1206542402 0 :RodgerTheGreat!n=Rodger@wads-5-233-27.resnet.mtu.edu JOIN :#esoteric < 1206543483 0 :oklofok!unknown@unknown.invalid NICK :oklopol < 1206543757 0 :RedDak!n=dak@87.18.81.172 JOIN :#esoteric < 1206545358 0 :slereah_!n=slereah@ANantes-252-1-69-1.w81-250.abo.wanadoo.fr JOIN :#esoteric < 1206545422 0 :slereah__!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206550073 0 :timotiis!n=timotiis@jfkew.plus.com JOIN :#esoteric < 1206551144 0 :marshmallows!n=vicky@amcant.demon.co.uk JOIN :#esoteric < 1206552200 0 :Tritonio_!n=Tritonio@150.140.227.232 JOIN :#esoteric < 1206555890 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1206556048 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1206559244 0 :sebbu!n=sebbu@ADijon-152-1-88-129.w81-49.abo.wanadoo.fr JOIN :#esoteric < 1206559325 0 :olsner!n=salparot@cust.fiber-lan.vnet.lk.85.194.50.194.stunet.se JOIN :#esoteric < 1206560127 0 :RedDak!n=dak@87.18.81.172 JOIN :#esoteric < 1206563912 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1206565536 0 :AnMaster!unknown@unknown.invalid PRIVMSG #esoteric :slereah_, of what? < 1206565759 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Jot. < 1206565774 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It is proved TC by correspondance with Combinatory Logic < 1206565793 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But the function used for application doesn't seem all that obvious to me. < 1206566216 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :oh, is that Combinatory Logic I hear? < 1206566231 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Indeed it is. < 1206566318 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :hmm, yeah, that's pretty obfuscated < 1206566355 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Problem is, Jot doesn't have a priority operator. < 1206566378 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :So I have no idea how 1 functions as the apply operator in the general case. < 1206566732 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :[f1] -> \xy -> [f](xy) => [1] -> \xy -> xy < 1206566741 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it basically seems to be some kind of prefix notation < 1206566801 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :The problem I have is, 11100 for k doesn't obviously means that 11110011100 will translate to `kk < 1206566814 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :it doesn't? < 1206566825 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Well, it does apparently < 1206566841 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :But it doesn't come up as obvious to me. < 1206566843 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :you mean, it's not obvious *to you*? :P < 1206566851 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Exactly. < 1206566855 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :eh, so you said at the same time < 1206566857 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric ::P < 1206566939 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :The problem is that the meaning of a string depends on what's before it. < 1206567192 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what? < 1206567201 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :isn't jot's notation just the unlambda notation < 1206567235 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :that's iota < 1206567258 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :...aren't both? < 1206567265 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :isn't it all unlambda < 1206567270 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i have to check now < 1206567270 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :lofl < 1206567272 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Nah. < 1206567279 0 :olsner!unknown@unknown.invalid PRIVMSG #esoteric :unlambda is [`ski] < 1206567281 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Jot doesn't have an apply operator < 1206567343 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :umm, isn't jot the exact same as iota? < 1206567386 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :jot's 1 doesn't actually have a meani < 1206567387 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :ng? < 1206567405 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i was assuming it's the combinator from iota, but here just represented with binary < 1206567405 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Empty string is i < 1206567416 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :well yes, of course < 1206567434 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :F 1 is ^xy.F(xy) < 1206567434 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :or not of course < 1206567443 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :F 0 is FSK < 1206567479 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :F 1, where F is the beginning of the program? < 1206567483 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :It's easy enough to build S and K from the empty string, but I'm not sure what happens in the general case, since it always depends on what's before < 1206567484 0 :slereah_!unknown@unknown.invalid PRIVMSG #esoteric :Yes. < 1206573790 0 :RedDak!unknown@unknown.invalid QUIT :Remote closed the connection < 1206573940 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION goes to bed
< 1206574083 0 :jix!unknown@unknown.invalid QUIT :"CommandQ"