gwern comments on Jay Bailey’s Shortform