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

Adventures in AI-assisted proof generation

Updated 1 week ago

Updated 3 months ago

Musings on Generalized Commutative Data Types

Updated 4 months ago

Updated 3 months ago

Updated 6 months ago

Some small examples of dependent types in TypeScript

Updated 6 months ago

Updated 9 months ago

A collection of articles & links

Updated 6 months ago

Comments on posts on my blog, powered by Vssue

Updated 11 months ago

Minimal example of using Go generics to build an interpreter

Updated 11 months ago

Updated 12 months ago

Source code for my website, garrettmills.dev

Updated 1 week ago

A rather crappy rdbms

Updated 1 year ago

Updated 1 year ago

A library for multi-key reversible encryption

Updated 1 year ago