我不担心人们说什么。我知道我能做什么。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

成为一名作家就是成为一名专业的观察者。

"The past is always with us, and it shapes who we are."

The only thing that separates us from the animals is our ability to accessorize.

天下人最能享受的是个“闲”字，但是闲适要从勤俭中得到。而天下最便宜的是个“勤”字，然而勤奋是从闲暇中做出。

世界需要更多愿意挑战现状的人。