The thrill of discovery never gets old.
有些人是亲戚却不像亲人，而有的人不是亲戚却比亲人更亲近；兄弟之间如果互相伤害，那还不如朋友。
行为金融学告诉我们，市场并不总是理性的，参与市场的人也是如此。
谈《罗生门》
You must force yourself to consider opposing arguments.Especially when they challenge your best-loved ideas.
In the silence of reading, we find the loudest truths.
The challenge in model checking is not just to find errors, but to understand why they occur.