ryan_b comments on August 2020 gwern.net newsletter