做出伟大工作的唯一方法就是热爱你所做的事。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Sustainability must be profitable, or it won't be sustainable.
I don’t need a reason to be successful.