News for hackers. Stuff that matters.

A comment on LLMs are making formal software verification feasible at a much larger scale. Parent comment

Re:LLMs are making formal software verification feasible at ... by saagarjha on Sunday October 25, 2026 @05:02AM (#50229592)
Running an internet forum does not make you better or less impartial at commenting
[ Parent | on HN ]
Re:LLMs are making formal software verification feasible at ... by simondotau on Sunday October 25, 2026 @06:56AM (#50230300)
Nobody said that
[ Parent | on HN ]