gwern comments on adamzerner’s Shortform