It's not about money. It's about the people you have, how you're led, and how much you get it.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
成功的关键是将我们的意识集中在我们所渴望的事物上，而不是我们所恐惧的事物上。
Emotions are adaptations that have evolved to coordinate other psychological mechanisms in solving specific adaptive problems.
Don't wait for permission to innovate - just start.