Qiaochu_Yuan comments on Open Thread August 2018