gwern comments on May gwern.net newsletter