你不能回头看,你只能把过去抛在脑后,在未来找到更好的东西。
性能的关键在于优雅,而不是大量的特殊情况。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.
我不是一个完美的人,我从来没有声称过。但我每天都在努力变得比昨天更好。
过去是一个谜,我们都在试图拼凑它。