https://durwasa-chakraborty.github.io/tags/invariants/Recent content in Invariants on Anachronistic MonkHugo -- gohugo.ioen© 2026 Durwasa ChakrabortySat, 10 Oct 2026 00:00:00 +0530https://durwasa-chakraborty.github.io/posts/the-promises-you-keep-demystifying-invariants/Sat, 10 Oct 2026 00:00:00 +0530https://durwasa-chakraborty.github.io/posts/the-promises-you-keep-demystifying-invariants/<p>Writing invariants gets treated as an art form, which is a polite way of saying nobody can explain how they do it. &ldquo;Art is long and life is short,&rdquo; said Hippocrates, a man who never had to read a 2,000-word post on formal methods. So I&rsquo;ve tried to keep this one short.</p>