I have great faith in fools； self-confidence， my friends call it.

Talent is God-given. Be humble. Fame is man-given. Be grateful. Conceit is self-given. Be careful.

"Verification is not just about finding bugs; it's about understanding why the system works the way it does."

译文：一个人要是喜欢在众人面前争个长短，那么他必定会在背后说人的是非。赏析：喜欢争长短的人，大多自私自利，刻薄寡恩，一旦别人伤害他的利益时，他就会说三道四。

Diplomacy is to make your enemy your friend, not to make your friend your enemy.

我创作不是为了迎合市场，而是表达自己。