The best armor of old age is a well-spent life perfecting it.
The revolution is not an apple that falls when it is ripe. You have to make it fall.
只有掌握核心技术,才能掌握自己的命运。
生活是我们可以控制和不能控制之间的平衡。我正在学习在努力和放弃之间生活。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。