gwern comments on Thomas Kwa’s Shortform