最好的投资是那些能够执行的人，而不仅仅是想法。

选择一天，好好地享受——直到极致。我认为过去的经历能帮助我享受现在，我不愿浪费当下的任何一点去为未来苦恼。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Great companies don't just make profits; they make a difference.

"Die Kunst des Schreibens besteht darin, die Welt so zu beschreiben, wie sie ist, und gleichzeitig so, wie sie sein könnte."

科学不是神学的婢女；重点不是用科学证明宗教教条，而是理解世界的本来面目。

据说人无完人。又据说磨练出完美。你们对下词好吗?