I think scars are like battle wounds - beautiful in a way. They show what you've been through and how strong you are for coming out of it.

有些人不喜欢改变，但如果替代方案是灾难，你就需要拥抱变化。

If you want to be the best, you have to do things that other people aren't willing to do.

无思无虑，心境应当平静如水；不求冒进也不忘记，学业当如流水一般永无止境。

"Freedom is the right to tell people what they do not want to hear."

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

The love of democracy is that of equality.