Mercurial > repo
view paste/paste.5749 @ 5859:0bcc9899de90
<tswett> le/rn fundamental theorem of Taneb/The Fundamental Theorem of Taneb states that for all strings S, if S describes a thing, then it is provable that Taneb invented the thing described by S; and, furthermore, that it is provable that there exists a string T that describes a thing that Taneb did not invent.
author | HackBot |
---|---|
date | Wed, 22 Jul 2015 15:27:49 +0000 |
parents | f59cb5e61a87 |
children |
line wrap: on
line source
2012-02-01.txt:22:44:40: <oerjan> @tell Taneb er... Dupdog is not supposed to have a program pointer, you always take the first character. Also your eval' is an infinite recursion (hint: unless you are writing generic combinators, a function argument with IO type is usually a mistake.) 2012-02-01.txt:22:58:01: <oerjan> @tell Taneb I can see how "The next character is read" might give you that impression though - but note that (I clearly recall) the initial inspiration for dupdog was the idea of two irc bots reacting to each other's lines as entirely new commands, for which such a remembering of position doesn't make sense. 2012-02-18.txt:14:49:47: <Taneb> ~!~ --infinite loop in dupdog? 2012-02-21.txt:22:42:32: <oerjan> `pastelogs taneb.*dupdog