Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysis.
了解贫困的最佳方式是走出去,与穷人交谈。
"Writing is a bit like shitting. If it's coming out too hard, something's wrong."
形式化方法不是银弹,但它们是追求可靠系统的重要工具。