信仰不是要相信你所看到的，而是去相信你所看不到的，而这就是信仰的回报。

学问的道理没有别的，就是找回那丧失了的善心罢了。

In the intersection of tradition and modernity, we find the most profound expressions of humanity.

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

True spirituality is about nothing else than learning to die.

科学是关于在知识和技术上突破界限。