Failure is interesting — it’s part of making progress. You never learn from success, but you do learn from failure.

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

科学的严谨性要求我们清楚地区分自然本身的赤裸形象与我们随意为其披上的华丽外衣。

Neither the life of an individual nor the history of a society can be understood without understanding both.

如果觉悟了自性，众生就是佛；如果迷失了自性，佛也是众生。