文字的力量不在于它们的意义，而在于它们唤起情感的能力。

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。

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.

If you get up in the morning and think the future is going to be better, it is a bright day. Otherwise, it's not.