Hacker News new | past | comments | ask | show | jobs | submit
amelius | on: LLMs are making formal software verification feasible at a much larger scale
It's still great if the assertions in your code are provably correct.