Qiaochu_Yuan comments on Solved Problems Repository