corpus.blog
41554 blogs · [ { "id": "01a0d359-bc0c-7066-a2b8-27754666f252", "title": "Reading the Generalized Isolation Level Definitions paper with Alloy", "url": "https://surfingcomplexity.blog/2024/11/18/reading-the-generalized-isolation-level-definitions-paper-with-alloy/", "published_at": "2024-11-19T07:02:50+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-277546a3ade1", "title": "Extending MVCC to be serializable, in TLA+", "url": "https://surfingcomplexity.blog/2024/11/03/extending-mvcc-to-be-serializable-in-tla/", "published_at": "2024-11-04T04:59:38+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-2775479f4699", "title": "Multi-version concurrency control in TLA+", "url": "https://surfingcomplexity.blog/2024/10/31/multi-version-concurrency-control-in-tla/", "published_at": "2024-11-01T06:04:03+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-277547d9e61f", "title": "The carefulness knob", "url": "https://surfingcomplexity.blog/2024/10/29/the-carefulness-knob/", "published_at": "2024-10-30T03:58:11+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-2775484681e0", "title": "Specifying serializability in TLA+", "url": "https://surfingcomplexity.blog/2024/10/28/serializability-and-tla/", "published_at": "2024-10-29T05:28:15+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-277548ac6d54", "title": "If you don’t examine what worked, how will you know what works?", "url": "https://surfingcomplexity.blog/2024/10/17/if-you-dont-examine-what-worked-how-will-you-know-what-works/", "published_at": "2024-10-18T01:52:31+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-277548bc60b2", "title": "A liveness example in TLA+", "url": "https://surfingcomplexity.blog/2024/10/16/a-liveness-example-in-tla/", "published_at": "2024-10-17T05:31:29+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-2775493cde7f", "title": "Futexes in TLA+", "url": "https://surfingcomplexity.blog/2024/10/05/futexes-in-tla/", "published_at": "2024-10-06T00:51:39+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-27754a2734b3", "title": "Why I don’t like discussing action items during incident reviews", "url": "https://surfingcomplexity.blog/2024/09/28/why-i-dont-like-discussing-action-items-during-incident-reviews/", "published_at": "2024-09-28T19:24:40+00:00" }, { "id": "01a0d359-bc0c-7066-a2b8-27754a773079", "title": "Linearizability! Refinement! Prophecy!", "url": "https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/", "published_at": "2024-09-22T17:37:21+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb5ac8dae", "title": "Safety first!", "url": "https://surfingcomplexity.blog/2024/08/31/safety-first/", "published_at": "2024-08-31T18:24:04+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb64a04a6", "title": "You can specify even when you can’t implement", "url": "https://surfingcomplexity.blog/2024/08/29/you-can-specify-even-when-you-cant-implement/", "published_at": "2024-08-30T02:45:06+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb683d9c8", "title": "The “CrowdStrike” approach to reliability work", "url": "https://surfingcomplexity.blog/2024/08/11/the-crowdstrike-approach-to-reliability-work/", "published_at": "2024-08-11T22:09:06+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb6872a14", "title": "CrowdStrike: how did we get here?", "url": "https://surfingcomplexity.blog/2024/08/07/crowdstrike-how-did-we-get-here/", "published_at": "2024-08-08T05:27:26+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb7655acd", "title": "Modeling a CLH lock in TLA+", "url": "https://surfingcomplexity.blog/2024/08/04/modeling-a-clh-lock-in-tla/", "published_at": "2024-08-04T23:47:03+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb7c77869", "title": "Reproducing a Java 21 virtual threads deadlock scenario with TLA+", "url": "https://surfingcomplexity.blog/2024/08/01/reproducing-a-java-21-virtual-threads-deadlock-scenario-with-tla/", "published_at": "2024-08-02T05:35:42+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb804239a", "title": "Incidents as keys to a lot of value", "url": "https://surfingcomplexity.blog/2024/07/27/incidents-as-keys-to-a-lot-of-value/", "published_at": "2024-07-28T02:28:29+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb84d8237", "title": "Second-class interactions are a first-class risk", "url": "https://surfingcomplexity.blog/2024/07/27/second-class-interactions-are-a-first-class-risk/", "published_at": "2024-07-27T19:27:56+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb93b357f", "title": "Expect it most when you expect it least", "url": "https://surfingcomplexity.blog/2024/07/24/expect-it-most-when-you-expect-it-least/", "published_at": "2024-07-25T02:30:41+00:00" }, { "id": "01a0d35a-3ffe-7145-9081-a73cb9db3cff", "title": "A still, small sound", "url": "https://surfingcomplexity.blog/2024/07/23/a-still-small-sound/", "published_at": "2024-07-24T06:06:07+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5c736766", "title": "Book review: How Life Works", "url": "https://surfingcomplexity.blog/2024/07/07/book-review-how-life-works/", "published_at": "2024-07-07T19:09:31+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5d02c7f1", "title": "Quick takes on Rogers Network outage executive summary", "url": "https://surfingcomplexity.blog/2024/07/06/quick-takes-on-rogers-network-outage-executive-summary/", "published_at": "2024-07-06T23:26:57+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5d066b18", "title": "Dirty writes", "url": "https://surfingcomplexity.blog/2024/07/05/dirty-writes/", "published_at": "2024-07-06T05:56:22+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5dc437c1", "title": "Efficiency and bad outcomes", "url": "https://surfingcomplexity.blog/2024/07/05/efficiency-and-bad-outcomes/", "published_at": "2024-07-05T16:45:58+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5e0f3543", "title": "Modeling B-trees in TLA+", "url": "https://surfingcomplexity.blog/2024/07/04/modeling-b-trees-in-tla/", "published_at": "2024-07-05T04:53:33+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5edaabe6", "title": "Action item template", "url": "https://surfingcomplexity.blog/2024/06/02/action-item-template/", "published_at": "2024-06-02T19:45:08+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5f55d1d6", "title": "You can’t judge risk in hindsight", "url": "https://surfingcomplexity.blog/2024/05/26/you-cant-judge-risk-in-hindsight/", "published_at": "2024-05-27T05:24:40+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa5fd4b1f5", "title": "The problem with a root cause is that it explains too much", "url": "https://surfingcomplexity.blog/2024/05/26/the-problem-with-a-root-cause-is-that-it-explains-too-much/", "published_at": "2024-05-26T19:25:01+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa603c28f4", "title": "The error term isn’t Pareto distributed", "url": "https://surfingcomplexity.blog/2024/05/25/the-error-term-isnt-pareto-distributed/", "published_at": "2024-05-25T20:39:35+00:00" }, { "id": "01a0d35a-cb44-7311-a470-8cfa60b2a677", "title": "Green is the color of complacency", "url": "https://surfingcomplexity.blog/2024/05/05/green-is-the-color-of-complacency/", "published_at": "2024-05-05T23:52:28+00:00" }, { "id": "01a0d35b-7278-701f-8570-d7250cae0c55", "title": "The perils of outcome-based analysis", "url": "https://surfingcomplexity.blog/2024/05/04/the-perils-of-outcome-based-analysis/", "published_at": "2024-05-04T21:45:10+00:00" }, { "id": "01a0d35b-7278-701f-8570-d7250d5d4ab3", "title": "The problem with invariants is that they change over time", "url": "https://surfingcomplexity.blog/2024/03/26/the-problem-with-invariants-is-that-they-change-over-time/", "published_at": "2024-03-27T03:57:34+00:00" }, { "id": "01a0d35b-7278-701f-8570-d7250e5181ea", "title": "When there’s no gemba to go to", "url": "https://surfingcomplexity.blog/2024/03/16/when-theres-no-gemba-to-go-to/", "published_at": "2024-03-17T04:27:19+00:00" }, { "id": "01a0d35b-7278-701f-8570-d7250e7c54a5", "title": "What if everybody did everything right?", "url": "https://surfingcomplexity.blog/2024/02/17/what-if-everybody-did-everything-right/", "published_at": "2024-02-18T01:45:38+00:00" }, { "id": "01a0d35b-7278-701f-8570-d7250f74d0f8", "title": "Book Review: Trust in Numbers", "url": "https://surfingcomplexity.blog/2024/02/11/book-review-trust-in-numbers/", "published_at": "2024-02-11T23:58:29+00:00" }, { "id": "01a0d35b-7278-701f-8570-d725104cfa0a", "title": "Negotiability is non-negotiable", "url": "https://surfingcomplexity.blog/2024/01/24/negotiability-is-non-negotiable/", "published_at": "2024-01-25T05:22:10+00:00" }, { "id": "01a0d35b-7278-701f-8570-d725112ce5ac", "title": "You should’ve known how to build a non-causal system", "url": "https://surfingcomplexity.blog/2024/01/07/you-shouldve-known-how-to-build-a-non-causal-system/", "published_at": "2024-01-07T23:43:32+00:00" }, { "id": "01a0d35b-7278-701f-8570-d72511bb4c43", "title": "Consistency", "url": "https://surfingcomplexity.blog/2023/12/31/consistency/", "published_at": "2024-01-01T01:20:28+00:00" }, { "id": "01a0d35b-7278-701f-8570-d7251270905b", "title": "The inherent weirdness of system behavior", "url": "https://surfingcomplexity.blog/2023/12/29/the-inherent-weirdness-of-system-behavior/", "published_at": "2023-12-30T05:22:09+00:00" }, { "id": "01a0d35b-7279-7134-8d8f-eb273963ccff", "title": "Tell me about a time…", "url": "https://surfingcomplexity.blog/2023/12/24/tell-me-about-a-time/", "published_at": "2023-12-25T05:12:17+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22b9d936a", "title": "On chains and complex systems", "url": "https://surfingcomplexity.blog/2023/12/23/on-chains-and-complex-systems/", "published_at": "2023-12-24T00:49:59+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22bad89f2", "title": "The courage to imagine other failures", "url": "https://surfingcomplexity.blog/2023/12/22/the-courage-to-imagine-other-failures/", "published_at": "2023-12-23T06:25:33+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22c7f70c4", "title": "Any change can break us, but we can’t treat every change the same", "url": "https://surfingcomplexity.blog/2023/12/17/any-change-can-break-us-but-we-cant-treat-every-change-the-same/", "published_at": "2023-12-17T22:03:02+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22c90f8b5", "title": "“Human error” means they don’t understand how the system worked", "url": "https://surfingcomplexity.blog/2023/12/10/human-error-means-they-dont-understand-how-the-system-worked/", "published_at": "2023-12-10T21:13:42+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22cd75d3f", "title": "For want of a dollar", "url": "https://surfingcomplexity.blog/2023/09/30/for-want-of-a-dollar/", "published_at": "2023-10-01T05:41:28+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22dae6be6", "title": "Accidents manage you", "url": "https://surfingcomplexity.blog/2023/09/30/accidents-manage-you/", "published_at": "2023-10-01T05:19:19+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22e9fd69a", "title": "The surprising power of a technical document written by experts", "url": "https://surfingcomplexity.blog/2023/09/10/the-surprising-power-of-a-technical-document-written-by-experts/", "published_at": "2023-09-10T19:06:21+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22eee431f", "title": "On productivity metrics and management consultants", "url": "https://surfingcomplexity.blog/2023/09/03/on-productivity-metrics-management-consultants/", "published_at": "2023-09-03T19:22:26+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22ef9c999", "title": "Operating effectively in high surprise mode", "url": "https://surfingcomplexity.blog/2023/08/27/operating-effectively-in-high-surprise-mode/", "published_at": "2023-08-28T00:39:18+00:00" }, { "id": "01a0d35b-f429-72e1-8e15-94d22f7a1edd", "title": "Normal incidents", "url": "https://surfingcomplexity.blog/2023/08/20/normal-incidents/", "published_at": "2023-08-21T02:22:02+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17ea7c9e37f", "title": "Why LFI is a tough sell", "url": "https://surfingcomplexity.blog/2023/08/20/why-lfi-is-a-tough-sell/", "published_at": "2023-08-20T23:40:14+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17ea8660d81", "title": "Oddly influenced podcast", "url": "https://surfingcomplexity.blog/2023/08/20/oddly-influenced-podcast/", "published_at": "2023-08-20T20:28:51+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17ea907f87f", "title": "Active knowledge", "url": "https://surfingcomplexity.blog/2023/06/26/active-knowledge/", "published_at": "2023-06-27T04:03:32+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17ea9b7676a", "title": "Resilience requires helping each other out", "url": "https://surfingcomplexity.blog/2023/06/17/resilience-requires-helping-each-other-out/", "published_at": "2023-06-17T20:54:42+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17eaa077bfb", "title": "If you can’t tell a story about it, it isn’t real", "url": "https://surfingcomplexity.blog/2023/06/15/if-you-cant-tell-a-story-about-it-it-isnt-real/", "published_at": "2023-06-15T14:32:35+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17eaa265589", "title": "When there’s no plan for this scenario, you’ve got to improvise", "url": "https://surfingcomplexity.blog/2023/06/11/when-theres-no-plan-for-this-scenario-youve-got-to-improvise/", "published_at": "2023-06-11T18:39:27+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17eab19bfe0", "title": "Treating uncertainty as a first-class concern", "url": "https://surfingcomplexity.blog/2023/06/10/treating-uncertainty-as-a-first-class-concern/", "published_at": "2023-06-10T17:49:07+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17eab693c1b", "title": "My SREcon 23 talk is up", "url": "https://surfingcomplexity.blog/2023/04/25/my-srecon-23-talk-is-up/", "published_at": "2023-04-26T05:25:20+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17eabb4086a", "title": "Missing the forest for the trees: the component substitution fallacy", "url": "https://surfingcomplexity.blog/2023/04/15/missing-the-forest-for-the-trees-the-component-substitution-fallacy/", "published_at": "2023-04-16T00:50:50+00:00" }, { "id": "01a0d35c-7427-7276-b13b-e17eac52ff85", "title": "Some thoughts on my presentation style", "url": "https://surfingcomplexity.blog/2023/03/25/some-thoughts-on-my-presentation-style/", "published_at": "2023-03-26T04:04:47+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17ad1e8b3a", "title": "Making peace with the imperfect nature of mental models", "url": "https://surfingcomplexity.blog/2023/03/13/making-peace-with-the-imperfect-nature-of-mental-models/", "published_at": "2023-03-14T05:12:28+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17ad7d7ea0", "title": "You can’t see what you don’t have a frame of reference for", "url": "https://surfingcomplexity.blog/2023/02/26/you-cant-see-what-you-dont-have-a-frame-of-reference-for/", "published_at": "2023-02-26T23:45:21+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17adf9a0c3", "title": "My talk from the LFI conference", "url": "https://surfingcomplexity.blog/2023/02/23/my-talk-from-the-lfi-conference/", "published_at": "2023-02-24T04:20:19+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17ae61714e", "title": "Good category, bad category (or: tag, don’t bucket)", "url": "https://surfingcomplexity.blog/2023/02/19/good-category-bad-category-or-tag-dont-bucket/", "published_at": "2023-02-19T16:41:39+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17af3f5a50", "title": "The value of social science research", "url": "https://surfingcomplexity.blog/2023/02/18/the-value-of-social-science-research/", "published_at": "2023-02-18T21:11:07+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17afbaad47", "title": "The high cost of low ambiguity", "url": "https://surfingcomplexity.blog/2023/02/12/the-high-cost-of-low-ambiguity/", "published_at": "2023-02-12T23:09:32+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17b013e1b4", "title": "Why you can’t buy an observability solution off the shelf", "url": "https://surfingcomplexity.blog/2023/01/21/why-you-cant-buy-an-observability-solution-off-the-shelf/", "published_at": "2023-01-22T04:58:21+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17b07f8cce", "title": "Does any of this sound familiar?", "url": "https://surfingcomplexity.blog/2023/01/17/does-any-of-this-sound-familiar/", "published_at": "2023-01-18T03:27:20+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17b161fba2", "title": "A small mistake does not a complex systems failure make", "url": "https://surfingcomplexity.blog/2023/01/15/a-small-mistake-does-not-a-complex-systems-failure-make/", "published_at": "2023-01-15T22:22:59+00:00" }, { "id": "01a0d35d-0bfd-73a7-b27a-1e17b17d5a5d", "title": "The Allspaw-Collins effect", "url": "https://surfingcomplexity.blog/2023/01/01/the-allspaw-collins-effect/", "published_at": "2023-01-01T21:01:03+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810e9f35cf8", "title": "Southwest airlines: a case study in brittleness", "url": "https://surfingcomplexity.blog/2022/12/28/southwest-airlines-a-case-study-in-brittleness/", "published_at": "2022-12-28T20:53:29+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810eac9dbb5", "title": "Knowledge and Power: A Sociotechnical Systems Discussion on the Future of SRE", "url": "https://surfingcomplexity.blog/2022/12/16/knowledge-and-power-a-sociotechnical-systems-discussion-on-the-future-of-sre/", "published_at": "2022-12-17T05:19:06+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810eb6a35ab", "title": "Incident categories I’d like to see", "url": "https://surfingcomplexity.blog/2022/12/11/incident-categories-id-like-to-see/", "published_at": "2022-12-11T19:30:49+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810ebf402e2", "title": "CasesConf experience report", "url": "https://surfingcomplexity.blog/2022/12/11/casesconf-experience-report/", "published_at": "2022-12-11T18:50:58+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810ec51177f", "title": "Cache invalidation really is one of the hardest problems in computer science", "url": "https://surfingcomplexity.blog/2022/11/25/cache-invalidation-really-is-one-of-the-hardest-things-in-computer-science/", "published_at": "2022-11-26T01:05:43+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810ed28906e", "title": "Writing docs well: why should a software engineer care?", "url": "https://surfingcomplexity.blog/2022/11/24/writing-docs-well-why-should-a-software-engineer-care/", "published_at": "2022-11-24T20:53:31+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810eddf45d2", "title": "Time keeps on slippin’: A review of “Four thousand weeks”", "url": "https://surfingcomplexity.blog/2022/10/09/time-keeps-on-slippin-a-review-of-four-thousand-weeks/", "published_at": "2022-10-10T03:48:57+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810eed68d45", "title": "The down side of writing things down", "url": "https://surfingcomplexity.blog/2022/10/09/the-problems-with-writing-things-down/", "published_at": "2022-10-10T02:29:14+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810ef8d0148", "title": "There is no “Three Mile Island” event coming for software", "url": "https://surfingcomplexity.blog/2022/10/08/there-is-no-three-mile-island-event-coming-for-software/", "published_at": "2022-10-08T19:51:28+00:00" }, { "id": "01a0d35d-dcf1-72cb-b28d-2810ef98e600", "title": "Up and down the abstraction hierarchy", "url": "https://surfingcomplexity.blog/2022/09/17/up-and-down-the-abstraction-hierarchy/", "published_at": "2022-09-17T23:02:43+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c38972801", "title": "Production pressure", "url": "https://surfingcomplexity.blog/2022/08/05/production-pressure/", "published_at": "2022-08-06T03:31:36+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c392c47be", "title": "Uvalde: a reasonable officer", "url": "https://surfingcomplexity.blog/2022/07/24/udvale-a-reasonable-officer/", "published_at": "2022-07-24T19:32:36+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c394aff5b", "title": "Uvalde: would you have taken the shot?", "url": "https://surfingcomplexity.blog/2022/07/24/uvalde-would-you-have-taken-the-shot/", "published_at": "2022-07-24T18:35:37+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3a19ebc3", "title": "Common ground breakdown in Uvalde", "url": "https://surfingcomplexity.blog/2022/07/24/common-ground-breakdown-in-uvalde/", "published_at": "2022-07-24T17:36:36+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3a5b76eb", "title": "The fog of war in Uvalde", "url": "https://surfingcomplexity.blog/2022/07/23/the-fog-of-war-in-uvalde/", "published_at": "2022-07-24T00:03:43+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3ad006e4", "title": "What’s allowed to count as a cause: ALERRT edition", "url": "https://surfingcomplexity.blog/2022/07/23/whats-allowed-to-count-as-a-cause-alerrt-edition/", "published_at": "2022-07-23T21:28:18+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3b9910e4", "title": "Uvalde", "url": "https://surfingcomplexity.blog/2022/07/23/uvalde/", "published_at": "2022-07-23T20:41:37+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3c91a6f6", "title": "Incident response is a team sport", "url": "https://surfingcomplexity.blog/2022/06/04/incident-response-is-a-team-sport/", "published_at": "2022-06-05T00:44:59+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3cb30978", "title": "You’re just going to sit there???", "url": "https://surfingcomplexity.blog/2022/06/03/youre-just-going-to-sit-there/", "published_at": "2022-06-04T03:19:06+00:00" }, { "id": "01a0d35e-d487-7193-a54c-a97c3d7e5450", "title": "Imagine there’s no human error…", "url": "https://surfingcomplexity.blog/2022/05/30/imagine-theres-no-human-error/", "published_at": "2022-05-31T00:12:33+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e48aa2749", "title": "She Blinded Me With Science: A review of Galileo’s Middle Finger", "url": "https://surfingcomplexity.blog/2022/04/29/she-blinded-me-with-science-a-review-of-galileos-middle-finger/", "published_at": "2022-04-30T02:41:56+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e48e704a4", "title": "Bad Religion: A review of Work Pray Code", "url": "https://surfingcomplexity.blog/2022/04/27/bad-religion-a-review-of-work-pray-code/", "published_at": "2022-04-28T05:45:43+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e49aacd0a", "title": "We value possession of experience, but not its acquisition", "url": "https://surfingcomplexity.blog/2022/04/23/we-value-possession-of-experience-but-not-its-acquisition/", "published_at": "2022-04-23T23:34:22+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4a2dad35", "title": "Software engineering in-the-large: the coordination challenge", "url": "https://surfingcomplexity.blog/2022/04/23/software-engineering-in-the-large-the-coordination-challenge/", "published_at": "2022-04-23T23:08:59+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4ab7d9d3", "title": "OR, DevOps, and LFI", "url": "https://surfingcomplexity.blog/2022/04/22/or-devops-and-lfi/", "published_at": "2022-04-23T00:56:31+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4aed0808", "title": "Prussia meets Versailles: a review of Moral Mazes", "url": "https://surfingcomplexity.blog/2022/04/16/prussia-meets-versailles-a-review-of-moral-mazes/", "published_at": "2022-04-16T21:17:08+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4bc785cc", "title": "Making operational work more visible", "url": "https://surfingcomplexity.blog/2022/04/16/making-operational-work-more-visible/", "published_at": "2022-04-16T20:32:42+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4c5352ae", "title": "Code rewrites and joint cognitive systems", "url": "https://surfingcomplexity.blog/2022/04/10/code-rewrites-and-joint-cognitive-systems/", "published_at": "2022-04-10T23:38:39+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4ced5e95", "title": "Taking the hit", "url": "https://surfingcomplexity.blog/2022/04/09/taking-the-hit/", "published_at": "2022-04-10T03:35:20+00:00" }, { "id": "01a0d35f-f981-7288-a2c7-b57e4d3881a5", "title": "Bitrot", "url": "https://surfingcomplexity.blog/2022/01/23/bitrot/", "published_at": "2022-01-23T21:53:38+00:00" } ] posts Claim your blog
Back to Lorin Hochstein
Blog · corpus.blog/blogs/surfingcomplexity.blog/posts

