19 Jan 2025
Actors are inherently a concurrent programming model, however, actors are not inherently a distributed programming model
#ThinkingInDistributedSystems
1
8
997
5 Jan 2025
What is the difference between Failure Agnostic and Failure Tolerant?!
#ThinkingInDistributedSystems
1
7
2,629
3 Jan 2025
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
7
42
3,562
30 Dec 2024
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
4
3
12
1,931
3 Oct 2024
The true Irony of building Event Driven Systems
Events are the wrong abstraction for building event driven systems
#ThinkingInDistributedSystems
2
2
18
6,778
14 Sep 2024
Exploring the effects of concurrency and distribution in Python with a custom scheduler that simulates partial order and partial failure with retries
#ThinkingInDistributedSystems
1
6
1,053
21 Aug 2024
Distributed systems are concurrent systems. So why do we use sequential, blocking remote procedure calls?!
#ThinkingInDistributedSystems
2
10
5,120
7 Aug 2024
Formal Methods and a Formal Methods-inspired way of Thinking are the Raptor 3 of software engineering: crystal-clear and razor-sharp
#ThinkingInDistributedSystems
1
3
981
1 Aug 2024
Do you think idempotence can ensure correctness in the face of retries?!
#ThinkingInDistributedSystems
3
4
21
6,028
12 Jun 2024
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
16
2,234
8 Jun 2024
New issue of The Weekend Read just dropped, we are building a minimal Distributed Async Await framework in 60 lines of js code
#ThinkingInDistributedSystems
1
7
40
6,104
30 May 2024
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
1
9
1,481
24 May 2024
Friday Challenge 🏴☠️
In distributed systems and consensus, what is known as a Sloppy Quorum?!
#ThinkingInDistributedSystems
1
1
4
1,123
17 Apr 2024
Wednesday Wisdom
Exploring 𝗔𝘀𝘆𝗻𝗰 𝗘𝘅𝗲𝗰𝘂𝘁𝗶𝗼𝗻𝘀 and 𝗚𝗿𝗲𝗲𝗻 𝗧𝗵𝗿𝗲𝗮𝗱𝘀, are they fundamentally the same or are they different?!
What do you think?!
#ThinkingInDistributedSystems
15 Apr 2024
Monday Motivation
What is the relationship between 𝗦𝗮𝗴𝗮𝘀 and 𝗖𝗼𝗿𝗼𝘂𝘁𝗶𝗻𝗲𝘀?! Share your insights and join the discussion
#ThinkingInDistributedSystems
1
4
1,328
15 Apr 2024
Monday Motivation
What is the relationship between 𝗦𝗮𝗴𝗮𝘀 and 𝗖𝗼𝗿𝗼𝘂𝘁𝗶𝗻𝗲𝘀?! Share your insights and join the discussion
#ThinkingInDistributedSystems
10
5,104
2 Apr 2024
Distributed Systems are inherently complex due to their departure from the principles that make sequential systems simple
#ThinkingInDistributedSystems
2
10
6,001
24 Mar 2024
𝗪𝗲𝗲𝗸𝗲𝗻𝗱 𝗤𝘂𝗶𝘇
In the world of software systems, why is total failure more manageable than partial failure?!
Share your thoughts
#ThinkingInDistributedSystems
7
10
2,874
7 Feb 2024
Trying something new (for me), recording short 3 to 5 min videos.
First up, an introduction to 𝗗𝗲𝘁𝗲𝗿𝗺𝗶𝗻𝗶𝘀𝘁𝗶𝗰 𝗦𝗶𝗺𝘂𝗹𝗮𝘁𝗶𝗼𝗻 𝗧𝗲𝘀𝘁𝗶𝗻𝗴
#ThinkingInDistributedSystems
2
20
3,740
30 Jan 2024
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
2
674
23 Jan 2024
A distributed system will never not be a distributed system
#ThinkingInDistributedSystems #Einstein
3
3
16
1,859