Super excited to announce that Turso is joining the Stripe Projects developer preview giving developers and AI agents a clean, deterministic way to provision real Turso Cloud databases straight from the terminal. No dashboard hopping, no brittle scripts, no manual key

Unlimited agents with unlimited databases. Excited to see projects.dev take off

What if we could run Postgres as a single file, and take advantage of the best SQLite has to offer? Today I am announcing pg-micro, a crazy experiment I've been undertaking to make this happen. pg-micro is different than other approaches because it is fully local, and expected

Dive into Systems Explore systems programming, code optimizations, and assembly for multiple architectures with this freely available book - all grounded in C! The ASM visualiser is built by these folks. diveintosystems.org/book/

Open source maintainers check out fossier.io building a global registry of LLM slop/spam PR's. Github action automatically scores likelihood of spam and has built-in slash commands to reject and auto-denouce + report spam to the registry. VOUCH compatible

Lean 4 (meta)programming cookbook. ~ Anirudh Gupta et als. leanprover-cookbook.github.io/lean-metaprogr… #LeanProver #ITP #FunctionalProgramming

New 0-day in Lean just dropped. Your secure software just got borked. All your bases are mine. kirancodes.me/posts/log-who-…

If you're an experienced developer or postgrad in systems programming looking for work and ok to publicly say so, DM with something interesting you built or worked on. I'm starting a section on The Consensus on devs for hire. No guarantees to get picked, we'll see how it goes.

I'm happy to announce that Quint is becoming its own company with me as its CEO. I have an incredible team joining me in this new journey as we spin out of Informal Systems into Quint Co. Quint remains open source at its core, and I'm confident that the ecosystem we are

📦 How Containers work? Deep dive into Containerization. Read full article here: open.substack.com/pub/cloudhandb…

Understanding tool-augmented agents for Lean formalization: A factorial analysis. ~ Ke Zhang, Patricio Gallardo, Maziar Raissi, Sudhir Murthy. arxiv.org/abs/2604.16538… #LeanProver #ITP #AI4Math

RLS stands for “just becauRse you can - doeSn’t mean you shouLd”

i'm actually trying quint again today to find bugs in our new multiprocess feat lol - it found some counter examples - i still have to verify but it's awesome.!

Note to potential Turso contributors: if your PR is auto-closed by our github action (github.com/PThorpe92/foss…), we may still re-open your PR if your contribution seems legitimate and your github account/history aligns with the work you submitted.

Turso, from day1, has a comprehensive fuzzying and deterministic testing methodology. In fact, the first version of Turso was pretty much DST and simulator infrastructure, and could not even write to the database. And we evolved: Aside from our DST harness, we have: * a

Great to see Turso using Quint not only for fun but also for profit ..

Software has _always_ been written by unreliable agents. “We care more about measuring correctness now because agents write unreliable code” is a story that doesn’t hold up. We care because testing used to be 50% of the work and now it’s 99%. - Will Wilson Antithesis

After being DST-pilled by TigerBeetle, I've written the same completion-based I/O loop many, many times just to get going on whatever new i was working on. This time I extracted it as a small Rust library so next time I don't have to start from scratch. github.com/penberg/betelg…