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

不要只追逐金钱，追求卓越，金钱自会跟随。

如果所有的人都是富有的，那么所有的人都是贫穷的。

我追随着自然，却始终无法抓住她...

The same principles that at first lead to skepticism pursued to a certain point ends in religion.

The true measure of progress is not just profit, but the positive impact we leave on society and the planet.

明智地思考却愚蠢地行动，这是人性。

无论情况如何，我总是尽力付出100%。