nshepperd comments on MIRI's 2013 Summer Matching Challenge - Less Wrong

23 Post author: lukeprog 23 July 2013 07:05PM

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

Comments (122)

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

Comment author: nshepperd 10 August 2013 03:53:36AM 2 points [-]

Is that the probability that the shortest FAI halts given random input?