艺术的功能是让我们看到事物，而不是让我们同意艺术家的观点。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

渔民的智慧不在于他捕获了多少，而在于他留下了多少。

小说中的人物比他的创造者拥有更多自由——这就是支撑我写作的讽刺。

未来的商业竞争，一定是效率的竞争。