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 2020-08-11
Adventures in AI-assisted proof generation
Updated 2024-09-28 03:37:43 +00:00