A company's culture is defined by the actions of its leaders.

In every character, there is a piece of me, and in me, there is a piece of every character I've played.

任何优秀的飞行员，无论他有多么高的天赋和丰富的经验，都不会不使用检查表。

宇宙不仅比我们想象的更奇怪，而且比我们能够想象的更奇怪。

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