我不会让恐惧阻止我，我会让它激励我。

Never let anyone else define your worth. You are the only one who can decide your value.

我坚信，区分成功与不成功，一半的因素就是纯粹的毅力差别。

Premature optimization is the root of all evil.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

I'm not a smart man, but I know what love is.

Regret is the poison we drink hoping someone else will die.

The real is always stranger than the imagined.

"I don't think limits."

一个组织的质量永远不能超过组成它的头脑的质量。