Hacker News new | past | comments | ask | show | jobs | submit
ignoramous | on: LLMs are making formal software verification feasible at a much larger scale
> formal semantics for both C and Rust in Lean, both sound like Herculean efforts

If we're doing Ancient Athens, then Platonic Methexis probably fits better.