lukeprog comments on My Algorithm for Beating Procrastination