The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
在半导体领域，如果你停下来休息，就会被别人超越。
The intersection of computer science and mathematics is where the most exciting breakthroughs are happening.
书籍是最安静、最恒久的朋友；它们是最易接近、最睿智的顾问，也是最耐心的老师。
大多数人害怕变化，但如果你把它看成是某种你总是可以依赖的东西的话，那它就能成为一种安慰。世上你能依赖的东西并不是很多。
"Doubt is useful for a while. We must all pass through the garden of Gethsemane. If Christ played with doubt, so must we."
译文：善于创始的人不一定完成得很好，有个好开头的人不一定有好结果。