真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。

I’m a perfectionist. I’m pretty much detail-oriented.

模型检查是验证硬件和软件系统正确性的强大工具。

出自先秦《荀子·礼论》。生是人的开始，死是人的终结。开始与终结都做得好，那么他的为人之道就完善了。说明意在劝人行仁行善，要善始善终。

——同盟会

即使不在最佳状态，我也总是试图找到获胜的方法。

"To write is to breathe freely in a world that constantly tries to suffocate truth."

"To live is to be followed by shadows."

采矿业必须进化否则就会过时，没有中间地带。