如果你感到迷茫,就看看自己的内心。
The future of computing lies in the development of systems that can verify their own correctness.
世界因你的榜样而改变,而非你的意见。
一门科学的历史就是它的问题域的历史。
"You got to put the past behind you before you can move on." And I think that's what my running was all about.
第二天的公司做出高质量的决策,但他们做出高质量的决策很慢。为了保持第一天的活力和活力,你必须以某种方式做出高质量、高速度的决策。
The mirror is not just a surface, it's a dimension.