gwern comments on Shortform