gwern comments on Buck’s Shortform