用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
A journey is a person in itself; no two are alike. And all plans, safeguards, policing, and coercion are fruitless. We find after years of struggle that we do not take a trip; a trip takes us.
Home is not where you are born, but where all attempts to escape cease.
I’m not a guy that’s going to let my love for my work ethic down.
旧世界里，时间30％用来创建伟大服务，70％用来为它吆喝。新世界里，比例正好倒过来。