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.