gwern comments on “Progress”