伟大的公司不仅仅适应变化,它们预见并塑造变化。
你画的每一条线都有后果——空间的、结构的、社会的。
最好的领导者是那些倾听多于说话的人。
The essence of computation is not just in the manipulation of symbols, but in the profound understanding of what those manipulations represent.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。