"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
只看到别人的一切坏处,是恶的根源;能明察自己的一切缺失,才是所有善的根本。
预言是人类唯一一项无法由重复练习而进步的技术。