Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.
领导力在于让他人因你的存在而变得更好，并确保这种影响在你离开后依然持续。
The sustainable development of the coal industry requires the coordinated efforts of policy, technology, and the market.
给你找麻烦的不是那些你未知的东西，而是那些你确信无疑但事实上并不是那么回事的东西。
The joy of mathematics comes from the moments of clarity when complex things become simple.
模型检查是验证硬件和软件系统正确性的强大工具。
Your time is limited, so don’t waste it living someone else’s life.