夜晚是一面伟大的镜子，但星星是它的倒影。

我不想成为烈士，我想成为幸存者。

Profitability and responsibility can go hand in hand.

Making something variable is easy. Controlling duration of constancy is the trick.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

我不相信来世。只有今生。好好把握它。

对艺术家来说最危险的不是失败，而是成功。