The truth is often hidden in the spaces between words.

最好的投资是那些能让事情发生的人。

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

To live is to embrace the contradictions of life.

最终，我们都独自面对自己的思想和恐惧。

Money is not a motivating factor. My motivation comes from playing the game I love.

【译文】 孔子说：“明智的人喜欢水，仁慈的人喜欢山；明智的人好动，仁慈的人好静；明智的人快乐，仁慈的人长寿。”

基建人要耐得住寂寞，经得起考验。