Hi, I’m Teddy. I write about software sometimes.

I’m interested in software bugs. Specifically:

  • Why are there so many bugs?
  • What can we do as an industry to stop creating so many bugs?
  • Alongside that, what can we do to minimize the harm caused by bugs?

This is a rabbit hole leading to things like programming language design, API hardening, formal verification, and computer security.

I work at Google, but this blog contains my personal opinions.