Comment by drooby

Let's be more ambitious with the scaffolding and tooling that makes software correct, secure, and easy to reason about.