# Aether storage engine

10 Hacker News commenters recommended Aether storage engine and 2 criticized it, November 2025 to November 2026. It was recommended in 5 of 13 months. It meets the Hacker Approved badge rule.

**Verdict:** 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.

## What people warn about

- Vibe-coded, hard to trust with data (2 comments): "It's so hard to trust a vibe coded software with something with a thing as valuable as data." ([source](https://news.ycombinator.com/item?id=48184612)) "it seems pretty insane to use a vibe-coded storage engine" ([source](https://news.ycombinator.com/item?id=48189873))
- Code may not match TLA+ model (1 comments): "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" ([source](https://news.ycombinator.com/item?id=48231520))
- TLA+ model covers only the WAL (1 comments): "But that only models the WAL protocol, not the actual Rust code and not the other 99% of the system." ([source](https://news.ycombinator.com/item?id=48187025))

## Alternatives hackers recommend

- [InnoDB](https://hackerapproved.com/p/innodb.md): 7 recommend
- [TidesDB](https://hackerapproved.com/p/tidesdb.md): 6 recommend
- [OrioleDB](https://hackerapproved.com/p/orioledb.md): 5 recommend

## Cite as

Hacker Approved, "Aether storage engine", https://hackerapproved.com/p/aether/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).