Discussion about this post

User's avatar
Om Prakash Pant's avatar

The lights-out argument works when you can define what correct looks like.

In enterprise retail that's the hard part - pricing rules nobody documented, compliance requirements that changed, checkout logic that accumulated 10 years of business decisions.

Code review was never just about bugs. It was the last checkpoint where someone who understood the domain could ask "does this actually reflect how the business works?"

Remove that and you don't get a cleaner codebase. You get drift that's invisible until a customer notices.

Teemu Leppanen's avatar

Really interesting framing. One thing I keep wondering: with the hardware chips that you brought up, verification works because it is anchored to explicit design artifacts and formalized constraints (DSE etc). In enterprise software, many of the critical invariants (business rules, cross-system dependencies, historical edge cases) are never fully formalized, but they are tacit knowledge. When AI scales code generation and we reduce human code review, the question becomes: what is the authoritative intent artifact that code verification runs against? Curious how you see the “design intent layer” evolving in a lights-out model especially in large enterprise codebases.

34 more comments...

No posts

Ready for more?