gwern comments on August 2020 gwern.net newsletter