"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

激情是普遍的人性。没有它，宗教、历史、浪漫和艺术都将毫无用处。

与其让你的人生规避“出人意料”，还不如直接瞄着它们而去。

那些将环境责任视为机遇而非负担的公司将会蓬勃发展。

An idea is only as good as its execution.

人类思维的一个重大缺陷在于：我们习惯关注高频事件，却忽视了那些罕见但影响巨大的事件。