gwern comments on Yitz’s Shortform