It's not about ideas. It's about making ideas happen.
Never underestimate the power of small, consistent improvements—they lead to big results over time.
I'm interested in pushing buttons and being provocative and making people think.
The greatest single achievement of computer science is the development of the concept of the algorithm.
某个命题可以从某一组公理通过某一规则系统推导出来,这一事实本身并不使其为真。
The world is not a wish-granting factory.