The best time to work on your career is when you're in your 20s.
建筑不是关于形式,而是关于关系。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."