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