https://gwern.substack.com/p/july-2020-gwernnet-newsletter