Hacker News new | past | comments | ask | show | jobs | submit
dchftcs | on: LLMs are making formal software verification feasible at a much larger scale
Sometimes it's good to have bug-for-bug compatibility, where the code is the best spec.