成功不在于你赚了多少钱,而在于你影响了多少人的生活。
广义相对论可能是所有现有物理理论中最美的。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The world is full of broken people.
La verdadera literatura no tiene fronteras, ni geográficas ni temporales.