- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Регистриран
Source code for my website, garrettmills.dev
Последна модификация преди 3 дни
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Последна модификация преди 12 месеца
A collection of articles & links
Последна модификация преди 12 месеца
Adventures in AI-assisted proof generation
Последна модификация преди 1 година
Последна модификация преди 1 година
Последна модификация преди 1 година
Musings on Generalized Commutative Data Types
Последна модификация преди 1 година
Последна модификация преди 2 години
Some small examples of dependent types in TypeScript
Последна модификация преди 2 години
Последна модификация преди 2 години
Comments on posts on my blog, powered by Vssue
Последна модификация преди 2 години
Minimal example of using Go generics to build an interpreter
Последна модификация преди 2 години
Последна модификация преди 2 години
A rather crappy rdbms
Последна модификация преди 2 години
Последна модификация преди 2 години