The number one organ of ridicule, nowadays, is the newspaper. If you open the newspaper any day of the week, it's full of people who've messed up their lives. They've slept with the wrong person, taken the wrong substance, passed the wrong piece of legislation -- whatever it is, and then are fit for ridicule. In other words, they have failed. And they are described as "losers." Now, is there any alternative to this? I think the Western tradition shows us one glorious alternative, which is tragedy.

"The future of system design lies in the integration of formal methods with traditional engineering practices."

我以打高尔夫为生。你还能要求什么呢——做自己喜欢的事还能得到报酬。

成功不是幸福的关键。幸福才是成功的关键。如果你热爱你所做的事情，你就会成功。

人们害怕他们不理解的东西，憎恨他们无法征服的东西。

沉默是所有词语的起源。