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

"I always try to find the extraordinary in the ordinary."

What we need to do is always lean into the future; when the world changes around you and when it changes against you—what used to be a tail wind is now a head wind—you have to lean into that and figure out what to do because complaining isn't a strategy.