We have a responsibility, every one of us. We may think we live a long way from the oceans, but we don't. What we actually do here, has a direct effect on the oceans—and what the oceans do then reflects back on us.
我们每个人都有责任。我们可能认为我们生活在远离海洋的地方，但我们没有。我们在这里所做的实际上对海洋有直接影响——而海洋所做的又会反过来影响我们。
The soul is the living bridge between the spirit and the body.
The only way to do great work is to love what you do.
It is in the thirties that we want friends. In the forties we know they won't save us any more than love did.
You are allowed to be both a masterpiece and a work in progress simultaneously.
你是自己生活的讲述者，你可以创造自己的传奇，也可以不创造。
Sometimes life hits you in the head with a brick. Don't lose faith.
The best time to start living intentionally is now.
λ演算本质上是一种纯粹抽象的函数理论。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."