持续学习，持续成长。

You have to grind when no one else is grinding so you can shine when no one else is shining.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

厨房是家的心脏，而烘焙是它的灵魂。