The future of computing lies in the development of systems that can verify their own correctness.
译文:舍弃他的短处,选取他的长处。
物理学的美丽在于它能够用最深刻的理论解释最简单的现象。
I will tell you what I will do and what I will not do. I will not serve that in which I no longer believe whether it call itself my home, my fatherland, or my church: and I will try to express myself in some mode of life or art as freely as I can and as wholly as I can, using for my defence the only arms I allow myself to use—silence, exile, and cunning.
The first love is only a little foolishness and a lot of curiosity.