最好的书是那些挑战你的书。

The future of computing lies in the development of systems that can verify their own correctness.

如果剑很短而笔很锋利，那么笔就比剑更有力量。

那些许诺我们人间天堂的人除了地狱什么都没有搞出来。