我不害怕电脑，我害怕没有他们。

预测未来的最好方式就是创造未来。

Internationalization is not simply going global, but achieving an organic combination of localized operations and a global perspective.

判断两个λ表达式是否等价的问题是无法解决的。

Transparency in sourcing isn’t optional—it’s a responsibility.

书是一面镜子：如果一只猿猴往里看，不太可能有一位使徒往外看。

真正的谈话艺术不仅是在正确的地方说正确的话，而且是在诱惑的时刻不说错误的话。