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
Isolate partial layers from a Docker image
Updated 2024-09-28 08:00:17 +00:00
An example configuration of Jest + TypeScript + Puppeteer for E2E testing.
Updated 2024-09-28 16:27:28 +00:00
Adventures in AI-assisted proof generation
Updated 2024-09-28 03:37:43 +00:00
Updated 2024-09-28 04:17:42 +00:00
Musings on Generalized Commutative Data Types
Updated 2024-09-28 04:12:22 +00:00
Updated 2024-09-28 06:26:06 +00:00
Updated 2024-09-28 03:35:31 +00:00
Some small examples of dependent types in TypeScript
Updated 2024-09-28 05:26:48 +00:00
Updated 2024-09-28 08:24:14 +00:00
A collection of articles & links
Updated 2024-09-28 04:55:18 +00:00
Comments on posts on my blog, powered by Vssue
Updated 2022-05-06 02:28:59 +00:00
Minimal example of using Go generics to build an interpreter
Updated 2024-09-28 07:51:24 +00:00
Updated 2024-09-28 05:58:07 +00:00
Source code for my website, garrettmills.dev
Updated 2024-09-28 03:34:48 +00:00
A rather crappy rdbms
Updated 2024-09-28 10:46:59 +00:00