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.

Tags: fundraiser

Comments (122)

Sort By: Best

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

Comment author: khafra 09 August 2013 10:10:38PM 12 points [-]

Donated 0.9766578425 bitcoins, a number I chose since that's Chaitin's Omega for the shortest FAI.

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

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