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

  • Registrado el

Source code for my website, garrettmills.dev

Actualizado hace 4 meses

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

Actualizado hace 11 meses

A collection of articles & links

Actualizado hace 11 meses

Adventures in AI-assisted proof generation

Actualizado hace 1 año

Actualizado hace 1 año

Actualizado hace 1 año

Musings on Generalized Commutative Data Types

Actualizado hace 1 año

Actualizado hace 2 años

Some small examples of dependent types in TypeScript

Actualizado hace 2 años

Actualizado hace 2 años

Comments on posts on my blog, powered by Vssue

Actualizado hace 2 años

Minimal example of using Go generics to build an interpreter

Actualizado hace 2 años

Actualizado hace 2 años

A rather crappy rdbms

Actualizado hace 2 años

Actualizado hace 2 años