You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

wedrifid comments on No coinductive datatype of integers - Less Wrong Discussion

4 Post author: cousin_it 04 May 2011 04:37PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (138)

Comments (138)

You are viewing a single comment's thread. Show more comments above.

Comment author: wedrifid 05 May 2011 07:16:23PM 0 points [-]

Ahh, so that's what the <Can someone recall the title of Eliezer's parable in which the genius level humans spend thousands of years deciphering the messages sent by the not-so-smart universe simulators?> were using!

Comment author: Zack_M_Davis 05 May 2011 08:00:57PM 9 points [-]

<Can someone recall the title of Eliezer's parable in which the genius level humans spend thousands of years deciphering the messages sent by the not-so-smart universe simulators?>

You may be thinking of "That Alien Message." Best wishes, the Less Wrong Reference Desk.

Comment author: wedrifid 05 May 2011 09:47:31PM 0 points [-]

Thankyou! I'd been looking for that one for a while.

Powered by Reddit Powered by Reddit