Software Safety

Why Self Driving Cars Are Not Safe

As long as humans can blame the machine, they will use autonomous features incorrectly.

The Three Levels of Software Safety

The more software eats the world, the more critical safety is … but what exactly does that mean?

A Software Engineer’s Guide to Cybernetics

Before ‘cyber’ was a prefix for everything internet and computers, it was how…

Drift Mapping and Software Design

Computers can’t avoid automating decisions if software engineers can’t figure out what decisions are…

Making AI Better by Making it Slower

The difference between beneficial and destructive AI may be whether making fast thinking faster…

What Would AI Look Like If We Built It Using System Safety?

The Subtle Power of Booleans

Programming with truth and statefulness.

Using TLA+ to Model Cascading Failures

TLA+is traditionally used to model the algorithms that power distributed systems. However…