gwern comments on Monks of Magnitude