被原谅只是礼物的一半。另一半是我们也可以原谅，我们可以从怨恨和指责的古老负担中解脱出来。
"To be forgiven is only half the gift. The other half is that we also can forgive, that we can release ourselves from the old, old burden of resentment and recrimination."
Never, ever give up.
The world is changing very fast. Big will not beat small anymore. It will be the fast beating the slow.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
科学的进步就像古老的沙漠小径，散落着被抛弃的理论的苍白骨架，这些理论曾经看似拥有永恒的生命。
