Adventures in AI-assisted proof generation

Updated 1 week ago

Updated 3 months ago

Musings on Generalized Commutative Data Types

Updated 4 months ago

Wrapper around pdflatex to use pythontex in lyx.

Updated 2 years ago

Updated 3 months ago

Updated 6 months ago

Some small examples of dependent types in TypeScript

Updated 6 months ago

Updated 8 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 4 months ago

Updated 4 months ago

Source code for my website, garrettmills.dev

Updated 1 week ago