程序最重要的属性是它是否实现了用户的意图。

But this long run is a misleading guide to current affairs. In the long run we are all dead.

挑战不仅仅是给人们钱，而是要理解他们在约束下如何做决策。

理解是所有智慧的基础。

采矿技术的创新将是该行业在下个世纪保持活力的关键。