243 karma · joined January 1, 2025
You aren’t realistically going to overpower them, so any violent resistance just helps them DARVO harder and excuse escalating their brutality. That’s why they’re always so eager to find or create violent one-offs within non-violent mass protests.
It’s like worrying about compiler bugs instead of semantic programming errors. If you are getting to the point where you have machine checked proofs, you are already doing great. It’s way more likely that you have a specification bug or modeling error than an error in the solver.
If you are worried about it, many people have solutions that are very compelling. There are LCF style theorem provers like HOL Light with tiny kernels. But for any real world systems, none of this matters, use any automated solvers you like, it will be fine.
Maybe if it substantially recreates the input images it is equivalent to plain copying and redistribution.
Maybe it creates an economic incentive to abuse more children to create more training data?
Nobody gets fired: learning opportunity for next time, but little direct incentive to improve.
Fire someone: accountability theater (who is really responsible), loss of knowledge.
AFAIK, blameless postmortems and a focus on mechanisms to prevent repeats seems like the best we’ve come up with?
You are working too much.
https://en.m.wikipedia.org/wiki/Wealth_inequality_in_the_Uni...