Success is not an accident; it’s the result of habits.
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
You have to believe in yourself, even when no one else does.
身体不是一个东西，它是一种情境：它是我们对世界的把握和我们对我们计划的草图。
Overhead, without any fuss, the stars were going out.
