gwern comments on DAL’s Shortform