ByteBrief
We're a portrait publication through and through. Turn your phone back and your briefing picks up right where you left it.
(We tried widescreen once. It wasn't us.)
Pgrust, a Postgres rewrite in Rust, now passes 100% of Postgres regression tests. It targets Postgres 18.3 compatibility and matches expected output across more than 46,000 regression queries. The project is disk compatible with Postgres 18.3 and can boot from an existing data directory. It is not yet production-ready or performance optimized.
Tap to vote and see what everyone thinks.
Summary by ByteBrief
A Rust-to-Lean verification pipeline with AI provers: An experience report