"Memory is the only paradise from which we cannot be driven."
你不必喜欢它,但你必须接受它是艺术。
过程即艺术,成品只是证据。
对效率的追求常常会背道而驰。不要总想着寻找可以快速完成任务的方法,而应该以找到你不想停下来的任务为目标。
The elegance of a proof is as important as its correctness.