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

To name an object is to suppress three-quarters of the enjoyment of the poem.

写作是一种思考的方式，是一种解决问题的方式。

真相比小说还要不可思议。