"All of us are better when we're loved."

Liberty consists in doing what one desires.

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

"In the end, we will remember not the words of our enemies, but the silence of our friends."

衡量公司成功的真正标准不仅是财务表现，还有其对社会的贡献。

我不需要努力变得与众不同；我就是与众不同。