🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

New blog post: "Formal Methods Only Solve Half My Problems" brooker.co.za/blog/2022/06/0… about the need for tools that allow us to reason quickly, and quantitatively, about distributed systems at the design stage.

New blog post: Writing is Magic brooker.co.za/blog/2022/11/0… From the genre of emails that got out of hand, my thoughts on why I think most people should spend more time writing (writing prose for humans, that is).

For a long time I've been thinking that using a closed loop (sync) for measuring latency is wrong

Vitor Enes defended today his PhD thesis on “Planet-Scale Leaderless Consensus”. Congratulations Vitor Enes, and thanks to the committee members, for the high quality defense. /cc INESC TEC Universidade Minho @feup_porto

Tempo has influenced the design of the upcoming Cassandra Accord, that aims to support ACID transactions at scale thenewstack.io/an-apache-cass…

Systems Distributed '23 is a new conference presented by TigerBeetle: - how to design, build and test systems, - at work, as a hobby or as a business, - from chips to compilers to databases and distributed systems, - in a beautiful city, - with some special speakers...

Database Internals Database Internals Book is now also available in audio format, from Audiobooks.com as well as Audible. Retweet to help spread the news and enter the raffle to get it for free (via redeemable code). audiobooks.com/audiobook/data…

Announcing turmoil, a framework for developing and testing distributed systems. Add hardship to your tests. tokio.rs/blog/2023-01-0…

🦀📕 All chapters of my book, Rust Atomics and Locks, are now freely available online: marabos.nl/atomics/ Enjoy! ✨

Best explanation why distributed systems are complex I've seen is from Peter Alvaro's (@palvaro) keynote "Outwards from the Middle of the Maze" It's a great talk, you should watch youtu.be/cJRuEr0MiM4

The CFP of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, Organised in conjunction with EuroSys 2023 is open until Feb 13. papoc-workshop.github.io/2023/cfp.html

.Fly.io's distributed systems challenge looks quite fun! fly.io/dist-sys/ If this sort of thing is interesting to you, trying to implement your own distributed KV store with TiKV might be interesting as well. github.com/talent-plan/ti…

I’m co-organising a summer school on distributed systems for master’s and PhD students, along with Carlos Baquero, Annette Bieniusa, Carla Ferreira, and Elisa Gonzalez Boix. It will be in Brussels in September. Great opportunity to work with some leading researchers! vub.be/dare-2023

Missed our #eurosys23 poster "Beyond reCAP: Local reads and Linearizable Asynchronous Replication" ? Check out law-theorem.com to discover the future of fast asynchronous replication!

We put TigerBeetle in the browser — and made a game of it! tigerbeetle.com/blog/2023-07-1…

[SIGOPS Blog] "Thinking outside the box: My PhD Odyssey From Single-Server Architecture to Distributed Datastores (Part 1)" by Antonis Katsarakis (Antonis Katsarakis) who received the Honorable Mention of the 2023 Roger Needham PhD Award. Link to the article: sigops.org/2024/thinking-…

If you are attending VLDB 2024 (VLDB 2024), check out the C3 session (Aug 27th, 15:30-17:40), where Maria Ramos will present our latest work on using fault injection to uncover data loss bugs in databases!

Today we announce a brand new conference for software reliability. 200 seats. 10 featured speakers. 6 lightning talks. 5 panelists. 2 days. 1 masterclass. All during DC's cherry blossoms. We call it BugBash. bugbash.antithesis.com