gwern comments on Jesse Hoogland’s Shortform