最好的技术是无形的，它只是默默地发挥作用。
The best technology is invisible—it just works.
数学之美不在于其复杂性，而在于其简洁性以及它揭示隐藏真理的方式。
The arithmetic of algebraic varieties is a window into the hidden structures of mathematics.
过去总是紧张的，未来是完美的。
软件架构的目标是尽量减少构建系统所需的知识量。