The more we learn, the more we realize how little we know.

λ演算是一种表示函数及其应用的形式体系。

We are all hostages of our own time.

生命是一个成为的过程，是我们必须经历的各种状态的组合。

I don't believe in God, but I believe in music.

我们开采的每一吨煤炭都承载着同等重量的责任。

Love is not about finding a perfect person, but about learning to see an imperfect person perfectly.

If your business model depends on wasting resources, you're already obsolete.