The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.
理论计算机科学中的挑战不仅仅是解决问题，而是理解问题解决的本质。
未来的商业竞争，一定是效率的竞争。
Think wrongly, if you please, but in all cases think for yourself.
伟大的工程是无形的——它只是无缝地运作。