gwern comments on peterbarnett’s Shortform