gwern comments on Haotian’s Shortform