Hacker News new | past | comments | ask | show | jobs | submit
m3kw9 | on: LLMs are making formal software verification feasible at a much larger scale
code changes 1000 times a day, and you want to "formally" verify it?