About

I’m Tim Carstens, a computer scientist in Seattle.

Over the years I’ve spent time programming in Haskell, studying algebraic geometry, looking for vulns, and writing verified software. I make no claims of expertise in any of these areas (but that doesn’t stop me from writing about them!).

I’m currently doing lots of things, though I keep no centralized public record of it all. Here you may find smatterings of things I’ve been up-to over the past several years. Maintenance is not a goal of mine; hence, beware of any errors in discourse which may be present.