gwern comments on Ericf’s Shortform