自守形式理论是现代数论的核心课题。

真正的幸福的源泉在我们自身。一个人只要自己善于追求幸福，别人是无法使他落到真正悲惨的境地的。

The most important single aspect of software development is to be clear about what you are trying to build.

未来的竞争不是技术的竞争，而是数据能力的竞争。

The world is so full of people, so crowded with these miracles, that they become commonplace and we forget.

过去总是与我们同在，它塑造了我们是谁。