- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Joined on
Adventures in AI-assisted proof generation
Updated 1 week ago
Updated 3 months ago
Musings on Generalized Commutative Data Types
Updated 4 months ago
Updated 3 months ago
Updated 6 months ago
Some small examples of dependent types in TypeScript
Updated 6 months ago
Updated 9 months ago
A collection of articles & links
Updated 6 months ago
Comments on posts on my blog, powered by Vssue
Updated 11 months ago
Minimal example of using Go generics to build an interpreter
Updated 11 months ago
Updated 12 months ago
Source code for my website, garrettmills.dev
Updated 1 week ago
A rather crappy rdbms
Updated 1 year ago
Updated 1 year ago
A library for multi-key reversible encryption
Updated 1 year ago