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

The ocean is our greatest teacher—if we listen carefully, it will show us how to farm its bounty responsibly.

天文学的历史是一部视野不断退却的历史。

仅仅观察、实验、理论化和计算是不够的。人们还必须想象。