The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
信仰是伟大的逃避,是逃避思考和评估证据需要的伟大借口。信仰是在缺乏证据的情况下,甚至可能是因为缺乏证据而相信。
建筑师必须为感官设计,而不仅仅是眼睛。
The most successful businesses are those that adapt quickly to change while staying true to their core values.
上天安排我福分浅薄,我就培养高尚道德去迎接它;上天安排我身体劳顿,我就修炼精神安逸去弥补它;上天安排我遭遇艰危,我就努力实现政治理想去沟通它;上天安排我境况困苦,我就力求精神愉快去疏导它。