—— 请按键盘 空白键 开始游戏 ——

用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
Data-driven decision making.
无论当下有什么,接受它,就好像你选择了它。
Lisp is worth learning for the profound enlightenment experience you will have when you finally get it; that experience will make you a better programmer for the rest of your days, even if you never actually use Lisp itself a lot.