Lorin Hochstein

surfingcomplexity.blog

2024

Reading the Generalized Isolation Level Definitions paper with Alloyoriginal ↗
19 Nov 2024
Extending MVCC to be serializable, in TLA+original ↗
4 Nov 2024
Multi-version concurrency control in TLA+original ↗
1 Nov 2024
The carefulness knoboriginal ↗
30 Oct 2024
Specifying serializability in TLA+original ↗
29 Oct 2024
If you don’t examine what worked, how will you know what works?original ↗
18 Oct 2024
A liveness example in TLA+original ↗
17 Oct 2024
Futexes in TLA+original ↗
6 Oct 2024
Why I don’t like discussing action items during incident reviewsoriginal ↗
28 Sept 2024
Linearizability! Refinement! Prophecy!original ↗
22 Sept 2024
Safety first!original ↗
31 Aug 2024
You can specify even when you can’t implementoriginal ↗
30 Aug 2024
The “CrowdStrike” approach to reliability workoriginal ↗
11 Aug 2024
CrowdStrike: how did we get here?original ↗
8 Aug 2024
Modeling a CLH lock in TLA+original ↗
4 Aug 2024
Reproducing a Java 21 virtual threads deadlock scenario with TLA+original ↗
2 Aug 2024
Incidents as keys to a lot of valueoriginal ↗
28 Jul 2024
Second-class interactions are a first-class riskoriginal ↗
27 Jul 2024
Expect it most when you expect it leastoriginal ↗
25 Jul 2024
A still, small soundoriginal ↗
24 Jul 2024
Book review: How Life Worksoriginal ↗
7 Jul 2024
Quick takes on Rogers Network outage executive summaryoriginal ↗
6 Jul 2024
Dirty writesoriginal ↗
6 Jul 2024
Efficiency and bad outcomesoriginal ↗
5 Jul 2024
Modeling B-trees in TLA+original ↗
5 Jul 2024
Action item templateoriginal ↗
2 Jun 2024
You can’t judge risk in hindsightoriginal ↗
27 May 2024
The problem with a root cause is that it explains too muchoriginal ↗
26 May 2024
The error term isn’t Pareto distributedoriginal ↗
25 May 2024
Green is the color of complacencyoriginal ↗
5 May 2024
The perils of outcome-based analysisoriginal ↗
4 May 2024
The problem with invariants is that they change over timeoriginal ↗
27 Mar 2024
When there’s no gemba to go tooriginal ↗
17 Mar 2024
What if everybody did everything right?original ↗
18 Feb 2024
Book Review: Trust in Numbersoriginal ↗
11 Feb 2024
Negotiability is non-negotiableoriginal ↗
25 Jan 2024
You should’ve known how to build a non-causal systemoriginal ↗
7 Jan 2024
Consistencyoriginal ↗
1 Jan 2024

