The true measure of our industry lies not in tonnes produced, but in communities sustained.

Writing is a way of talking without being interrupted.

写文章贵在有真实的气韵，不能只修饰外表。

Innovation happens when you stop thinking inside the box and start building a new one.

理解即是宽恕，即使在最难以理解的时候。

判断两个λ表达式是否等价的问题是无法解决的。