The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

I pray Heaven to bestow the best of blessings on this house and all that shall hereafter inhabit it. May none but honest and wise men ever rule under this roof.

The best stories are those that resonate with the reader's own experiences, that touch something deep within them.

一流智力的检验标准是同时在大脑中持有两种相反的想法，并且仍然保持功能的能力。

技术是工具，人才是核心。

编程语言中最重要的东西是名字。没有好名字的语言不会成功。