Garrett Mills
Blog
Home
Main Site
Archive
Tags
Feeds
Write-ups and musings, often technical, sometimes not.
Recent(ish) Posts
2023-04-28
Down the Rabbit Hole of Linux Terminal Emulators
2023-03-20
Adventures in AI-assisted proof generation
2022-12-09
Generalized Commutative Data-Types
2022-07-12
Importing an OpenVPN Profile on Fedora 36
2022-04-18
Rancher K3s: Kubernetes on Proxmox Containers
2022-01-26
The Ultimate Guide to Cleaning a Dell XPS 15 Keyboard
2022-01-14
Runtime Data Validation from TypeScript Interfaces
2021-08-25
Photo Challenge 01: Self Portrait
2021-03-30
Rethinking Dependency-Injection in TypeScript
2020-12-01
Converting an Ionic/Angular Site into a Progressive Web App