Don't go around saying the world owes you a living. The world owes you nothing. It was here first.

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

最终，计算机科学的目标不仅仅是构建更快的机器，而是加深我们对宇宙的理解。

除了严于自责之外，没有胜过别人的方法；除了自强不息之外，没有超过别人的方法。