The future of computing lies in the development of systems that can verify their own correctness.
译文：舍弃他的短处，选取他的长处。
眼睛是什么也看不见的，应该用心去寻找。
物理学的美丽在于它能够用最深刻的理论解释最简单的现象。
Every fish we farm sustainably is a step toward a healthier planet.
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.