量子计算的未来不仅仅是关于更快的计算机，而是关于思考问题及其解决方案的全新方式。
Invention is not enough. Tesla invented the electric power we use, but he struggled to get it out to people. You have to combine both things: invention and innovation focus, plus the company that can commercialize things and get them to people.
成功只有在字典里才会出现在工作之前。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
