Aether storage engine
Hacker ApprovedThe most recommended of 4 storage engines
A free, open-source Rust storage engine that its maker describes as formally verified. Critics say a vibe-coded implementation may not match its TLA+ model, which covers only the WAL protocol.
A free, open-source Rust storage engine that its maker describes as formally verified. Critics say a vibe-coded implementation may not match its TLA+ model, which covers only the WAL protocol.
12 people gave an opinion
- recommend it
- 10
- criticize it
- 2
- approval share
- 83%
Recommended in 5 of 13 months
- November 2025: not recommended
- December 2025: not recommended
- January 2026: not recommended
- February 2026: recommended
- March 2026: not recommended
- April 2026: recommended
- May 2026: recommended
- June 2026: not recommended
- July 2026: recommended
- August 2026: not recommended
- September 2026: not recommended
- October 2026: recommended
- November 2026: not recommended (month in progress)
Why it carries the badge
- 10 people recommend itNeeds 10 or more, met.
- 5 recommenders for every criticNeeds 2 to 1 or better, met.
- Recommended in 5 of 13 monthsNeeds 4 or more, met.
The same three rules apply to every product, and the badge can’t be bought. How the badge works
What people say about it
The reasons people give, with the number of comments that give each one. Open a reason to read what they said.
What people warn about
Each mark is one comment
Vibe-coded, hard to trust with data
“It's so hard to trust a vibe coded software with something with a thing as valuable as data.”
Comment from 18 May 2026 in “Aether: High-performance, formally-verified storage engine written in Rust” “it seems pretty insane to use a vibe-coded storage engine”
Comment from 19 May 2026 in “Aether: High-performance, formally-verified storage engine written in Rust” Code may not match TLA+ model
“And just because you model the system in tla+ and its a valid model doesn't mean the vibe coded implementation matches the tla+ model”
Comment from 22 May 2026 in “Aether: High-performance, formally-verified storage engine written in Rust” TLA+ model covers only the WAL
“But that only models the WAL protocol, not the actual Rust code and not the other 99% of the system.”
Comment from 18 May 2026 in “Aether: High-performance, formally-verified storage engine written in Rust”
Other storage engines people recommend
The three most recommended other storage engines, with the same counts for each, so you can compare like for like. The tick on each bar marks the 2 to 1 line the badge needs.
See all 4 storage engines, rankedWhat people said
10 of the 12 comments that mention it, newest first. Each links to the original comment.
“being able to deeply customise has been satisfying”
“removing the limitations of working from your own machine”
“And just because you model the system in tla+ and its a valid model doesn't mean the vibe coded implementation matches the tla+ model”
“Good stuff, especially the benchmarks.”
“it seems pretty insane to use a vibe-coded storage engine”
“But that only models the WAL protocol, not the actual Rust code and not the other 99% of the system.”
“It's so hard to trust a vibe coded software with something with a thing as valuable as data.”
“we've packaged the complete production framework for teams that need immediate reliability.”
“feels like a meaningful trust boundary”
“Super dope! Love the walkthrough, excited to see how it goes”
Counts come from 1,795,640 Hacker News comments, November 2025 to November 2026. How we count. Report a mistake.