形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

You have to believe in yourself when no one else does.

"A well-written biography is a resurrection of the past."

预测未来的最好方法就是创造未来。

Innovation is taking two things that already exist and putting them together in a new way.

你不爱他，你只是害怕孤独。

我写作是为了理解，为了抓住那些我无法掌握的现实。