User blog comment:LittlePeng9/Analysis of Loader's program/@comment-10429372-20140816101936/@comment-10429372-20140817061615

1. It gives us a layman explanation of D(n), and I didn't understand how it works and as far as I know, other people also don't really understand too.

2. It will probably give a TM for D(n).

3. It might be that we can actually beat Loader's number in the Bignum Bakeoff (with a modification of his own program :P)