The future of computing lies in the development of systems that can verify their own correctness.

Don’t tell me how good you make it; tell me how good it makes me when I use it.

The best investment is in yourself.

成功之梯最好是通过踏上机会的横档来攀登。

最可持续的产品是能持续一生的产品。