gwern comments on davekasten’s Shortform