The future of computing lies in the development of systems that can verify their own correctness.
The truth is always stranger than fiction.
The spirit of moderation should also be the spirit of the lawgiver.
The moment you start to think about what you're going to do if you lose, you have lost.
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.
移动的手指在书写；一旦写下，便继续前行：无论是你的虔诚还是智慧，都无法引诱它回来取消半行，你的泪水也无法洗去一个字。
The future of farming lies in the balance of tradition and technology.