Programming

Introduction to TLA+ Model Checking in the Command Line

The Subtle Power of Booleans

Programming with truth and statefulness.

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

Making AI Better by Making it Slower

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