Algorithmic Safety