- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Joined on
Isolate partial layers from a Docker image
Updated 5 days ago
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Updated 1 year ago
Adventures in AI-assisted proof generation
Updated 1 year ago
Updated 2 years ago
Musings on Generalized Commutative Data Types
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Some small examples of dependent types in TypeScript
Updated 2 years ago
Updated 2 years ago
A collection of articles & links
Updated 1 year ago
Comments on posts on my blog, powered by Vssue
Updated 2 years ago
Minimal example of using Go generics to build an interpreter
Updated 2 years ago
Updated 2 years ago
Source code for my website, garrettmills.dev
Updated 6 days ago
A rather crappy rdbms
Updated 3 years ago