模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
The only thing more dangerous than ignorance is arrogance.
创新需要包容失败的文化,快速试错才能快速成长。
What we learn from history is that people don't learn from history.
人类对变化过敏。他们喜欢说,“我们一直都是这样做的。”我试图与之抗争。这就是为什么我的墙上有一个逆时针运行的时钟。
A good farmer is nothing more nor less than a handy man with a sense of humus.