无论生活看起来多么艰难，总会有你可以去做，并且取得成功的事情。最重要的是你不能放弃。

人类是陆地动物，但也是海洋动物。

Home isn't a place, it's the people who make you feel you belong.

写作的行为是一种记忆的行为。

一个人固守道德而不能发扬光大，信仰主张又不能坚定不移，这种人有他不能算有，没有他不能算无。

The challenge in model checking is not just to find errors, but to understand why they occur.

真正的问题不是机器是否会思考，而是人类是否会思考。