互联网正在成为明日地球村的广场。

写作是使不可见之物可见的艺术。

Pressure is a privilege - it means you're in a position to do something great.

我想跑一场好比赛，跑出好成绩，并享受它。

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

最好的故事是与读者共鸣的故事。

我们生活在一个墙有耳、地有眼的世界。