The future of computing lies in the development of systems that can verify their own correctness.

科学中的每一项伟大发现都是大胆想象的结果。

历史总是个人的。

"The first draft of anything is shit."

Every man is his own God. If you give up yourself, who else will save you? A strong man can save.

数学是理性的音乐。

最大的贫穷不是生活在物质的沙漠中，而是作为流亡者生活在自己的心里。