I have a very simple idea on how to get rich. The first is to spend less than you make, and the second is to invest the difference wisely.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

生命是用来度过的，不是用来节省的。