"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

You can't control how other people feel, but you can control how you react to them.

艺术是我无声尖叫的方式。