Hacker News new | past | comments | ask | show | jobs | submit
pizzafeelsright | on: LLMs are making formal software verification feasible at a much larger scale
Would formally verified software add anything?

I am very curious about this now. Bad software is now free. Stability and security sell better than ever.