Register now for early access to concurrent writes in the Turso Cloud. Join the waitlist

#Engineering

Cover image for We're building Postgres in Rust. Using the LLVM of databases
Product Updates
We're building Postgres in Rust. Using the LLVM of databases
Glauber Costa
Pekka Enberg

Cover image for The final boss of reliability: formal verification
Engineering
The final boss of reliability: formal verification
Glauber Costa

Cover image for How we used Quint to find over 10 bugs in SQLite while hardening Turso
Engineering
How we used Quint to find over 10 bugs in SQLite while hardening Turso
Glauber Costa
Pavan Nambi

Cover image for Why I am not yet ready to switch to Zig from Rust
Engineering
Why I am not yet ready to switch to Zig from Rust
Pekka Enberg

Cover image for Incident 2023-12-04: Data leak and loss in some free tier databases
Engineering
Incident 2023-12-04: Data leak and loss in some free tier databases
Glauber Costa