抽象的目的不是含糊不清，而是创建一个新的语义层次，在这个层次上可以绝对精确。
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
进步不仅仅是向前迈进，而是一起向前迈进。
构建软件系统最困难的部分是准确决定要构建什么。
Literature is the art of making the invisible visible.
从小处着眼。如果你从小处着眼，你就会保持小。如果你从大处着眼，你就会保持大。
Innovation is the backbone of modern mining—without it, we're just digging holes in the ground.