艺术家最伟大的工具不是画笔或凿子,而是思想。
"The writer's duty is to tell the truth, even when it is uncomfortable."
机器人技术的进步,是为了让人类生活更美好。
I don't wait for inspiration. I create it.
I stand up for what I believe in and I don’t back down.
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."