The goal of software engineering is to control complexity, not to create it.

I write to understand what hurts me and to make it exist outside of myself.

网球是一项心理游戏。每个人都很健康，每个人都能打出漂亮的正手和反手。

Language is the house of being.

To do mathematics is to engage in an act of discovery and conjecture, intuition and inspiration.