"历史是由胜利者书写的,但真相往往藏在失败者的沉默中。"
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
完成事情的最好方法就是简单地开始。