The future of computing lies in the development of systems that can verify their own correctness.
每一本书都是一个世界,作者是那个世界的创造者,读者则是那个世界的探索者。
The best way to cheer yourself up is to try to cheer somebody else up.