Hi, there. My name is Garrett. I'm a software developer and speaker who likes to make things.
Down the Rabbit Hole of Linux Terminal Emulators
Adventures in AI-assisted proof generation
Generalized Commutative Data-Types
Rancher K3s: Kubernetes on Proxmox Containers
Runtime Data Validation from TypeScript Interfaces
Rethinking Dependency Injection in TypeScript
Want to connect with Garrett Mills?
Create an account to connect with Garrett Mills. You can also sign in below to proceed if you already have an account.