The first step towards philosophy is incredulity.
预测未来的最好方式就是创造未来。
Quality is our lifeline and we must never compromise.
I'm a firm believer that you create your own luck.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."