Welcome to my blog

I'm a software engineer interested in system safety and type systems. I maintain several open-source software projects, mostly in the Rust ecosystem. My writing here is mostly about software, but often touches on other subjects. Occasionally, I also write about gardening and urbanism. Everything I write is human-authored.

In online spaces I often go by the alias @zesterer.