我们不能把问题留给下一代解决，我们现在就必须尽自己的一份力。

真正的大不敬是不尊重别人的神。

λ演算本质上是一个关于函数及其应用的理论。

The barriers to women’s advancement are often invisible until you look for them.

变得如此优秀，以至于他们无法忽视你。

我们要做海洋的守护者，而不是征服者。