On 26Aug31:1205+0100, Kevin Chadwick via Dng wrote:
>
> -------- [trimmed] Original Message --------
>
> >> Witness all the zero days that humans never found that have sat in the queue
> waiting for the relatively small set of kernel devs to get to them all.
>
> This simply isn't true. Yes they miss far more than e.g. OpenBSD but it isn't
> lack of tooling. Bugs are precise problems and tools to find them exist. AI is
> not of real benefit here. You could try to argue on logic bugs but that isn't
> what you seem to be talking about. A lot of the rhetoric that AI companies push
> is bogus. Ada SPARK would be the kind of tool to solve that.

AI has significantly increased bug reports. AI is not yet separating the
wheat from the chaff--developers are, and they have limitations on
absorbing increased reports. This has been noticed and discussed by the
Linux and Debian developers.
--
<not cent from sell>
May the LORD God bless you exceedingly abundantly!

Dave_Craig______________________________________________
"So the universe is not quite as you thought it was.
You'd better rearrange your beliefs, then.
Because you certainly can't rearrange the universe."
__--from_Nightfall_by_Asimov/Silverberg_________________