gwern comments on Revisiting algorithmic progress