808
you are viewing a single comment's thread
view the rest of the comments
[-] vikingtons@lemmy.world 36 points 2 days ago

can you elaborate on the recent fiasco you mentioned? I totally missed the news on that

[-] rklm@lemmy.dbzer0.com 50 points 2 days ago

Linus introduced a race condition and a regression with a AI generated code, then handed off fixing the problem to someone else because he was going on vacation.

Fiasco might have been an exaggeration, but it's still pretty lame.

https://lkml.iu.edu/2610.1/13698.html

[-] ChairmanMeow@programming.dev 89 points 2 days ago

This was caught during review, so nothing was "introduced" quite yet. And there's no indication that Linus wouldn't have produced a race condition (a notoriously more easy to miss kind of bug) without the use of AI tools.

It's only being exaggerated so much because he used AI.

[-] tatterdemalion@programming.dev 22 points 2 days ago

I could attribute the race condition just as much to their use of the C language as to AI.

[-] ChairmanMeow@programming.dev 3 points 2 days ago

Race conditions I'm pretty sure aren't language specific. Rust can have them too.

[-] tatterdemalion@programming.dev 1 points 18 hours ago

You are correct to point out the distinction between race conditions and data races. Rust only rules out data races.

I don't know whether the race in question was a data race or not.

I would still wager that Rust code generally has fewer race conditions than C, given that mutable aliasing can be used as symbolic prevention of race conditions, i.e. your &mut T doesn't necessarily need to hold data; it can represent some domain concept.

aren’t language specific

There are actually languages that guarantee deterministic concurrent execution, and this can rule out larger classes of race conditions than just data races. See the Bloom language and CALM theorem.

[-] jjj@piefed.blahaj.zone 5 points 2 days ago

Yes, but the tools provided by Rust:

  1. Prevent most common ones via aliasing^mutability, Send and Sync marker traits, etc.
  2. Require explicitly marking the cases not handled by this, e.g. unsafe features require an unsafe {} block to be used.
[-] Fmstrat@lemmy.world 5 points 2 days ago

Yea he basically said "This seems to work but is slop, lead Dev, make it real."

[-] LH0ezVT@sh.itjust.works 19 points 2 days ago

That is something I am surprisingly okay with. Quickly figuring out if something is feasible is good, and doing it in a back of the napkin style is the norm, even without LLMs. Of course then you need to do it properly, without falling into the trap of reimplementing the slop.

[-] mcv@lemmy.zip 22 points 2 days ago

Race conditions are not unusual, and it was caught during review, so there's really no problem here.

[-] recursive_recursion@piefed.ca 18 points 2 days ago* (last edited 2 days ago)

Great
This doesn't make me nervous at all...

Hide_the_Pain_Harold_András_Arató

[-] Artemis_Mystique@lemmy.ml 4 points 2 days ago

nothing to be nervous about, its literally software engineering and project management 101, programmer writes code reviewer catches bugs, nothing goes to production. this happens all the time, has happened in the linux kernel way before LLMs were a thing

[-] TrickDacy@lemmy.world 1 points 2 days ago

It shouldn't, because it's a lie.

[-] TrickDacy@lemmy.world 0 points 2 days ago

Not what happened. I'm not digging it up but this story has been debunked repeatedly

[-] Artisian@lemmy.world 7 points 2 days ago

(you're welcome to just point folks to a debunking)

[-] TrickDacy@lemmy.world -2 points 2 days ago

People are welcome to stop spreading the falsehoods. In every thread where this is said (including this one), the truth is pointed out but those spreading it couldn't care less. Just scroll. Others are pointing out the details here just like every other place.

[-] Artisian@lemmy.world 0 points 1 day ago

Yeah there's 240 comments here. I'm not shoveling through that.

[-] ThirdConsul@lemmy.zip 8 points 2 days ago

Literally you got hit with an linux mailing list saying this is what happened?

[-] TrickDacy@lemmy.world 5 points 2 days ago

Those words don't make sense

[-] TrickDacy@lemmy.world 5 points 2 days ago* (last edited 2 days ago)

Linus admitted he uses LLMs sometimes, so now the most trustworthy developer in the history of computers is now being shat on and raged about by people who probably couldn't write a hello world app in any programming language. They're just parroting the idea that Linux is vibecoded now, but it isn't, and if anything they should be heartened by the recent decision to raise the bar for kernel contributors. Instead, they're pretending Linus and other contributors aren't trustworthy at all, based solely on a desire to feel outrage. When people correct them on these lies they're spreading, no one ever admits they are wrong and stops spreading it, they just don't respond to comments like that and continue writing them elsewhere.

Tldr; people are stupid.

[-] PokerChips@programming.dev 6 points 2 days ago

You didn't answer the question at all.

this post was submitted on 26 Oct 2026
808 points (95.7% liked)

Programmer Humor

33844 readers
1559 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

founded 3 years ago
MODERATORS