当你看起来最轻松时,往往是你最担忧的时候。
The only way to do great work is to love what you do.
"The future of system design lies in the integration of formal methods with traditional engineering practices."
我想写一本既有趣又能让人思考的书。