我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

We change our behavior when the pain of staying the same becomes greater than the pain of changing.

If you want something said, ask a man; if you want something done, ask a woman.

最伟大的发现来自于提出最简单的问题。

当有人告诉你某件事是错的时候，他们通常都是对的。当有人告诉你如何解决这个错误的时候，他们通常都是错的。

There is no such thing as society: there are individual men and women, and there are families.

Painting is a way to forget life. It is a cry in the night, a strangled laugh.