The Invariable Difference is a journal about programming languages, domain modeling, and the boundary between what people know and what software systems can represent. It's the continuation of an earlier blog, Ozmium, running since 2010.
I write about type systems, specifications, decision tables, and — more recently — where large language models help and where they quietly move the goalposts. Current work centers on Morphir and Substrate, markdown-native specifications that domain experts can author directly.
Get in touch at attila.mihaly.jr@gmail.com, or subscribe via the Atom feed.