August 2020 gwern.net newsletter

Link post