gwern comments on July 2017 Media Thread