我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The tears of the world are a constant quantity. For each one who begins to weep, somewhere else another stops. The same is true of the laugh.
People change and forget to tell each other.
距离不仅仅是物理上的度量，还是社会和经济上的障碍。
"I don't know what I'd do without music in my life."
数学家是将咖啡转化为定理的装置。
I don’t sleep because I’m too busy dreaming.