I'm not a rapper, I'm a revolution.
我不是说唱歌手,我是一场革命。
I'm not comfortable with comfort. I'm only comfortable when I'm uncomfortable.
形式系统的发展彻底改变了我们对数学的理解。
The best way to predict the future is to design it.
Data is the new oil, but only if you refine it.