| | MTTR: When sample means and power laws combine, trouble follows (surfingcomplexity.blog) |
| 1 point by kiyanwang 11 months ago | past |
|
| | Whither Dashboard Design? (surfingcomplexity.blog) |
| 37 points by gpi 11 months ago | past | 11 comments |
|
| | Quick takes on the recent OpenAI public incident write-up (surfingcomplexity.blog) |
| 1 point by kiyanwang 11 months ago | past |
|
| | Quick takes on the recent OpenAI public incident write-up (surfingcomplexity.blog) |
| 108 points by azhenley 11 months ago | past | 69 comments |
|
| | Quick takes on the latest Cloudflare public incident write-up (surfingcomplexity.blog) |
| 3 points by azhenley 11 months ago | past |
|
| | Reading the Generalized Isolation Level Definitions Paper with Alloy (surfingcomplexity.blog) |
| 3 points by eatonphil 12 months ago | past |
|
| | Multi-version concurrency control in TLA+ (surfingcomplexity.blog) |
| 2 points by ingve on Nov 1, 2024 | past |
|
| | The carefulness knob (surfingcomplexity.blog) |
| 186 points by azhenley on Oct 30, 2024 | past | 130 comments |
|
| | The Carefulness Knob (surfingcomplexity.blog) |
| 4 points by ingve on Oct 30, 2024 | past |
|
| | Specifying Serializability in TLA+ (surfingcomplexity.blog) |
| 4 points by todsacerdoti on Oct 29, 2024 | past |
|
| | A Liveness Example in TLA+ (surfingcomplexity.blog) |
| 78 points by skeptrune on Oct 17, 2024 | past | 11 comments |
|
| | Futexes in TLA+ (surfingcomplexity.blog) |
| 43 points by ingve on Oct 8, 2024 | past | 1 comment |
|
| | I don't like discussing action items during incident reviews (surfingcomplexity.blog) |
| 3 points by vinnyglennon on Oct 7, 2024 | past |
|
| | I don't like discussing action items during incident reviews (surfingcomplexity.blog) |
| 2 points by kiyanwang on Oct 6, 2024 | past |
|
| | I don't like discussing action items during incident reviews (surfingcomplexity.blog) |
| 3 points by mfiguiere on Sept 28, 2024 | past |
|
| | Linearizability! Refinement! Prophecy! (surfingcomplexity.blog) |
| 1 point by thunderbong on Sept 25, 2024 | past |
|
| | Linearizability Refinement Prophecy (surfingcomplexity.blog) |
| 29 points by mrtz on Sept 24, 2024 | past |
|
| | Safety First (surfingcomplexity.blog) |
| 1 point by azhenley on Sept 5, 2024 | past |
|
| | Safety First (surfingcomplexity.blog) |
| 18 points by mfiguiere on Aug 31, 2024 | past | 6 comments |
|
| | Contempt for the glue people (surfingcomplexity.blog) |
| 54 points by jakelazaroff on Aug 24, 2024 | past | 40 comments |
|
| | Contempt for the Glue People (2021) (surfingcomplexity.blog) |
| 2 points by Michelangelo11 on Aug 23, 2024 | past |
|
| | Contempt for the Glue People (2021) (surfingcomplexity.blog) |
| 5 points by azhenley on Aug 17, 2024 | past |
|
| | Incidents as Keys to a Lot of Value (surfingcomplexity.blog) |
| 1 point by azhenley on July 29, 2024 | past |
|
| | Second-class interactions are a first-class risk (surfingcomplexity.blog) |
| 3 points by azhenley on July 27, 2024 | past |
|
| | Expect it most when you expect it least (surfingcomplexity.blog) |
| 3 points by azhenley on July 25, 2024 | past |
|
| | Why do config changes keep coming up in major incidents? (2021) (surfingcomplexity.blog) |
| 3 points by azhenley on July 22, 2024 | past |
|
| | Efficiency and Bad Outcomes (surfingcomplexity.blog) |
| 2 points by azhenley on July 21, 2024 | past |
|
| | Modeling B-Trees in TLA+ (surfingcomplexity.blog) |
| 5 points by PaulHoule on July 12, 2024 | past |
|
| | Dirty Writes (surfingcomplexity.blog) |
| 1 point by azhenley on July 11, 2024 | past |
|
| | Modeling B-Trees in TLA+ (surfingcomplexity.blog) |
| 10 points by todsacerdoti on July 8, 2024 | past |
|
|
| More |
