Kyle Chui

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 .

Blog