Hacker News new | past | comments | ask | show | jobs | submit
naasking | on: LLMs are making formal software verification feasible at a much larger scale
> or the retrofit is going to be painful and probably will never happen.

They're using LLMs. The economics of this sort of retrofit has changed considerably with LLMs.