——1964年瑞佛尼亚审判法庭陈述
Real technology is when you don’t feel its existence.
伟大的公司是由伟大的团队而非个人建立的。
人们通常看到他们寻找的东西，听到他们倾听的东西。
我们生活在一个过去总是存在，未来总是不确定的世界中。
True progress happens when we dare to question the status quo.
判断两个λ表达式是否等价的问题是无法解决的。