数学不仅仅是抽象理论的集合，而是描述宇宙的语言。
Mathematics is not just a collection of abstract theories, but a language that describes the universe.
Comedy is the ultimate revenge against tragedy.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
优化程序的最好方法是优化它。
The only fence against the world is a thorough knowledge of it.