形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
If you repeated what you did today 365 more times will you be where you want to be next year？
我相信善良和同情的力量。
麻雀因孔雀驮著翎尾而替它担忧。
I used to walk down the street like I was a star... I want people to walk around delusional about how great they can be.