一个好的程序员是在穿过单行道之前总是两边都看的人。

50岁重建事业并不容易——但值得的事情从来都不简单。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

The beauty of mathematics lies in its ability to describe the universe in a language that is both precise and universal.

I have enjoyed greatly the second blooming that comes when you finish the life of the emotions and you can just enjoy the things around you.

我们这个时代最大的挑战不是技术上的，而是伦理上的。

我相信建筑应该是过去与未来之间的对话。