"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
验证不仅仅是发现错误；它关乎理解系统为何以某种方式工作。
你必须投入时间，因为总有你可以改进的地方。
任正非内部讲话稿
创新是将变化视为机会而非威胁的能力。
Your passion in life should fit you exactly； but your purpose in life should exceed you. Work for something much larger than yourself.
To me programming is more than an important practical art. It is also a gigantic undertaking in the foundations of knowledge.