Hacker News with Generative AI: Invariants

What is an invariant? (2023) (matklad.github.io)
I extolled the benefits of programming with invariants in a couple of recent posts. Naturally, I didn’t explain what I think when I write “invariant”. This post fixes that.
The problem with invariants is that they change over time (surfingcomplexity.blog)