A distributed system will never not be a distributed system #ThinkingInDistributedSystems #Einstein

Do you think idempotence can ensure correctness in the face of retries?! #ThinkingInDistributedSystems

Trying something new (for me), recording short 3 to 5 min videos. First up, an introduction to 𝗗𝗲𝘁𝗲𝗿𝗺𝗶𝗻𝗶𝘀𝘁𝗶𝗰 𝗦𝗶𝗺𝘂𝗹𝗮𝘁𝗶𝗼𝗻 𝗧𝗲𝘀𝘁𝗶𝗻𝗴 #ThinkingInDistributedSystems

Monday Motivation What is the relationship between 𝗦𝗮𝗴𝗮𝘀 and 𝗖𝗼𝗿𝗼𝘂𝘁𝗶𝗻𝗲𝘀?! Share your insights and join the discussion #ThinkingInDistributedSystems

In the presence of partial failure, even the most basic rules for reasoning about computations do not hold －An Equational Theory for Transactions The very essence of distributed systems #ThinkingInDistributedSystems

New issue of The Weekend Read just dropped, we are building a minimal Distributed Async Await framework in 60 lines of js code #ThinkingInDistributedSystems

What is the difference between Failure Agnostic and Failure Tolerant?! #ThinkingInDistributedSystems

The true Irony of building Event Driven Systems Events are the wrong abstraction for building event driven systems #ThinkingInDistributedSystems

The first day of NDC { Oslo } has kicked off. If you're attending the conference, don't miss my talk on Distributed Async Await #ThinkingInDistributedSystems

Monday Morning Musings ☀️ Distributed systems and consensus enthusiasts know the rule: we need 2f+1 processes to tolerate up to f failures. Can you explain why in a way that makes anybody say 'Of course, now I get it' #ThinkingInDistributedSystems

Friday Challenge 🏴‍☠️ In distributed systems and consensus, what is known as a Sloppy Quorum?! #ThinkingInDistributedSystems

Distributed Systems are inherently complex due to their departure from the principles that make sequential systems simple #ThinkingInDistributedSystems

Distributed systems are concurrent systems. So why do we use sequential, blocking remote procedure calls?! #ThinkingInDistributedSystems

Discussing Deterministic Simulation Testing inevitably leads to the topic of determinism Question: When is a software system deterministic, and is determinism an absolute property #ThinkingInDistributedSystems #Maomao

Using Alloy Analyzer to explore the traditional async await programming model In order to model Distributed Async Await, we need to add the notion of a process to reason about local and remote steps #ThinkingInDistributedSystems

Exploring the effects of concurrency and distribution in Python with a custom scheduler that simulates partial order and partial failure with retries #ThinkingInDistributedSystems

Formal Methods and a Formal Methods-inspired way of Thinking are the Raptor 3 of software engineering: crystal-clear and razor-sharp #ThinkingInDistributedSystems

Actors are inherently a concurrent programming model, however, actors are not inherently a distributed programming model #ThinkingInDistributedSystems

𝗪𝗲𝗲𝗸𝗲𝗻𝗱 𝗤𝘂𝗶𝘇 In the world of software systems, why is total failure more manageable than partial failure?! Share your thoughts #ThinkingInDistributedSystems

Wednesday Wisdom Exploring 𝗔𝘀𝘆𝗻𝗰 𝗘𝘅𝗲𝗰𝘂𝘁𝗶𝗼𝗻𝘀 and 𝗚𝗿𝗲𝗲𝗻 𝗧𝗵𝗿𝗲𝗮𝗱𝘀, are they fundamentally the same or are they different?! What do you think?! #ThinkingInDistributedSystems https://t.co/9ao1irWe6X