Comment by sdhfjg

Read the article. We're not talking about formal verification.

>It's Sunday morning and I just discovered that I've lost 3To of data and that all data pipelines have stop working because on Friday I ran for no reason

  hdfs dfs -rm /data

This is profound incompetence.