gwern comments on William_S’s Shortform