λ演算是一种表示函数及其应用的形式体系。
多元宇宙不是一个理论,而是我们理论的后果。
阅读是不动而旅行;写作是旅行而不动。
The existence of a legal system depends on the general acceptance of its rules by the society.
在旧世界,你将30%的时间用于提供优质的服务,70%的时间用于宣传。在新世界,这个比例颠倒了。