Warrigal comments on A Series of Increasingly Perverse and Destructive Games - Less Wrong

11 Post author: nigerweiss 14 February 2013 09:22AM

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

Comments (33)

Sort By: Best

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

Comment author: [deleted] 16 February 2013 04:43:52AM 2 points [-]

The winner of the actual contest used a similar strategy, using programs in the calculus of constructions so they are guaranteed to halt.

Whelp, that's it, then. Ralph Loader has discovered the largest integer.