成为一名作家就是成为一名专业的观察者。

The challenge is to make the audience believe in the character, not in the actor.

文明就像野蛮深海上的一层薄冰。

The only thing that is impossible is the thing you don’t try.

模型检查是验证有限状态并发系统正确性的强大技术。

真正成功的唯一方法是为他人创造价值。