监狱里的高墙实在是很有趣。刚入狱的时候，你痛恨周围的高墙；慢慢地，你习惯了生活在其中；最终你会发现自己不得不依靠它而生存。这就是体制化。
由于我们对专业知识的盲目信任，可能反而让人更容易忽视领域之外的重要因素。
技术应该为生态服务，而不是相反。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
Simplicity is not the goal. It is the by-product of a good idea.
除非我们愿意为之而死，否则我们不能确定有值得为之而活的东西。