The future of computing lies in the development of systems that can verify their own correctness.
写作是一段通往未知的旅程，是在存在的混沌中不断寻找意义。
生活中最大的幸福是确信我们被爱；被爱是因为我们自己，或者更确切地说，尽管我们自己。
I would like to fly in space.Absolutely.That would be cool.I used to just do personally risky things， but now I’ve got kids and responsibilities， so I can’t be my own test pilot.That wouldn’t be a good idea.But I definitely want to fly as soon as it’s a sensible thing to do.
如果一件事情对你很重要，即使成功的概率很小，你也应该去做。
如果两方发生争执，不要争吵，让第三方来判决。
失败只是另一种学习方式。
La literatura es una forma de resistencia contra la banalidad del mundo.
