充满爱的工作是一切生活和一切艺术的秘密。

恋爱是艰苦的，不能期待它象美梦一样出来。

永远不要低估强大公司文化的力量。

We burn very brightly. Please don't ever stop .

过去从未死去，它甚至还没有过去。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

软件开发中最重要的一个方面是明确你要构建什么。