gwern comments on Don’t Think Too Hard.