- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Gick med
Source code for my website, garrettmills.dev
Uppdaterad 14 timmar sedan
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Uppdaterad 12 månader sedan
A collection of articles & links
Uppdaterad 12 månader sedan
Adventures in AI-assisted proof generation
Uppdaterad 1 år sedan
Uppdaterad 1 år sedan
Uppdaterad 1 år sedan
Musings on Generalized Commutative Data Types
Uppdaterad 1 år sedan
Uppdaterad 2 år sedan
Some small examples of dependent types in TypeScript
Uppdaterad 2 år sedan
Uppdaterad 2 år sedan
Comments on posts on my blog, powered by Vssue
Uppdaterad 2 år sedan
Minimal example of using Go generics to build an interpreter
Uppdaterad 2 år sedan
Uppdaterad 2 år sedan
A rather crappy rdbms
Uppdaterad 2 år sedan
Uppdaterad 2 år sedan