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.

cousin_it 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: cousin_it 12 May 2011 02:40:07PM *  2 points [-]

I asked MathOverflow to solve this and got a complete solution within an hour. Just like last time. Wow, just wow.

Comment author: Emile 12 May 2011 04:55:37PM 1 point [-]

The stack exchange sites are pretty impressing, and humbling. Maybe Eliezer should outsource more of his research to them.

Powered by Reddit Powered by Reddit