gwern comments on Larks’s Shortform