形式化方法不是银弹,但它们是追求可靠系统的重要工具。
政治语言旨在使谎言听起来真实,使谋杀显得可敬,给纯粹的空气以坚实的外表。
唯一的绩效标准是零缺陷。
在科学中最令人兴奋的短语,预示着新发现的,不是“我找到了!”,而是“这很有趣...”
The best way to find out if you can trust somebody is to trust them.