We are all walking around with an evolutionary user's manual in our heads, but most people don't realize it.
真正活着的唯一方式,就是甘愿为某件事献出生命。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"Freedom is the right to tell people what they do not want to hear."