One hundred idiots come up with one hundred idiotic plans and execute them. Ninety nine naturally fail. One of them succeeds through sheer luck and believes they are a genius. - paraphrased from Ian M. Banks
we judge ourselves based on our intentions and others based on their actions.
I’ve owned and recommended System76 hardware many times, but they named their OS “Pop!_OS” and absolutely insist that everyone write it exactly like that. I just can’t interpret that as anything other than “fuck you, users!” and I don’t understand how it could possibly be a good strategy to be so openly hostile to their own customers.
Looks like a nice series of texts on computer science, formal verfication, etc.