this post was submitted on 25 Feb 2026
262 points (97.8% liked)
Programmer Humor
30090 readers
1736 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
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Context: https://www.theregister.com/2026/02/25/bcachefs_creator_ai/
The problem is managers genuinely starting to do that, because it's cheaper than human employees. Some years down the line, they will find out that (unlike human junior devs) the AI won't eventually mature into senior devs, and by the time the senior devs retire, there's nobody left to unfuck the shit their perpetual juniors fuck up.
But of course, those managers will have gotten their nice bonus for saving money, jumped ship and will never suffer the consequences.
I don't know what Kent did, but I doubt it will surprise me at this point.
(edit) Fuck sake, Kent...
Appreciate the context from someone who doesn’t know Kent.
Nothing serious, but he's well known for being impossible to work with. He has gotten into multiple arguments because he refuses to follow kernel development rules. When called out on it, he makes a big stink about it. Obviously his code doesn't get merged. Then he does the exact same thing again 1 month later.
He has gotten into multiple arguments with Linus Torvalds over his refusal to simply follow the kernel development rules. During those arguments he has made cheap shots at completely unrelated people, which then drags those people into the argument.
It's gotten to the point where apparently a significant portion of the kernel developers feel like he was negatively impacting the kernel, and Linus eventually removed his code from the kernel.
He's what you might call a Linux lolcow. And now he's doing even more lolcow things by... Getting weirdly attached to his LLM-sona
What is sad IMO is that he's quite freaking good. It's kind of a waste.
Then again, it's only a small gap between knowing you're good and megalomania. And he's the later.
Oh god, as if I wasn't scared enough about running a filesystem that got kicked out of mainline and is maintained more or less by a single dude. I'll stick to btrfs thanks
Hmm, I wonder how well would formal verification work with LLMs. I'm not really a fan of vibe coding, but the little I know about formal verification, it could very well work as a way how to prove your vibe-coded slop isn't shit.
I've looked into formal verification once few years ago, but it's too much math and thinking for me to grasp. If I remember it right, I guess the problem would be that you'd (or, LLM would, in this case) have to correctly describe the code in the formal verification language, and it would have to match 1:1 with the code, which is a point of failure? So we'd be back to square one, but instead of having to verify every single line of code, you'd have to check the proof. But maybe I'm wrong.
you could make a program that verifies that the code matches the proof and that the proof is sound, but then you have to verify the program, and verify the verification, and verify your system of logic is consistent, which by gödel's incompleteness theorem is impossible(?)
The LLM will just make up lies in the formal verification.
Great article. That guy is legitimately being driven insane.