gwern comments on Cole Wyeth’s Shortform