I don’t have time to hate people who hate me, because I’m too busy loving people who love me.

诗人是沉默宇宙的声音。

最好的还在后头。

创新不是少数人的专利，而是每个人的机会。

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

没有我们开采的金属，能源转型就无法实现。