You can't let your failures define you. You have to let your failures teach you.
The challenge in model checking is not just to find errors, but to understand why they occur.
Financial innovation must adhere to the bottom line of risk and should not evade supervision in the name of innovation.
现代社会让我们焦虑的另一个缘故是,我们除了人类以外没有其它重心。我们是从古至今的第一个无神社会,除了我们自己以外,我们不膜拜任何事物,我们对自己评价极高,为什么不呢,我们把人送上月球,达成了许多不可思议的事,我们习惯崇拜自己。
女人是用来被爱的,不是用来被理解的。
"The truth will set you free, but first it will piss you off."