每个人都想要更好的生活，很少人想成为更好的人。
让人们快乐的最好方法就是让他们笑。
痛苦的秘诀在于有闲暇去纠结自己是否幸福。
There is nothing which I dread so much as a division of the republic into two great parties, each arranged under its leader, and concerting measures in opposition to each other.
To me, fearless is not the absence of fear. It's not being completely unafraid. To me, fearless is having fears. Fearless is having doubts. Lots of them. To me, fearless is living in spite of those things that scare you to death.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."