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."
衡量公司成功的真正标准不仅是财务表现,还有其对社会的贡献。
我不需要努力变得与众不同;我就是与众不同。