The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
抽象的目的不是含糊不清,而是创建一个新的语义层次,在这个层次上可以绝对精确。
Quality is not a task; it is a responsibility.
A proof is a repeatable experiment in persuasion.
The key to success is to keep learning and adapting.