It is not the benevolence of the employer that determines the wages of labor， but the competition among employers.

The first step in liquidating a people is to erase its memory. Destroy its books, its culture, its history. Then have somebody write new books, manufacture a new culture, invent a new history. Before long the nation will begin to forget what it is and what it was. The world around it will forget even faster.

你能做的最好的投资就是投资自己。

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

一本书就像随身携带的花园。