学至于乐则成矣。
学习达到快乐的境界就成功了。
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.
世界是一个舞台,但剧本选角很糟糕。
"Books are the mirrors that reflect our struggles."
一本伟大的书是那种让你改变的书,它给你带来对生活的新视角和对人类状况的更深理解。