gwern comments on Daniel Tan’s Shortform