Reliable Software in the LLM Era

Nothing changes in terms of how to make reliable software. You need the same things like unit tests, integration tests, monitoring tools, etc.

Basically AI now makes every product operate as if it has a vibrant open-source community with hundreds of contributions per day and a small core team with limited capacity.

Generating code is easy; maintaining correctness over time is the harder problem. I’m curious whether the future stack ends up combining AI code generation with property-based testing and automated verification tools to ensure systems remain reliable even as more code is machine-generated.

"Spec validation" is extremely underrated. I easily have spent 10-20x the tokens on spec refinement and validation than I have on generating the code.

The idea is interesting, but have some more respect for your potential readers and actually write the post. There’s so much AI sales drivel here it’s hard to see what’s interesting about your product. I’m more interested in the choices behind your design decisions than being told “trust me, it’ll work”.

AI Era, Agentic Era, LLM Era...

Can we settle on Slop Decade?

I haven't even used TLA+ yet and now it's got derivatives... My understanding is: TLA+ but like C, functional, and typed.

[dead]