My attitude is that if you push me towards something that you think is a weakness, then I will turn that perceived weakness into a strength.

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

如果他们恨你，就让他们恨去吧，看着钱越堆越高。

"Quantum mechanics is not just a theory, it is a framework that has fundamentally changed our understanding of reality."

实证研究者最重要的技能不是数学，而是判断力。