"The past is never dead. It's not even past."
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The challenge of computer science is not just to build faster machines, but to understand the very fabric of computational possibility.
激励措施的微小变化可以导致行为的巨大变化。
The most successful modern states are those that have been able to harness the power of the market while maintaining a strong state that can provide public goods and regulate private activity.