重要的不是想法，而是实现想法。

I try to make movies that are visually interesting.

如果你出生贫穷，那不是你的错。但如果你死时仍然贫穷，那就是你的错。

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

以公平的价格购买一家优秀的公司远比以优秀的价格购买一家普通的公司要好得多。

唯一比被人议论更糟糕的事，就是无人议论。