人生应为生而食,不应为食而生。
One should eat to live,not live to eat.
追求真理需要相当大的努力,这就是为什么只有很少人愿意出于对知识的热爱而去追求真理,尽管上帝在人的心灵中植入了对这种知识的自然渴望。
"The past is never dead. It's not even past."
不要追逐金钱,站对位置让钱来追逐你。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
高效算法的开发既是一门艺术,也是一门科学。