Michael J Klein

I like building and fixing tools to scale with high assurance 😄 🔧 Vim, Zsh, C, Coq, Haskell, Docker, Ubuntu, etc.