April 2020 gwern.net newsletter

This is the April 2020 edition of the gwern.net newsletter; previous, March 2020 (archives). Please see the canonical gwern.net version.