The details are not the details. They make the design.
细节不是细节。它们构成了设计。
λ演算是一种表示函数及其应用的形式体系。
我们的正常之处,就在于自己懂得自己的不正常。
Three passions, simple but overwhelmingly strong, have governed my life: the longing for love, the search for knowledge, and unbearable pity for the suffering of mankind.
We need to think creatively about how to solve the world's biggest problems.