gwern comments on Raising the waterline