Aether: High-performance, formally-verified storage engine written in Rust

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.

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.