I’m a software engineer in Seattle, building Planarian, a self-healing, formally verified layer for NixOS.
Recent writing
-
On autonomic computing and Planarian
Why I want computers that fix themselves, and how I’m building one with AI agents.