Hacker News new | past | comments | ask | show | jobs | submit
bmacho | on: LLMs are making formal software verification feasible at a much larger scale
I don't get what you mean? Granted, I didn't even try reading your message, since the language that you're using, English, is not sound, complete, decidable (or even defined).