Nice experiment in minimalism. It's nice to see we can still build tiny systems like that.

Nice musing on how a type system can be a way to tame complexity or at least isolate it explicitly in one place.

Very nice explorations of the different behaviours type systems can have around inference.

This is indeed clear, the centralized web platforms are fragile by default. They are very prone to capture, this is what just happened.