—— 请按键盘 空白键 开始游戏 ——

释义:推究古代的事例来验证今天的情况,从而避免困惑;先揣度事情的始末,后仔细考虑,从而应对突发情况。这是对借鉴历史、谨慎行事的智慧的强调。 
The essence of literature is to capture the fleeting moments of life.
智者云:“话说出口之前,请三省自问。第一层自问,“信息是否为真?”,第二层自问:“有必要说么?”第三层自问:“是出于善意的么?”
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Always keep an open mind to new possibilities.