gwern comments on Dec 2019 gwern.net newsletter