我不需要许可来闪耀。
通往成功的道路总是在建设中。
数学不仅仅是关于数字,而是关于模式、结构和关系。
语出西汉·桓宽《盐铁论·疾贪》。表:古代测量日影以计时的标杆。要想让影子正,就要先将标杆树直;要想让下面的人清廉,就要先自己做到清廉。说明上位是下位的表率。
生活中没有什么事情像你在思考它时认为的那么重要。
牙痛的人认为牙齿健康的人都快乐。穷人对富人也犯同样的错误。
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.