Innovation is not just about technology, it's about changing people's lifestyles.

计算理论为理解什么可以计算、什么不能计算提供了基础。

追求科学不仅仅是追求理解。它是追求一种来自知道我们不知道多少的智慧。

软件开发中最重要的一个方面是明确你试图构建什么。

To write is to live twice.

"Every saint has a past, and every sinner has a future."

知识的唯一来源是经验。