2023

The inherent weirdness of system behaviororiginal ↗
30 Dec 2023
Tell me about a time…original ↗
25 Dec 2023
On chains and complex systemsoriginal ↗
24 Dec 2023
The courage to imagine other failuresoriginal ↗
23 Dec 2023
Any change can break us, but we can’t treat every change the sameoriginal ↗
17 Dec 2023
“Human error” means they don’t understand how the system workedoriginal ↗
10 Dec 2023
For want of a dollaroriginal ↗
1 Oct 2023
Accidents manage youoriginal ↗
1 Oct 2023
The surprising power of a technical document written by expertsoriginal ↗
10 Sept 2023
On productivity metrics and management consultantsoriginal ↗
3 Sept 2023
Operating effectively in high surprise modeoriginal ↗
28 Aug 2023
Normal incidentsoriginal ↗
21 Aug 2023
Why LFI is a tough selloriginal ↗
20 Aug 2023
Oddly influenced podcastoriginal ↗
20 Aug 2023
Active knowledgeoriginal ↗
27 Jun 2023
Resilience requires helping each other outoriginal ↗
17 Jun 2023
If you can’t tell a story about it, it isn’t realoriginal ↗
15 Jun 2023
When there’s no plan for this scenario, you’ve got to improviseoriginal ↗
11 Jun 2023
Treating uncertainty as a first-class concernoriginal ↗
10 Jun 2023
My SREcon 23 talk is uporiginal ↗
26 Apr 2023
Missing the forest for the trees: the component substitution fallacyoriginal ↗
16 Apr 2023
Some thoughts on my presentation styleoriginal ↗
26 Mar 2023
Making peace with the imperfect nature of mental modelsoriginal ↗
14 Mar 2023
You can’t see what you don’t have a frame of reference fororiginal ↗
26 Feb 2023
My talk from the LFI conferenceoriginal ↗
24 Feb 2023
Good category, bad category (or: tag, don’t bucket)original ↗
19 Feb 2023
The value of social science researchoriginal ↗
18 Feb 2023
The high cost of low ambiguityoriginal ↗
12 Feb 2023
Why you can’t buy an observability solution off the shelforiginal ↗
22 Jan 2023
Does any of this sound familiar?original ↗
18 Jan 2023
A small mistake does not a complex systems failure makeoriginal ↗
15 Jan 2023
The Allspaw-Collins effectoriginal ↗
1 Jan 2023

