Login

Recent searches

No recent searches

Search options

Only available when logged in.
social.coop is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Fediverse instance for people interested in cooperative and collective projects. If you are interested in joining our community, please apply at https://join.social.coop/registration-form.html.

Administered by:

Server stats:

492
active users

social.coop: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

Public
Jonathan Corbet
On the radar: using a large-language model to insert thousands of automatically generated "security checks" into the OpenBSD kernel:

https://marc.info/?l=openbsd-tech&m=171810103406609&w=2

I'm sure that will be received well...
marc.info'AI-Driven Security Enhancements for OpenBSD Kernel' - MARC
Public *
Luis Villa

@corbet "the fact that whole netinet/netinet6 10000+ checks were added with no human intervention and produced a working, arguably safer kernel, is surprising to me.

Beware that at the current state, it might not be actually safer as the checks may actually introduce new bugs."

That's... a hell of a pair of sentences.

Jeff Forcier

@luis_in_brief @corbet oh god, for some reason I assumed it was Theo or some actual core OBSD member posting about this 😅 looks like it's just some overzealous rando?

Jun 11, 2024, 04:07 PM·Public·Ivory for Mac
0boosts·0favorites
ExploreLive feeds
About