"The future is a dark void, and we are all just stumbling towards it blindly."

创新是基建行业的生命力，没有创新就没有未来。

用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。

Real technology is when you don’t feel its existence.

Leadership is about inspiring others to see the potential in themselves and the work they do.

创造出前所未见的东西是最伟大的挑战。