The more you write, the more you discover what you don’t know.

Profitability and purpose are not mutually exclusive.

形式系统的发展彻底改变了我们对数学的理解。

A building should be a response to its surroundings, not an imposition.

Research is a journey where the destination is unknown, but the pursuit is everything.

Risk prevention and control is the guarantee for the steady development of enterprises. We must build a strong dam for risk prevention and control.

C编程语言——一种将汇编语言的灵活性与汇编语言的力量结合起来的语言。