gwern comments on jow’s Shortform