gwern comments on HPMoR.com