gwern comments on Anders Lindström’s Shortform