this post was submitted on 27 Oct 2025

435 points (99.3% liked)

Programmer Humor

27101 readers

803 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

Keep content in english
No advertisements
Posts must be related to programming or programmer topics

founded 2 years ago

MODERATORS

Feyter@programming.dev

anzo@programming.dev

BurningTurtle@programming.dev

pylapp@programming.dev

435

Ex-CISA head thinks AI might fix code so fast we won't need security teams 😆️️ (www.theregister.com)

submitted 2 days ago by cm0002@lemmings.world to c/programmer_humor@programming.dev

89 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] chicken@lemmy.dbzer0.com 2 points 22 hours ago

Another way of working around Rice's theorem is to search for methods which catch many bugs, without being complete.

I'd guess that hypothetical AI cybersecurity verification of code would be like that, where there are probably no bugs, but it's not a totally sure thing. But even if you can't have mathematical certainty there are no bugs, that doesn't mean every or most programs verified this way are possible to be exploited.