3 ms·

None of the code for consumer production is verified formally. So please spare us the bs that you make no mistakes. You are just lucky. Be humble because the c

None of the code for consumer production is verified formally. So please spare us the bs that you make no mistakes. You are just lucky. Be humble because the complexity of modern systems is insane, there is no way you have all cases covered, if you had you would had a formal proof. We all are just doing our best to cover most of the edge cases. That is why we need to keep learning from other peoples mistakes.

sdhfjg 5y ago
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.
- arpa 5y ago
  yeah this is not something to be proud of. At least make up a reason!
- snicker7 5y ago
  Possible explanation: lots of terminals paste on click. A single miss click can execute who know what from your clipboard.
  - nicolas_t 5y ago
    In my experience some people keep making the same careless mistakes, the first time, you let it pass, treat it as a learning experience. The second time, you start seeing that it's always the same person doing the same mistake. Copy pasting is not an excuse, before you run anything destructive, you double check what you're running. Anyone who is responsible will double check before running this kind of command, and if I can't get that person off the team, I'd severely restrict his access (in general, I think most people in a team should not have access to production data). And we do have disaster recovery plans so there's very little that could be done that would be catastrophic. But still, a lot of the disaster recovery plans call for downtime because it's not worth the cost benefit to engineer the system to be completely resilient to idiocy.
    - ac50hz 5y ago
      +10
  - teddyh 5y ago
    Modern terminals marks pasted data as pasted, and similarly modern shells detect these marks and do not run the pasted data immediately, but shows it, highlighted, so that you can review it before confirming it.
- macrolocal 5y ago
  Back in 2014, my first tech job, I wrote a clean-up script to delete HDFS artifacts listed in some text file. One day I modified the list and left a blank line at the end. :) We had nightly back-ups though.
- hulitu 5y ago
  That's why you have a backup. I also noticed that i'm incompetent on friday evenings so i avoid doing sysadmin work then.

sdhfjg 5y ago

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.

arpa 5y ago
yeah this is not something to be proud of. At least make up a reason!
snicker7 5y ago
Possible explanation: lots of terminals paste on click. A single miss click can execute who know what from your clipboard.
- nicolas_t 5y ago
  In my experience some people keep making the same careless mistakes, the first time, you let it pass, treat it as a learning experience. The second time, you start seeing that it's always the same person doing the same mistake. Copy pasting is not an excuse, before you run anything destructive, you double check what you're running. Anyone who is responsible will double check before running this kind of command, and if I can't get that person off the team, I'd severely restrict his access (in general, I think most people in a team should not have access to production data). And we do have disaster recovery plans so there's very little that could be done that would be catastrophic. But still, a lot of the disaster recovery plans call for downtime because it's not worth the cost benefit to engineer the system to be completely resilient to idiocy.
  - ac50hz 5y ago
    +10
- teddyh 5y ago
  Modern terminals marks pasted data as pasted, and similarly modern shells detect these marks and do not run the pasted data immediately, but shows it, highlighted, so that you can review it before confirming it.
macrolocal 5y ago
Back in 2014, my first tech job, I wrote a clean-up script to delete HDFS artifacts listed in some text file. One day I modified the list and left a blank line at the end. :) We had nightly back-ups though.
hulitu 5y ago
That's why you have a backup. I also noticed that i'm incompetent on friday evenings so i avoid doing sysadmin work then.