- 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年前