如果你足够仔细地观察，日常总是非凡的。
The everyday is always extraordinary if you look closely enough.
The fact remains that getting people right is not what living is all about anyway.
We have really everything in common with America nowadays, except, of course, language.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
化学最令人兴奋的地方在于能够创造出从未存在过的新分子。
生命的历史是适应的历史。
If you’re not willing to take risks, you’re not ready to lead.
技术积累是一个长期过程，不能急功近利。
Writing is a way of survival.