The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。
C编程语言——一种将汇编语言的灵活性与汇编语言的力量结合起来的语言。
I'm not a fan of fancy things.
Faith is the great cop-out, the great excuse to evade the need to think and evaluate evidence. Faith is belief in spite of, even perhaps because of, the lack of evidence.
The goal of computer architecture is to make the common case fast and the rare case correct.
"Happiness is not something ready made. It comes from your own actions."
我们是没说出的话的主人。我们是说出的话的努力。