Qiaochu_Yuan comments on Open Thread, December 16-31, 2012

[Qiaochu_Yuan]

Hmm. I don’t like Clippy because whoever maintains it isn’t doing a good job (sorry, I mean a clippy job).