gwern comments on Martin Sustrik’s Shortform