记忆,即使是你最珍贵的记忆,也会以惊人的速度消逝。但我不这么认为。我最珍视的记忆,我从未看到它们褪色。
数学家最好的作品是艺术,一种高度完美的艺术,像想象的最秘密的梦想一样大胆,清晰而透明。
The challenge in model checking is not just to find errors, but to understand why they occur.
In business, if you're not moving forward, you're falling behind.