The challenge in theoretical computer science is not just to solve problems, but to understand the nature of problem-solving itself.

I think the key to making a good movie is to make sure that the audience cares about the characters.

宇宙是可以理解的，因为它受我们能够理解的法则支配。

Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.

衡量一个人的标准是他如何使用权力。