I don't believe in perfection. I think that's a very dangerous idea. It's a very unattainable idea.
我不喜欢软弱,我喜欢坚强。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."