程序测试可以用来显示错误的存在，但绝不能显示它们的不存在！

最好的矿业公司不仅仅是遵守法规，他们还帮助制定法规。

拼命奋斗，死时空空如也。

"The world is full of people who have never, since childhood, met an open doorway with an open mind."

Productivity metrics that ignore environmental impact are accounting tricks, not real progress.

Success comes from focusing on the long-term, not just short-term gains.

写作是保存真相的一种方式。