The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
Our cognitive biases are not just errors in judgment; they are windows into the evolutionary adaptations of the human brain.
The best way to predict the future is to create it.
Making something is really hard. You have to care about it so much that you will push through all the disappointments and frustrations.
一瓶葡萄酒包含的哲理比世界上所有的书都多。
The more you're actively and practically engaged, the more successful you will feel.
The first sentence of every novel should be: "Trust me, this will take time but there is order here, very faint, very human."
