败坏德行的行为有许多，而酗酒必定败德；伤害生命的行为也有许多，而好色必定伤生。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

True forest stewardship means leaving some trees - and some profits - for those who come after us.

我的态度是，如果你把我推向你认为的弱点，那么我会把这个被认为的弱点变成优势。

The best architecture comes from the synthesis of all the forces that are acting upon it.

最好的投资是那些能够建立伟大公司的人，而不仅仅是想法。