gwern comments on Algon’s Shortform