- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Joined on
2020-08-11
Block a user
Adventures in AI-assisted proof generation
Updated 2024-09-28 03:37:43 +00:00