生命太短暂,不能渺小。
The best way to cheer yourself up is to try to cheer somebody else up.
如果你认为一个人的本质是好的,就要随时为这个人提供帮助,即使其他人都离他而去。任何人都可能陷入困境。在别人需要的时候,一个偶然的善意行为就会改变他的生命轨迹,造就意想不到的友谊或忠诚。
Success is not the key to happiness. Happiness is the key to success. If you love what you are doing, you will be successful.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
文明所能达到的最高境界是无缝的信任之网--没有太多的程序,只有完全可靠的人们正确地相互信任......