Mark SeemannMar 3
New article: In defence of correctness. https://blog.ploeh.dk/2026/03/03/in-defence-of-correctness
In defence of correctness

Not all software needs to be correct, but a large subset does.

Show threadAiono
@ploeh Nice article. I have the exactly same concern regarding using LLMs where correctness issues cause serious injuries or loss of lives.
Mar 3 at 10:29amTuba
Show threadAionoMar 4
@ploeh What do you think about LLMs possible effects on formal verification field? If code generation is cheap, does it mean that verification will become more valuable since manual reviewing and testing will not be sufficient at this velocity?
Show threadMark SeemannMar 5
@aiono I know too little about formal verification, but I've been considering whether I should invest some time there, exactly for the reason you give.