形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
我的观察是每当某个任务一个人就可以完成… 两个人就会做得更差，三个或更多人时则几乎没什么行动。
The forest teaches us patience and resilience—qualities every leader should embody.
记忆是个骗子，总是在重写过去。
译文：高兴时说的话大多会丧失信用，愤怒时说的话大多会失大体。赏析：人在得意时容易忘形，说话无所不谈，此时说的话往往失真。人在极度愤怒时，思维混乱，言行大多不理智。所以，我们要防止在高兴时言多有失，防止愤怒时言多失态。
人一生中的主要任务是诞生自己，成为他潜在的样子。他努力的最重要产物是他自己的个性。
Cinema is not about showing life as it is, but as it could be.
作家是所有独裁的敌人，无论是左翼还是右翼。
Every experiment, whether successful or not, is a step toward understanding.