- 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
最後更新於 7 小時之前
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
最後更新於 11 月之前
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 年之前