< 1169772051 0 :ihope!n=ihope@71.205.100.59 JOIN :#esoteric < 1169774020 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :ACTION finds himself coming closer and close to making.... smalltalk < 1169774029 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :smalltalk with like... some added perks... and no classes. < 1169774066 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Smalltalk, eh? < 1169774075 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :It's pretty neat. < 1169774091 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :syntax wise... I'm removing all the colons... and just using parenthesis... makes it look eerily lispish. < 1169774098 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Write a typed first-order logic evaluator for me. kthxbai < 1169774110 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :... < 1169774127 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :I haven't seen one yet. Should be easy. < 1169774203 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Assuming all your types are finite sets. < 1169774227 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Otherwise termination is going to be a problem. < 1169774311 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :If it always terminated, it wouldn't be Turing-complete. < 1169774335 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :The problem is that a forall on an infinite set would _never_ terminate. < 1169774342 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :....so? < 1169774359 0 :CakeProphet!unknown@unknown.invalid PRIVMSG #esoteric :a while True loop will never terminate either. < 1169774366 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :If true. Or an exists, if false. < 1169774396 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :oerjan: that's where proving comes in. < 1169774420 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :It doesn't take many brains to tell whether "all natural numbers are natural numbers" is true or false. < 1169774422 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :I see. And then we are getting into undecidability. < 1169774428 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yep. < 1169774453 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :'Course, you will have to settle for undecidability in some cases. Nontermination would be fine then, eh? < 1169774506 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :Writing an evaluator that searches for proofs is "easy". Having it use a reasonable amount of time is hard. < 1169774741 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Yeah. < 1169775568 0 :sebbu!unknown@unknown.invalid QUIT :"Leaving" < 1169777668 0 :ihope!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1169781134 0 :CakeProphet!unknown@unknown.invalid QUIT :"haaaaaaaaaa" < 1169781166 0 :CakeProphet!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1169781515 0 :CakeProphet!unknown@unknown.invalid NICK :SevenInchBread < 1169783424 0 :calamari!n=calamari@ip72-200-73-175.tc.ph.cox.net JOIN :#esoteric < 1169784452 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1169786149 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1169787077 0 :SevenInchBread!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1169789273 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :I've been poring it over ... and I don't think that OoU is TC, or even a BSM :( < 1169790056 0 :digital_me!unknown@unknown.invalid QUIT :Remote closed the connection < 1169791338 0 :calamari!unknown@unknown.invalid PRIVMSG #esoteric :Oou really? < 1169791491 0 :GregorR!unknown@unknown.invalid PRIVMSG #esoteric :Yup :( < 1169792502 0 :calamari!unknown@unknown.invalid QUIT :"Leaving" < 1169792505 0 :wooby!unknown@unknown.invalid QUIT : < 1169798399 0 :clog!unknown@unknown.invalid QUIT :ended < 1169798400 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1169801206 0 :sebbu!n=sebbu@ADijon-152-1-56-216.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1169811397 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :# For cur-- / For cur-- / For curiosity, # # Two pis-- / Two pis-- / Two pistols on my knee, # # For king-- / For king-- / For king and country, # (etc) < 1169811416 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Ok, maybe it works better when sung. < 1169812096 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :argh I have a pun stuck in my head < 1169815453 0 :GregorR_!n=GregorR@c-24-22-56-63.hsd1.or.comcast.net JOIN :#esoteric < 1169815483 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :GregorR, GregorR_: ooh, twice the fun! < 1169815487 0 :GregorR!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1169815499 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :Sigh < 1169815500 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ACTION goes < 1169815949 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :GregorR_, i proved to myself at school you can't do pretty much anything with it < 1169816029 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i tried to find a way to get even a bit use out of the fact you can time ppl and control where they go but i can't find any even vaguely interesting things to get them to do < 1169821872 0 :tgwizard!n=tgwizard@c-9b3ee155.178-1-64736c10.cust.bredbandsbolaget.se JOIN :#esoteric < 1169829026 0 :GregorR_!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: Oh, you can store and retrieve data. < 1169829029 0 :GregorR_!unknown@unknown.invalid PRIVMSG #esoteric :I've written `cat` < 1169829036 0 :GregorR_!unknown@unknown.invalid PRIVMSG #esoteric :So it's not utterly worthless. < 1169829041 0 :GregorR_!unknown@unknown.invalid NICK :GregorR < 1169829654 0 :sebbu!unknown@unknown.invalid PRIVMSG #esoteric :ACTION a eu ses résultats de son 3° semestre de dut info : 5° sur 74 avec 13.597 de moyenne < 1169829935 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :sebbu: ???? < 1169830012 0 :sebbu!unknown@unknown.invalid PRIVMSG #esoteric :/ame < 1169831114 0 :sp3tt!unknown@unknown.invalid QUIT :Read error: 131 (Connection reset by peer) < 1169831444 0 :sp3tt!n=sp3tt@80-162.cust.umeaenergi.com JOIN :#esoteric < 1169839737 0 :sebbu2!n=sebbu@ADijon-152-1-34-63.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1169841364 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1169844929 0 :SevenInchBread!n=CakeProp@wikipedia/The-Prophet-Wizard-of-the-Crayon-Cake JOIN :#esoteric < 1169846483 0 :lament!n=lament@S010600110999ad06.vc.shawcable.net JOIN :#esoteric < 1169846534 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :hola < 1169848537 0 :florian_!n=chatzill@d80-170-209-76.cust.tele2.fr JOIN :#esoteric < 1169848549 0 :florian_!unknown@unknown.invalid QUIT :Client Quit < 1169849607 0 :Dustfinger!n=chatzill@adsl-149-108-243.mia.bellsouth.net JOIN :#esoteric < 1169849619 0 :Dustfinger!unknown@unknown.invalid QUIT :Client Quit < 1169849983 0 :wooby!n=alan@cpe-66-67-60-51.rochester.res.rr.com JOIN :#esoteric < 1169851754 0 :digital_me!n=digital@wikipedia/Digitalme JOIN :#esoteric < 1169853030 0 :jix__!n=jix@89.48.99.216 JOIN :#esoteric < 1169853187 0 :sebbu!n=sebbu@ADijon-152-1-12-121.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1169853623 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 145 (Connection timed out) < 1169854087 0 :Sgeo!n=sgeo@ool-18bf61f7.dyn.optonline.net JOIN :#esoteric < 1169854849 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1169855206 0 :wooby!unknown@unknown.invalid QUIT : < 1169855443 0 :jix__!unknown@unknown.invalid NICK :jix