The pace of change demands that we unlearn as much as we learn.
变化的速度要求我们忘记的和学习的一样多。
我们不是从祖先那里继承土地；我们是从子孙那里借来的。
做数学就是同时参与创造和发现的行为。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
A wealth of information creates a poverty of attention.
Because I understand, I am compassionate.
In the quantum world, observing something changes it. This is not a limitation of our technology, but a fundamental property of nature.