最好的程序是这样写的：计算机可以快速执行它们，人类可以清楚地理解它们。理想情况下，程序员是一位散文家，他使用传统的美学和文学形式以及数学概念来传达算法的工作原理，并说服读者结果是正确的。

采矿业的可持续性不是一种选择，而是我们未来的必然需求。

The last of human freedoms is the ability to choose one's attitude in any given set of circumstances.

最神奇的事情往往发生在我们视线的角落里。

我不需要理由去自信。

小说是可能的艺术，而可能总是比现实更可怕。