What we fear doing most is usually what we most need to do.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
能源创新必须与责任相平衡——进步不能以牺牲地球为代价。
我首先认为自己是一个诗人,其次是一个音乐家。
最痛苦的存在状态是记住未来,尤其是你永远不会拥有的未来。
Life isn’t about having, it’s about being.