今天很残酷，明天更残酷，后天很美好，但绝大部分人是死在明天晚上，看不到后天的太阳。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
我们要以全球视野谋划未来发展，积极参与国际能源治理。
Quality is not an act, it is a habit.
一个在真正饥饿时被喂食、在疲倦时被允许睡觉的婴儿会是一个满足的婴儿。