最好的矿业公司不仅仅是开采资源，而是为所有利益相关者创造持久的价值。

The semiconductor industry is a model of global division of labor, but core technologies must be independently controllable.

真正的纽约人暗中相信，生活在其他地方的人在某种意义上一定是在开玩笑。

要理解一个民族，你必须先理解他们的故事。

记忆是一种成就，甚至是一种更新。

Insofar as a thing is in harmony with our nature， it is necessarily good.

The greatest theorems often arise from questioning the obvious.

The only way to get through life is to laugh your way through it. You either have to laugh or cry. I prefer to laugh. Crying gives me a headache.

系统设计的未来在于将形式化方法与传统工程实践相结合。