"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
身体劳累而不休息,就会疲困;精力使用过度而不止歇,就会衰竭。
The Hacker Way is an approach to building that involves continuous improvement and iteration. Hackers believe that something can always be better, and that nothing is ever complete.