The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
技术是我们用来重新安排物理世界以创造价值的指令集。
真正认真对待软件的人应该自己做硬件。
The human mind is a complex and fascinating subject, and understanding it requires both scientific rigor and a touch of creativity.
一个社会的成功取决于其平衡个人自由需求与社会凝聚力需求的能力。
判断两个λ表达式是否等价的问题是无法解决的。
"The important thing in science is not so much to obtain new facts as to discover new ways of thinking about them."
实现不可能的唯一方法就是相信它是可能的。