4 ms·
> The quality is irrelevant in the overwhelming majority of cases Software quality is especially important in safety critical applications. We should not expe
by westurner 1y ago
> The quality is irrelevant in the overwhelming majority of cases
Software quality is especially important in safety critical applications.
We should not expect an LLM trained solely on formally-verified code to produce formally-verified code. I don't think that also training on specs and hateful training material will fix that.
So then we're back to the original software engineering objectives of writing better SAST, DAST, Formal Method, side channel, and fuzzing tools for software quality assurance.
- OkayPhysicist 1y agoI've been to birthday parties that employed more people than "safety critical" software development. We're talking about 99.99% of the software development jobs evaporating.
- westurner 1y agoI think we're talking like 100% of everyone gets a new power saw! Compare traditional woodworking with modern carpentry on quality, longevity, and marginal efficiency. From "Why Don't People Use Formal Methods?" https://news.ycombinator.com/item?id=18965964 https://news.ycombinator.com/item?id=18965964 : > Which universities teach formal methods? > Is formal verification a required course or curriculum competency for any Computer Science or Software Engineering / Computer Engineering degree programs? > Is there a certification for formal methods? Something like for Engineer status in other industries?
- ponector 1y agoOk, then 10% of the current IT workforce will be allocated to the critical applications. The rest 90% will be replaced with Claude SuperGPT CODER 6.2. Like ~100k people in Meta - nothing critical there, right? Many thousands could be replaced with AI-coders there.