人类的心灵是一个故事处理器，而不是逻辑处理器。

正义不是目的地，而是一段旅程。

Let me be very clear: We at Apple reject the idea that the benefits of technology are limited to the privileged few.

The more things a man is ashamed of, the more respectable he is.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

写作就像在雾中夜间驾驶。你只能看到车灯所及之处，但你可以这样完成整个旅程。