Hi, I'm Kyle! Welcome to my blog, where I post my half-baked ideas on whatever I'm interested in at the moment. Currently, that's:
- Software correctness (e.g. functional programming, static analysis, build systems)
- Software tooling (Neovim, Spacemacs, CLI tools, Nix)
I'm always open to chat and meet new people; feel free to see what I'm up to on GitHub, or shoot me an e-mail at <my name with a dot in the middle>@pm.me.
All opinions expressed are solely my own and do not express the views or opinions of my employer. All writing is my own, with review from other humans.