Hi, I'm Kyle, a senior at UCLA studying Computer Science. 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 (Functional programming, type systems, build systems)
- Software tooling (Neovim, NixOS)
I'm always open to chat and meet new people; feel free to see what I'm up to on LinkedIn or Github, or e-mail me at .