Last week TypeSafe AI unveiled Jev, their first example of a new category of model that they are calling “System One models” (I’m with Maggie Appleton, I think “decision models” …

Sharded Postgres, from the team behind Vitess

tl;dr Try it at https://trynix.dev. Click hello, or python 3.6.2 from 2017, or two eras of hello at once, or a package that exists in no public cache. A Linux machine boots in the tab and you get a…

Compartmentalization explains FoundationDB's architecture: find the responsibilities that got coupled together, split them, and scale only the parts that can scale.

The latest NVMe specifications add SSD-level virtualization that can simplify live VM migration by preserving storage identities across servers. The updates also introduce support for post-quantum…

Avro payloads cannot be decoded without the writer schema, and that two-schema model is what makes rolling upgrades and schema evolution work.

Sunny Tech est la 1ère conférence Tech organisée à Montpellier. Une conférence annuelle des technologies du numérique, créée par des passionnés, pour des passionnés avec l’ambition de rayonner nationa...

You fake the handful of methods your code actually calls, prove the fake stays honest, and then make it fail the way production does.

the Nintendo 3DS is a very fun device to write homebrew for, but one thing about it can be annoying: its multitasking is non-preemptive! in this little se...

Salut à toutes et à tous, La session de mai du FinistDevs aura lieu le **mardi 12 mai à 18h30**, toujours chez **Zenika Brest**. Au programme : deux talks, avec du Linux

A retrospective on BugBash 2026, and why software engineering looks brighter than ever.

Your ultimate companion for Devoxx conferences worldwide. Browse talks, speakers, schedules, and manage your personalized conference experience.

Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing.

Trait-based fakes test partial failures that mocks and Testcontainers fundamentally cannot simulate. They are also the on-ramp to simulation-driven development.

How a 600-line Rust fuzzer discovers a 3-byte crash sequence in 9,000 iterations instead of 16 million

Pike's rules 1 and 2 restate Tony Hoare's famous maxim "Premature optimization is the root of all evil."

Google engineers have been spending the past number of months developing Sashiko as an agentic AI code review system for the Linux kernel

MariaDB Galera Cluster is a replicated version of MariaDB, a popular SQL database. While MariaDB claims Galera ensures “no lost transactions”, it loses transactions in at least two scenarios. First,…

Just a programmer trying to make a home for myself on the WWW.

What I learned about manually constructing physical query plans for secondary index queries, and the library that came out of it.

Learn TLA+ specifications through interactive examples in your browser

A list of most active GitHub users in France.

Can LLM-generated code be trusted for distributed systems? Only if you have the right feedback loop.

How optimistic concurrency control works in FoundationDB, and how to design data structures that stop fighting it

LLMs amplify expertise, they don't replace it. Here's what works: planning, context, feedback loops, and building systems that let AI discover bugs.

I am opening this PR for discussion about the general design we should start out with, as there are various options (that are not too hard to transition between each other, so we should totally jus...

Reflections on returning to engineering, discovering simulation as a superpower, learning to work with LLMs, and the compounding value of years of distributed systems work.

LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.

Maybe not what you think.

Patterns and principles for writing Rust simulation workloads that catch bugs before production does.

Épisode de l’émission · Oxide and Friends · 26/11/2025 · 1 h 21 min

A Word of Warning These videos are not light entertainment. They require careful viewing and actual thinking. You may often stop a video to digest what you've just seen, and perhaps to skip back and…