每一部电影都是一次旅程，每一次旅程都是一部电影。
诗歌是灵魂的语言，而灵魂用心说话。
我不相信“方法”的概念。我相信“时刻”的概念。
Moving to the cloud is not an option for enterprises, but a must.
新闻是启蒙人类思想、改善其作为理性、道德和社会存在的最佳工具。
故事不仅仅是娱乐。它们是我们理解世界和我们在其中位置的方式。
When making something， always get a few extras — extra material， extra parts， extra space， extra finishes. The extras serve as backups for mistakes， reduce stress， and fill your inventory for the future. They are the cheapest insurance.
Life is a leaf of paper white，thereon each of us may write his word or two.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
