Intro to my P99CONF presentation: An execution is distributed across space if the same logical exec spans multiple physical execs concurrently An execution is distributed across time if the same logical exec spans multiple physical execs sequentially x.com/DominikTornow/…

We are accustomed to the mental model that one logical execution is distributed in space across multiple physical executions－often called fan out How about time tho?! x.com/DominikTornow/…

I had a lot of fun exploring solving a Word Search puzzle with Python and Z3. Anybody interested to read about encoding a problem with an SMT solver and finding a solution in the next issue of my newsletter The Weekend Read?! x.com/DominikTornow/…

This is also a fun exercise in terms of generative testing as well as performance measurement Since we can generate the grid pseudo randomly in the first step, we know the expected result of the second. Then, we compare a basic algorithm against SMT x.com/DominikTornow/…

A billion SMT queries a day by Neha Rungta SMT solvers are not only used to solve word puzzles but are used by the largest cloud provider to prove correctness to its end users. x.com/DominikTornow/…

Never bet against SQL!!! Unless ..... Watch Sujay Jayakar and James Cowling betting against SQL in their Systems Distributed '24 presentation Premieres on TigerBeetle's Youtube channel in 10min 🎲🎲 youtu.be/dS9jtih4dI4?si…

Dass ich erkenne, was die Welt im Innersten zusammenhält －Faust, Johann Wolfgang von Goethe Gaining a deep understanding of a concept is not about implementing that concept but about studying the essence of that concept For example, distributed consensus is often introduced

Find the right voices and internalize their insights Rather than settling for generic explanations, you'll gain a deeper understanding by listening to unique perspectives. Can't wait to rewatch Joran Dirk Greef's talk on exploring distributed consensus x.com/DominikTornow/…

Durable Promises are a universal abstraction for distributed coordination/synchronization Dead Simple 🏴‍☠️ x.com/flossypurse/st…

Being able to design and think in terms of (and decouple) words like: - “logical” - “physical” - “time” - “space” is so valuable when working in distributed systems.

Join us x.com/resonatehqio/s…

One key insights from my P99CONF presentation, a glimpse into why concurrent systems are complex: The concurrent composition of 2 processes consisting of 3 steps leads to 20 distinct execution orders P | Q with P = a • b • c and Q = x • y • z x.com/DominikTornow/…