- Kansas City, Kansas
- https://garrettmills.dev/
-
I'm a speaker, developer, and designer who builds things for the modern web.
- Dołączył
Source code for my website, garrettmills.dev
Zaktualizowano 5 miesięcy temu
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Zaktualizowano 11 miesięcy temu
A collection of articles & links
Zaktualizowano 11 miesięcy temu
Adventures in AI-assisted proof generation
Zaktualizowano 1 rok temu
Zaktualizowano 1 rok temu
Zaktualizowano 1 rok temu
Musings on Generalized Commutative Data Types
Zaktualizowano 1 rok temu
Zaktualizowano 2 lat temu
Some small examples of dependent types in TypeScript
Zaktualizowano 2 lat temu
Zaktualizowano 2 lat temu
Comments on posts on my blog, powered by Vssue
Zaktualizowano 2 lat temu
Minimal example of using Go generics to build an interpreter
Zaktualizowano 2 lat temu
Zaktualizowano 2 lat temu
A rather crappy rdbms
Zaktualizowano 2 lat temu
Zaktualizowano 2 lat temu