gwern comments on Quinn’s Shortform