News for hackers. Stuff that matters.

A comment on Aether: High-performance, formally-verified storage engine written in Rust. Parent comment

Re:Aether: High-performance, formally-verified storage engin... by whattheheckheck on Thursday May 21, 2026 @11:08PM (#48231520)
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
[ Parent | on HN ]

There are no comments on this comment yet.