λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

The only way to be truly satisfied is to do what you believe is great work.

When I look at the world I'm pessimistic, but when I look at people I am optimistic.

量子计算的挑战不仅在于构建硬件，还在于理解可以利用它的新算法。

Sustainability isn't an option; it's a responsibility we owe to the next generation.

将社会正义的梦想变为现实并不容易，但也不是不可能的。

讲述完全真相的方法只有两种：匿名或者死后。