gwern comments on Will_Pearson’s Shortform