The writer’s role is to question, not to comfort.
Be less curious about people and more curious about ideas.
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
预测你未来的最好方法就是去创造它。