@baldur I don’t think there has been solid code quality outside of very niche industries since the 80s. And I wasn’t alive for most of that.

I don’t take joy in the plight of the industry but I also think it was enabled for far too long even at the IC level.

The small percentage here won’t shift the tide and the mass who don’t care may in fact get slight quality improvements if tooling evolves.

I’ve seen deterministically ‘safe’ code gen. But it was never productized.