通往成功的道路总是在建设中。
语出西汉·桓宽《盐铁论·疾贪》。表:古代测量日影以计时的标杆。要想让影子正,就要先将标杆树直;要想让下面的人清廉,就要先自己做到清廉。说明上位是下位的表率。
生活中没有什么事情像你在思考它时认为的那么重要。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I believe in the power of storytelling to change hearts and minds.