Hacker News new | past | comments | ask | show | jobs | submit
y1n0 | on: LLMs are making formal software verification feasible at a much larger scale
I wouldn’t call them worthless. I guess it depends on the unit. But also having someone or something independently write tests is generally better than testing your own code.