gwern comments on Mo Putera’s Shortform