Aether: High-performance, formally-verified storage engine written in Rust
dboreham
25 points
7 comments
May 18, 2026
Related Discussions
Found 5 related stories in 90.3ms across 8,303 title embeddings via pgvector HNSW
- Aube – Node.js package manager in Rust brianzelip · 12 pts · May 23, 2026 · 58% similar
- Grafeo – A fast, lean, embeddable graph database built in Rust 0x1997 · 204 pts · March 21, 2026 · 57% similar
- Zerostack – A Unix-inspired coding agent written in pure Rust gidellav · 285 pts · May 16, 2026 · 55% similar
- Show HN: Orch8 – Durable workflow engine in Rust, one binary, Postgres or SQLite _alphageek · 22 pts · May 05, 2026 · 55% similar
- AyaFlow: A high-performance, eBPF-based network traffic analyzer written in Rust tanelpoder · 92 pts · March 29, 2026 · 55% similar
Discussion Highlights (3 comments)
localhoster
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.
TZubiri
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.
Kab1r
I don't think formally verifying my showing that the model is correct is good enough anymore. You must prove that your implementation refines the model.