4 ms·
“Anymore?” After 40 years in software I’ll say that validation of intent vs. outcome has always been a hard problem. There are and have been no shortcuts other
by sonofhans 8mo ago
“Anymore?” After 40 years in software I’ll say that validation of intent vs. outcome has always been a hard problem. There are and have been no shortcuts other than determined human effort.
- kaicianflone 8mo agoI don’t disagree. After decades, it’s still hard which is exactly why I think treating validation as a system problem matters. We’ve spent years systematizing generation, testing, and deployment. Validation largely hasn’t changed, even as the surface area has exploded. My interest is in making that human effort composable and inspectable, not pretending it can be eliminated.
- atomicnature 8mo agoSpecification languages need big investments essentially - both in technical and educational terms. Consider something like TLA+. How can we make things such as that - be useful in an LLM orchestration framework, be human friendly - that'd be the question I ask. So the developer will verify just the spec, and let the LLM match against it in a tougher way than it is possible to do now.