Hacker News new | past | comments | ask | show | jobs | submit
SirMaster | on: LLMs are making formal software verification feasible at a much larger scale
If code doesn't do what it says, isn't that a compiler issue?
dejw | parent
c/++ programers will say it's a skill issue