Hacker News new | past | comments | ask | show | jobs | submit
marcosdumay | on: LLMs are making formal software verification feasible at a much larger scale
A Rust verification toolchain won't tell the GP whether his code does the same as the C code or not.