人们是否在使用清洁能源、交通运输是否在优化、互联网是否在变得更好等等，这些工作都很重要。即使是少数人也可以影响这个世界。

Efficiency in farming should never come at the cost of biodiversity.

Sustainability must be at the core of every stone we extract, or we extract nothing at all.

You have to be willing to step out of your comfort zone to grow.

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

晶体管是一项伟大的发明，但它并非我一人之功。