gwern comments on Rafael Harth’s Shortform