The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
透明建立信任，而信任是任何成功企业的基础。
The future of technology is not about more features, but about more meaning.
Your brand is what people say about you when you're not in the room.
You have a dream, you got to protect it.
戏剧是虚构的——而虚构是将事实提炼成真理。