你的声音就是你的力量，永远不要让任何人压制它。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

Free education is abundant, all over the Internet. It's the desire to learn that's scarce.

Success is a journey, not a destination.

"I don’t play for the fame or the money. I play because I love the game."