gwern comments on EniScien’s Shortform