"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

The theory of probabilities is at bottom nothing but common sense reduced to calculus.

"Writing is a way to explore the depths of the human experience."

我们在水产养殖中做出的每一个决定都会产生连锁反应。我们必须超越眼前，考虑长期影响。

一两次接触容易处理好关系，长期在一起关系就难处了。

译文：与其在生病后去求取药物，不如在生病前做好自我的预防。赏析：任何事都要提前谋划，防患未然，事到临头才不会手忙脚乱。平时不烧香，临时抱佛脚是没有用的。

我以打高尔夫为生。你还能要求什么呢——做自己喜欢的事还能得到报酬。