Think long-term, but act decisively when the time is right.
长期思考,但在时机成熟时果断行动。
我不让过去拖累我,我让它教导我。
某人的一小步就是人类的一大步。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
俄罗斯的面貌反映在它的人民的眼中。
我们必须通过写作来面对我们的恐惧和痛苦。
建筑是在光线下以形式组合而成的学问游戏,精确而壮丽。
The harder you work, the luckier you get.