The λ-calculus is, in essence, a purely abstract theory of functions.
            
            
        
        
    λ演算本质上是一种纯粹抽象的函数理论。
        找到自己的最好方法就是在追求更伟大的事物中迷失自己。
                    过去是你记得的、想象中记得的、说服自己记得的或假装记得的一切。
                    When making something, always get a few extras — extra material, extra parts, extra space, extra finishes. The extras serve as backups for mistakes, reduce stress, and fill your inventory for the future. They are the cheapest insurance.
                    We're flooding people with information. We need to feed it through a processor. A human must turn information into intelligence or knowledge. We've tended to forget that no computer will ever ask a new question.