It's so hard to trust a vibe coded software with something with a thing as valuable as data.
I see no reason why would anyone even bother checking this out, while there a trusted, battle scared, and non vibe-coded alternatives such as postgres, duckdb,boltdb,SQLite.
The part that’s not clear to me is, does the spec actually align with what’s been implemented, or has the spec only been formally verified. I think the risk with vibe coding this sort of thing is that claude assures you the rust code implements the spec when it doesn’t
It's so hard to trust a vibe coded software with something with a thing as valuable as data.
I see no reason why would anyone even bother checking this out, while there a trusted, battle scared, and non vibe-coded alternatives such as postgres, duckdb,boltdb,SQLite.
Sorry mate.
Formal verification should catch vibe coding bugs.
The part that’s not clear to me is, does the spec actually align with what’s been implemented, or has the spec only been formally verified. I think the risk with vibe coding this sort of thing is that claude assures you the rust code implements the spec when it doesn’t
big words, either you are a genius, or it's AI slop and we'd be better off using write(). Don't think there's inbetween.