计算的未来在于开发能够自我验证正确性的系统。

The most successful businesses are those that combine strong financial performance with a positive impact on society.

有两种构建软件设计的方式：一种方式是让它简单到明显没有缺陷，另一种方式是让它复杂到没有明显的缺陷。

Data abstraction is the reduction of a particular body of data to a simplified representation of the whole.

极少有人能在首次推介中完成销售。仅仅因为你对一些事物有信念，并不意味着其他人也愿意接受。你需要能够一次又一次坚定地推销你的愿景。大多数人不喜欢改变，所以你需要说服他们为什么要接受改变。不要因为畏惧而不去争取自己想得到的东西。