The halting problem is decidable on a set of asymptotic probability one (2005) | Hacker News Reader