Reading Notes — Types and Programming Languages

The ultimate type-level trickery

How to actually write non-trivial programs in C

Write your own Zod from scratch

There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.

I want sum types, so let's eschew all idiomatic Go code and best practices to hack the language and add them