New article: In defence of correctness. https://blog.ploeh.dk/2026/03/03/in-defence-of-correctness
In defence of correctness

Not all software needs to be correct, but a large subset does.

@ploeh if laws are „a little like a computer program“, aren‘t states/nations the actual „execution environments“ and courts rather something like exception handlers?

@ajkuebler I suppose you're right 😀

I only meant that comparison in the loosest sense, not to be taken too literally.