gwern comments on Alexander’s Shortform