"Theoretical computer science is not just about solving problems, but about understanding the nature of computation itself."

The task must be made difficult, for only the difficult inspires the noble-hearted.

"The world is full of obvious things which nobody by any chance ever observes."

我们每一次的观察都是向理解宇宙迈近的一步。