一个好故事是在翻完最后一页后仍久久萦绕在脑海中的故事。
能源转型不是终点，而是一段旅程。
Travel changes you. As you move through this life and this world you change things slightly， you leave marks behind， however small. And in return， life—and travel—leaves marks on you.
The future of computing lies in the development of systems that can verify their own correctness.
I've learned that success is not about the destination, but about the journey.