[kojolina]

Just bang out a bunch of C code, feed it to an AI: "Make this memory safe". Profit.

No need for rust, Ada, CHERI, SPARK, etc.

[pjc50]

You could also pray, that's about as likely to be effective.

[GoblinSlayer]

A rewrite isn't strictly necessary. It should be enough if AI can find errors, doesn't even need to be very precise.

[saagarjha]

Profit from your AI-powered security company, sure. But the exploit authors are profiting too.

[BiteCode_dev]

Now the billion dollar question, how to make that work for the entire linux kernel.

[cjfd]

If it is too big just zip it and feed chunks of the resulting zipfile to the AI. AI can do anything, right?

[nottorp]

Easy, triple the hardware requirements and don't talk to any hardware because if you do you'll have to mess with buffers in a non approved way.