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

译文：经常在外人面前夸耀自己就是最大的短处，知道自己还有短处就是最大的长处。赏析：做人低调不张扬，才不会引起别人的嫉妒和报复。为人处世，不谈论自己的优点，不议论别人的短处。

未来不是礼物。它是一种成就。

I think it's important to take risks in filmmaking.

绘画就是用色彩祈祷。

我为我们没有做的许多事情感到骄傲，就像为我们做过的事情感到骄傲一样。创新就是对一千件事情说不。