I think the most important thing in a movie is the story.
最大的风险就是不冒任何风险。在一个快速变化的世界里,唯一注定失败的策略就是不冒险。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."