Garrett Mills garrettmills
  • Kansas City, Kansas
  • https://garrettmills.dev/
  • I'm a speaker, developer, and designer who builds things for the modern web.

  • Joined on

An example configuration of Jest + TypeScript + Puppeteer for E2E testing.

Updated 10 months ago

Adventures in AI-assisted proof generation

Updated 12 months ago

Updated 1 year ago

Musings on Generalized Commutative Data Types

Updated 1 year ago

Updated 1 year ago

Updated 1 year ago

Some small examples of dependent types in TypeScript

Updated 1 year ago

Updated 2 years ago

A collection of articles & links

Updated 10 months ago

Comments on posts on my blog, powered by Vssue

Updated 2 years ago

Minimal example of using Go generics to build an interpreter

Updated 2 years ago

Updated 2 years ago

Source code for my website, garrettmills.dev

Updated 3 months ago

A rather crappy rdbms

Updated 2 years ago

Updated 2 years ago