教育不是为生活做准备；教育本身就是生活。
文学研究归根结底是对人性的研究
The challenge in model checking is not just to find errors, but to understand why they occur.
Humans are allergic to change. They love to say, 'We've always done it this way.' I try to fight that. That's why I have a clock on my wall that runs counter-clockwise.
一个人，如果不是他们留下的痕迹，又是什么呢？