- 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
업데이트됨 2 일 전
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 년 전