Articles from surfingcomplexity.blog

Articles from surfingcomplexity.blog

The Gamma Knife model of incidents (2019) (surfingcomplexity.blog)
10 days ago

Model error (surfingcomplexity.blog)
11 days ago

Locks, leases, fencing tokens, FizzBee (surfingcomplexity.blog)
30 days ago

You're missing your near misses (surfingcomplexity.blog)
2025-2-2

The Canva outage: another tale of saturation and resilience (surfingcomplexity.blog)
2025-1-13

Quick takes on the latest Cloudflare public incident write-up (surfingcomplexity.blog)
2024-11-29

Reading the Generalized Isolation Level Definitions paper with Alloy (surfingcomplexity.blog)
2024-11-20

Specifying serializability in TLA+ (surfingcomplexity.blog)
2024-10-29

A liveness example in TLA+ (surfingcomplexity.blog)
2024-10-17

Why do config changes keep coming up in major incidents? (2021) (surfingcomplexity.blog)
2024-7-23

Modeling B-trees in TLA+ (surfingcomplexity.blog)
2024-7-9

Dirty writes (surfingcomplexity.blog)
2024-7-7

The problem with invariants is that they change over time (surfingcomplexity.blog)
2024-3-28

What if everybody did everything right? (surfingcomplexity.blog)
2024-3-19

Consistency (surfingcomplexity.blog)
2024-2-5

On chains and complex systems (surfingcomplexity.blog)
2023-12-24

For want of a dollar (surfingcomplexity.blog)
2023-11-22

Cache invalidation really is one of the hardest problems in computer science (surfingcomplexity.blog)
2023-2-5 Cache

Cache invalidation really is one of the hardest problems in computer science (surfingcomplexity.blog)
2023-1-21 Cache

Writing docs well: why should a software engineer care? (surfingcomplexity.blog)
2022-12-13

Cache invalidation really is one of the hardest problems in computer science (surfingcomplexity.blog)
2022-11-26 Cache

Writing docs well: why should a software engineer care? (surfingcomplexity.blog)
2022-11-25

There is no “Three Mile Island” event coming for software (surfingcomplexity.blog)
2022-10-9

Previous Page Next Page