bcachefs

I don't know what Kent did, but I doubt it will surprise me at this point.

(edit) Fuck sake, Kent...

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

Great article. That guy is legitimately being driven insane.

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.

The trick is just to think of it like a junior engineer – a smart, fast junior engineer, but lacking in experience and big picture thinking.

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.

Any 2036 predictions? Or just nuclear winter?

Same energy.

Well he might according to his own perception.

What happens if you delete your AI that you (and only you) think it's conscious? Is it murder even if the rest of the world says it's not?

Just wait until it learns to hack and socially manipulate

Bah. Hans Reiser wrote filesystems all day and he turned out fine.

I wouldn't be surprised if something like that popped up very soon. Probably is in the works on someone's drive already.

I remember hearing an arugment against AI coding that if it's so good, why aren't there apps popping up left and right? Which was true at the time.

Now? In the past month, I've seen a pretty in-depth Murloc-tamagotchi addon in WoW (that kills your FPS), a whole open-source custom World of Warcraft client, an E2E Tor-based messenger (that signs messages with 128b CBC key), a game engine based on a lost Standart Model of physics that was mentioned by Tesla, but lost to time, that someone reverse engineered (which had very TempleOS vibes, as far as the authors mental state goes), a Matrix protocol on Cloudfare microservices (that skipped message signature verification), and I could go on.

Open-source is going to become a hell to navigate. I was already anxious about using FOSS tools due to malicious typosquatting clones, supply chain attacks and general security of using someone's FOSS code on my PC. Now, add vibe coded shit to the mix, and finding a good FOSS projects and tools will be hell :(

Something tells me that'd be so scary if Terry (RIP) was able to integrate an LLM into TempleOS.

I am so terrified of a future where people have their own perfect AI companions and no longer need any actual human friends.

Oh my god it's so cringe, I can only imagine what the prompts are like.

The only joy I've ever gotten from LLMs was telling my work-heavily-recommended Claude that I want him to act, talk and treat me like SHODAN in every conversation.

prepare for trouble           

and make it double

I'd only have two nickels, but...

ReiserFS (Hans Reiser), BcacheFS (Kent Overstreet)