< 1179360024 0 :sebbu!unknown@unknown.invalid QUIT :"@+" < 1179360587 0 :digital_me!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179361106 0 :crathman!unknown@unknown.invalid QUIT :Read error: 113 (No route to host) < 1179361788 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :lament: pff, go and ruin all our HD-DVD fun? ;-) < 1179361796 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :At least, I think that's what it is. < 1179361799 0 :ihope!unknown@unknown.invalid PRIVMSG #esoteric :Something like that. < 1179362130 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :decoding an infinite computation makes it much more difficult to define what it means not to cheat - you can no longer just require halting checker < 1179362142 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :*a halting < 1179362195 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :basically, a computation that just added an increasing counter to the end of the program text would be universal if you allowed it < 1179362239 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :since the checker could simply be "run program for counter number of steps" < 1179362287 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :encode the code in the number of steps to run the tm < 1179362304 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :in fact even primitive recursive may be strong enough to allow the cheat < 1179362323 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :no, the encoder cannot do that if it is to halt < 1179362394 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :bsmntbombdood: or maybe i don't understand what you mean < 1179362448 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :have a function decode:tape state -> number of steps ran < 1179362521 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :encode the program into a natural number, run tm that many steps, decode tape contents < 1179362565 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :that would not be universal, because it always halts. < 1179362607 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :oh,hmm < 1179362637 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :note that _only_ the tm is allowed to run indefinitely. i assume that the decoder gets to run once per step, with the current tape state < 1179362658 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but not with any own state from previous steps < 1179362758 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :but still it gets too strong to allow a decoder that is arbitrarily primitive recursive < 1179362783 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because that is enough for "run a program n number of steps" inside the decoder < 1179362830 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :on the other hand, i assume anything grep-like is definitely allowed < 1179362879 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :which means essentially, fixed memory limit for the checker < 1179362935 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :and almost anything that is more than that could be used to cheat < 1179362951 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :even logspace. < 1179363068 0 :oerjan!unknown@unknown.invalid PRIVMSG #esoteric :because you could simply have a checker that ran N steps or until it ran out of its current resource limit < 1179366955 0 :ehird`!n=ehird@user-54457988.lns6-c11.dsl.pol.co.uk JOIN :#esoteric < 1179367631 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1179369314 0 :ehird`!unknown@unknown.invalid QUIT : < 1179370584 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1179370738 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179371200 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1179371391 0 :Sgeo!unknown@unknown.invalid QUIT :Remote closed the connection < 1179371735 0 :digital_me!n=digital@wikipedia/Digitalme JOIN :#esoteric < 1179371805 0 :oerjan!unknown@unknown.invalid QUIT :"leaving" < 1179371965 0 :digital_me!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179371965 0 :sp3tt!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179371966 0 :meatmanek!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179371966 0 :bsmntbombdood!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179371990 0 :digital_me!n=digital@wikipedia/Digitalme JOIN :#esoteric < 1179371990 0 :sp3tt!n=sp3tt@80-162.cust.umeaenergi.com JOIN :#esoteric < 1179371990 0 :bsmntbombdood!i=gavin@abacus.kwzs.be JOIN :#esoteric < 1179371990 0 :meatmanek!n=meatmane@cpe-65-29-79-179.indy.res.rr.com JOIN :#esoteric < 1179376497 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1179377639 0 :sp3tt!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179377639 0 :meatmanek!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179377639 0 :digital_me!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179377640 0 :bsmntbombdood!unknown@unknown.invalid QUIT :zelazny.freenode.net irc.freenode.net < 1179377776 0 :bsmntbombdood!i=gavin@abacus.kwzs.be JOIN :#esoteric < 1179378020 0 :digital_me!n=digital@wikipedia/Digitalme JOIN :#esoteric < 1179378020 0 :sp3tt!n=sp3tt@80-162.cust.umeaenergi.com JOIN :#esoteric < 1179378020 0 :meatmanek!n=meatmane@cpe-65-29-79-179.indy.res.rr.com JOIN :#esoteric < 1179378026 0 :sp3tt!unknown@unknown.invalid QUIT :No route to host < 1179378119 0 :sp3tt!n=sp3tt@80-162.cust.umeaenergi.com JOIN :#esoteric < 1179378351 0 :digital_me_!n=digital@wikipedia/Digitalme JOIN :#esoteric < 1179378520 0 :digital_me!unknown@unknown.invalid QUIT :Connection timed out < 1179378713 0 :Sgeo!unknown@unknown.invalid QUIT :Connection reset by peer < 1179378930 0 :digital_me_!unknown@unknown.invalid QUIT :"leaving" < 1179380266 0 :Sgeo!n=Sgeo@ool-18bf68ca.dyn.optonline.net JOIN :#esoteric < 1179384632 0 :Sgeo!unknown@unknown.invalid QUIT :Read error: 104 (Connection reset by peer) < 1179388799 0 :clog!unknown@unknown.invalid QUIT :ended < 1179388800 0 :clog!unknown@unknown.invalid JOIN :#esoteric < 1179395409 0 :sebbu!n=sebbu@ADijon-152-1-79-251.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1179395725 0 :sebbu2!n=sebbu@ADijon-152-1-36-112.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1179396913 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179400376 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1179400378 0 :ihope_!unknown@unknown.invalid NICK :ihope < 1179405086 0 :Keymaker!n=nobody@xdsl-237-87.nebulazone.fi JOIN :#esoteric < 1179405126 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :a new thue program for a change. look-and-say sequence in thue: http://koti.mbnet.fi/yiap/programs/thue/las.t < 1179405301 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :by the way, the original (i think) thue interpreter has some bug in it that can happen with 1-character strings (iirc). i can't remember anymore what it exactly was, but i noticed it in the c interpreter when one program i did didn't seem to work correctly and i was sure it was correct. then i made some simple test program and found the bug. so use some other interpreter. < 1179405376 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :oh, i also uploaded new version of my digital root calculator in thue, not that anyone cares. there's also padovan sequence in underload (using unary) i made recently... < 1179405449 0 :Keymaker!unknown@unknown.invalid PRIVMSG #esoteric :expect some larger and more complex esoprogs again, soon. < 1179405456 0 :Keymaker!unknown@unknown.invalid PART #esoteric :? < 1179405484 0 :Pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179406468 0 :Pikhq!n=pikhq@c-75-70-43-34.hsd1.co.comcast.net JOIN :#esoteric < 1179407675 0 :jix!n=jix@dyndsl-091-096-059-005.ewe-ip-backbone.de JOIN :#esoteric < 1179410845 0 :sebbu!n=sebbu@ADijon-152-1-70-148.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1179411268 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1179411759 0 :sebbu2!n=sebbu@ADijon-152-1-103-7.w81-50.abo.wanadoo.fr JOIN :#esoteric < 1179412221 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1179414947 0 :crathman!n=chatzill@69.15.198.171 JOIN :#esoteric < 1179417494 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1179417651 0 :sebbu2!n=sebbu@ADijon-152-1-69-218.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1179418785 0 :sebbu!unknown@unknown.invalid QUIT :Connection timed out < 1179420454 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :
ACTION imagines some sci-fi about a person transported to a universe with immense negative curvature.
< 1179420483 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :enough that he gets slightly broke bones, but not enough to kill him < 1179420492 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :ah, the fun you can have with the concept. < 1179421526 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :what is negative curvature? i wanna join the fun < 1179422154 0 :sebbu!n=sebbu@ADijon-152-1-52-24.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1179422730 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: read "inverted world" < 1179422734 0 :lament!unknown@unknown.invalid PRIVMSG #esoteric :SimonRC: you'll love it < 1179422838 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :yeah < 1179422840 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hmm < 1179422890 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :stop being interesting without sharing it! < 1179422909 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hm? < 1179423067 0 :sebbu3!n=sebbu@ADijon-152-1-63-199.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1179423079 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :hi < 1179423214 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :i meant negative curvature and inverted world :) < 1179423219 0 :oklopol!unknown@unknown.invalid PRIVMSG #esoteric :but i'll ask google < 1179423396 0 :sebbu2!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179423466 0 :ehird`!n=ehird@user-54457988.lns6-c11.dsl.pol.co.uk JOIN :#esoteric < 1179424222 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179424246 0 :ihope!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179426872 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :schooooooooool's out < 1179427270 0 :sebbu!n=sebbu@ADijon-152-1-13-251.w83-194.abo.wanadoo.fr JOIN :#esoteric < 1179428205 0 :sebbu2!n=sebbu@ADijon-152-1-76-35.w83-203.abo.wanadoo.fr JOIN :#esoteric < 1179428366 0 :sebbu3!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179429380 0 :sebbu!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179430471 0 :ehird`!unknown@unknown.invalid NICK :NOT-ehird` < 1179431966 0 :sebbu2!unknown@unknown.invalid NICK :sebbu < 1179433109 0 :SimonRC!unknown@unknown.invalid PRIVMSG #esoteric :oklopol: You Know You're A Geek When: you just assume that eveyone you meet knows what hyperbolic geometry is. < 1179433609 0 :ihope_!n=ihope@c-71-205-100-59.hsd1.mi.comcast.net JOIN :#esoteric < 1179433611 0 :ihope_!unknown@unknown.invalid NICK :ihope < 1179434597 0 :Pikhq!unknown@unknown.invalid QUIT :Connection timed out < 1179437582 0 :Pikhq!n=pikhq@c-75-70-43-34.hsd1.co.comcast.net JOIN :#esoteric < 1179438787 0 :bsmntbombdood!unknown@unknown.invalid PRIVMSG #esoteric :you know you are a geek when you are in #esoteric < 1179438863 0 :Pikhq!unknown@unknown.invalid QUIT :Read error: 110 (Connection timed out) < 1179438897 0 :helios24!unknown@unknown.invalid QUIT :Read error: 60 (Operation timed out) < 1179440539 0 :helios24!i=helios@gaia.quasar-net.de JOIN :#esoteric < 1179441691 0 :NOT-ehird`!unknown@unknown.invalid QUIT :Read error: 54 (Connection reset by peer) < 1179441762 0 :NOT-ehird`!n=ehird@user-54457988.lns6-c11.dsl.pol.co.uk JOIN :#esoteric < 1179441852 0 :oerjan!n=oerjan@hagbart.nvg.ntnu.no JOIN :#esoteric < 1179444557 0 :Pikhq!n=pikhq@c-75-70-43-34.hsd1.co.comcast.net JOIN :#esoteric