未来属于那些能把复杂事情简单化的公司。
Persistence in research is key; nature reveals its secrets only to those who are patient.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
"Sometimes you have to be apart from people you love, but that doesn't make you love them any less. Sometimes you love them more."