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.
最大的贫穷不是生活在物质的沙漠中,而是作为流亡者生活在自己的心里。