The world is a cruel place, but it is also beautiful.
世界是残酷的，但它也是美丽的。
A good mathematician is one who can see analogies between theorems; a great mathematician is one who can see analogies between analogies.
成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
The past is never dead. It's not even past.
Diversity in thought and background leads to better solutions and stronger organizations.
我不想成为明星。我想成为一名演员。