The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
跨行业合作是解决世界上最严峻挑战的关键。
In steel, as in life, resilience determines how far you can go.
Rule of 7 in research. You can find out anything if you are willing to go seven levels. If the first source you ask doesn’t know， ask them who you should ask next， and so on down the line. If you are willing to go to the 7th source， you’ll almost always get your answer.
变化的速度永远不会比今天更慢。
效率是把事情做对，效果是做对的事情。