The time which we have at our disposal every day is elastic; the passions that we feel expand it, those that we inspire contract it; and habit fills up what remains.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

The task of the writer is to confront the chaos of existence and to find some kind of order within it.

要赢得比赛，你必须相信自己是最好的。如果不是，那就假装是。

To write is to leave a legacy of thought.

过去是一个异国；他们在那里做事的方式不同。