About

Software engineer with a weakness for theory, functional programming, and rabbit holes.

I work professionally with Kotlin, TypeScript, and Kubernetes, and spend my spare time exploring CS theory, functional programming, developer tooling, and systems software.

Background & Philosophy

I enjoy exploring the intersection of expressive type systems, clean abstractions, and pragmatic engineering. I believe software tools should be:

• Fast and dependable: Minimal overhead, predictable behavior, and clean resource utilization.
• Delightfully focused: Doing one job exceptionally well without unnecessary complexity.
• Readable and maintainable: Code that communicates its intent clearly and honestly.

Interests & Tech Stack

• Languages & Core: Haskell, Kotlin, TypeScript / JavaScript, Nix, C.
• Professional & Infrastructure: Kubernetes, Linux systems, Cloud infrastructure, Angular.
• Explorations & Projects: Language design, parsers & type theory, IDE & editor extensions, Web Extensions, minimalist desktop environments.

When I’m not building software, I enjoy experimenting with language grammars, customizing desktop environments, and learning about low-level systems.