The more software eats the world, the more critical safety is … but what exactly does that mean?
Programming with truth and statefulness.
Computers can’t avoid automating decisions if software engineers can’t figure out what decisions are…