September 2020 gwern.net newsletter

Link post