ENIAC是现代计算机发展史上的第一个巨大飞跃。

The power of a story lies not in its length, but in its depth and the universality of its themes.

采矿技术不是为了取代人，而是为了让他们能够做得更好。

先验与后验的区别是认识论的，而非形而上学的。

衡量一个文明的标准是它如何对待其最弱的成员。