gwern comments on Adele Lopez’s Shortform