2022

Southwest airlines: a case study in brittlenessoriginal ↗
28 Dec 2022
Knowledge and Power: A Sociotechnical Systems Discussion on the Future of SREoriginal ↗
17 Dec 2022
Incident categories I’d like to seeoriginal ↗
11 Dec 2022
CasesConf experience reportoriginal ↗
11 Dec 2022
Cache invalidation really is one of the hardest problems in computer scienceoriginal ↗
26 Nov 2022
Writing docs well: why should a software engineer care?original ↗
24 Nov 2022
Time keeps on slippin’: A review of “Four thousand weeks”original ↗
10 Oct 2022
The down side of writing things downoriginal ↗
10 Oct 2022
There is no “Three Mile Island” event coming for softwareoriginal ↗
8 Oct 2022
Up and down the abstraction hierarchyoriginal ↗
17 Sept 2022
Production pressureoriginal ↗
6 Aug 2022
Uvalde: a reasonable officeroriginal ↗
24 Jul 2022
Uvalde: would you have taken the shot?original ↗
24 Jul 2022
Common ground breakdown in Uvaldeoriginal ↗
24 Jul 2022
The fog of war in Uvaldeoriginal ↗
24 Jul 2022
What’s allowed to count as a cause: ALERRT editionoriginal ↗
23 Jul 2022
Uvaldeoriginal ↗
23 Jul 2022
Incident response is a team sportoriginal ↗
5 Jun 2022
You’re just going to sit there???original ↗
4 Jun 2022
Imagine there’s no human error…original ↗
31 May 2022
She Blinded Me With Science: A review of Galileo’s Middle Fingeroriginal ↗
30 Apr 2022
Bad Religion: A review of Work Pray Codeoriginal ↗
28 Apr 2022
We value possession of experience, but not its acquisitionoriginal ↗
23 Apr 2022
Software engineering in-the-large: the coordination challengeoriginal ↗
23 Apr 2022
OR, DevOps, and LFIoriginal ↗
23 Apr 2022
Prussia meets Versailles: a review of Moral Mazesoriginal ↗
16 Apr 2022
Making operational work more visibleoriginal ↗
16 Apr 2022
Code rewrites and joint cognitive systemsoriginal ↗
10 Apr 2022
Taking the hitoriginal ↗
10 Apr 2022
Bitrotoriginal ↗
23 Jan 2022
Previous Next