群众是残忍的,但个人是善良的。
做正确的事,而不是容易的事。
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
进步主要取决于人类本性中最强大而不仅仅是最高尚的力量能否被用于增加善。
愤怒是一种强大的力量,但它也可以是一种创造性的力量。