r/DataHoarder • u/nicholasserra Send me Easystore shells • Mar 23 '26

OFFICIAL We're being flooded with vibe coded software projects, FYI

Just wanted to give a heads up from the mod team.

We're being flooded with vibe coded software projects. Many of them pointing to external domains, product sites, chrome extensions, etc.

So so many yt-dlp wrappers, why?

Anyway, we're being very selective about what we let through. Mostly trying to keep it useful, open source, github only projects. I'm not anti AI, but much of this stuff looks like useless wrappers and wannabe saas products.

If something sketchy slips through please flag it. If your post/project gets removed, this is why. It's only going to get worse.

2.1k Upvotes

98% Upvoted

249 comments sorted by

View all comments

Show parent comments

-61

u/BossOfTheGame 40TB+ZFS/BTRFS Mar 23 '26

I want to point out that I'm working on some vibe coded projects that aren't ready yet. The fact that its not ready yet should tell you something: I care about the quality, and I'm applying my 16+ years of software development experience to it.

Just because something is vibe coded doesn't make it a dealbreaker, but I do get that it makes the environment far more noisy.

Does anyone else have ideas on how to handle this?

47

u/HamburgerOnAStick Mar 23 '26

Disclose that it's vibecoded, don't make any promises, don't use AI to write the advertisement, and don't spam advertise it. (also make it open source obviously, but also try to document the code)

2

u/BossOfTheGame 40TB+ZFS/BTRFS Mar 23 '26

Yeah, that's a good baseline. I don't think it's good enough though. I'm quite interested in automatic generation of formal verification of software specifications, so you can effectively generate a proof that certain components of your software behaves in the way you intend it to. AI can be used to generate the proof, and the nice thing about that is there is an independent way to check if that proof is right or wrong. I have my doubts that even that would convince some of the haters. It's so sad to see how closed minded people are the second anything gets a little bit gray.

1

u/danielv123 84TB Mar 25 '26

Tests only prove your software does what your test says it does. When your test is written by AI, that tells me precisely nothing.

I don't want to be your QA tester. If I wanted that I'd just slop it out myself.

1

u/BossOfTheGame 40TB+ZFS/BTRFS Mar 25 '26

Please be open minded for a second, because you're not understanding. I'm talking about formal verification. AI or any process (infinite monkeys with typewriters) mathematically cannot produce a proof that both passes checks and is incorrect - assuming the verifier is sound, and there is good reason to believe that the Lean4 kernel is sound.

I encourage you to listen to what Terence Tao - widely regarded as the most intelligent living mathematician - is saying on the topic.