SWE in Seattle. Our systems may be formal or informal, local or distributed, manual or autonomous, but above all we must make them human and understandable.
Sometimes I type git commit -a --amend, then realize in the commit editor window that I made a mistake. There should be an (easy) way to cancel the operation at that point. Is there?
Something The Fifth Element gets so right is that they make the American police look intimidatingly militarised, but also profoundly stupid, and it works.