The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
创新是任何领域成功的关键。
哪怕是磨没了头发，宁可死也不会旋转前进的脚步，为的是全天下人的利益。
So go ahead. Fall down. The world looks different from the ground.
质量从来不是偶然的；它始终是智慧努力的结果。
译文：有茶喝有肉吃的时候，身边就有很多朋友兄弟，等遇到困难的时候，身边就没有一人帮忙。赏析：当我们有利用价值的时候，身边不会缺少朋友兄弟，可当我们身处困境时，又有多少朋友会伸出援助之手呢。所以，交朋友不求多，只要真心的几个就行，远离身边的酒肉朋友。
人们通过编造故事来预测未来。
阳光撒进头，仿若自由人。
农业领导力意味着倾听土地和耕种者的声音，然后做出对双方都有利的决策。
真正的革命始于语言，始于以另一种方式命名世界的能力。