gwern comments on CstineSublime’s Shortform