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

建筑必须是生命的容器。

We hold ourselves back in ways both big and small, by lacking self-confidence, by not raising our hands, and by pulling back when we should be leaning in.

"The past is a puzzle, and every piece matters."