Paper proves no finite rulebook can certify every safe program
Watching can catch every prohibition violation, but no safe program can be cleared for good.
1 stories, newest first · one card per story
Watching can catch every prohibition violation, but no safe program can be cleared for good.
Today 1.5K readers · 2.4K views · 757 reads · all time 189K views