The error term isn't Pareto distributed

The problem with invariants is that they change over time

What if everybody did everything right?

Cache invalidation really is one of the hardest problems in computer science (2022)

Consistency

On chains and complex systems

For want of a dollar

Active knowledge

Resilience requires helping each other out

If you can’t tell a story about it, it isn’t real

Cache invalidation really is one of the hardest problems in computer science

Southwest Airlines: a case study in brittleness

Writing docs well: why should a software engineer care?

Cache invalidation is one of the hardest problems in computer science

Imagine there’s no human error

Software engineering in-the-large: the coordination challenge

Bitrot

The Ambiguity of Real Work

I have no idea what I’m doing

The danger of hidden functional roles

The Power of Framing a Problem

TLA+ is hard to learn (2018)

Root cause of failure, root cause of success

Designing like a joint cognitive system

Dealing with New Kinds of Trouble

Coding as a tool of thought

Battleshorts, exaptations, and the limits of STAMP

How did software get so reliable without proof?

How did software get so reliable without proof?