Opining on Tech

Thoughts on programming, type systems, and software engineering.

Recent Posts