We make up horrors to help us cope with the real ones.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
农民的智慧常常超越最新技术——我们必须学会倾听。
Don't let anyone tell you that you can't do something.
The most successful companies are those that care deeply about their people.