Garrett Mills
Blog
Home
Main Site
Archive
Tags
Feeds
Write-ups and musings, often technical, sometimes not.
Recent(ish) Posts
2024-08-11
An Irrational Flight Log
2024-05-15
Miscellaneous Photos from Commencement 2024
2024-04-22
Mitigating the iconv Vulnerability for PHP (CVE-2024-2961)
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