The future of computing lies in the development of systems that can verify their own correctness.
世界就是所有实际情况。
我们正处于一个范式转变的过程中,焦点正在从个人转向集体。
The truth is always something that is told, not something that is known.
我喜欢争论,我喜欢辩论,我不希望任何人只是坐在我边上,同意我的观点,这不是他们的工作。
"I always try to make movies that are entertaining, but also have something to say."