Blog

I write about systems, verification and what I learn while building.

Posts are published in the language they were written in. · RSS