My goal is not to be better than others, but to be better than myself.
我的目标不是比别人更好,而是比过去的自己更好。
我们都是孤独的,生来孤独,死去孤独,尽管有真实的浪漫杂志,我们总有一天会回顾我们的生活,看到尽管有伴侣,我们一直都是孤独的。
我们都有裂痕,那是光照进来的地方。
我坚信努力工作和奉献会有回报。
You don’t have to get it perfect, you just have to get it going.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。