So you honestly believe that if someone kidnapped the Duke of Cambridge's newborn son, it wouldn't be international news, because "it happens too often"?
I routinely get stories about single families in China who have had their kids kidnapped for organ theft, even if it's not all of them. I find it HIGHLY unlikely that an international celebrities child would be kidnapped without it being major news.
You're going to have to do better than bald assertion for me to be convinced of that.
Many humans "thrive" in conditions that are illegal to put humans in to.
I don't really see your point, since it doesn't even remotely talk about the relative rates of the two populations or compare what would happen with humans to what would happen without for any of the species.
It seems to be contentless objection to what I said, despite the fact that humans are known to greatly increase the prevalence of all of those species, many of which seem to be getting by just fine for many of their members.
> What was targeted was the hosting provider that was hosting 95% of child pornography in the deep web, and that hosting provider also happened to host Tormail and a bunch of other non child pornography websites.
What the government did was the equivalent of show up at the houses of everyone who used a particular post office and forcibly finger print them because that post office routed 95% of the child porn magazines in the US (regardless of what percentage of their traffic that actually was, which you don't even mention besides 'there were other sites, too').
That would be a clear abuse of powers, as is this.
The child's parents were, a fact you seem to be ignoring in your analysis; I expect we'd see international headlines at the kidnapping of Michael Jackson's child or the kidnapping of the new son of the Duke of Cambridge.
We're not seeing any mass deaths which are sufficient to even slow the population growth rate, and instead, seem to simply be seeing more statistically unlikely events as the population grows larger - which is what we would expect.
> I doubt having a line drawn that says you're not an adult until you're 18 years old, and until then you're still a child will keep working in this century. It worked when social dynamics between teenagers and adults were different.
I'm not sure it ever really "worked", and seems to be an idea that is less than 100 years old. If it's failing already, I'm not sure we can count the couple generations it happened to it "working".
I say Ballmer is a bad CEO because of the stack ranking employee evaluations and the rampant smothering of prototype technologies that later turned out to be valuable in favor of "core" technologies - you know, the two behaviors that are absolutely toxic for a tech company.
> Obviously we worry about more things in this society than body counts, like civil liberties and the liberty to live our lives out of the shadow of bombers.
Yes, all it really takes to stop the terror of terrorism is to not play along by being scared of attacks.
It would take a 9/11 every month to cause as many deaths as gun violence... which we don't use the NSA approach to, because we realize that would massively destroy civil liberties.
If drastic measures aren't requires - if we can just shrug off as "freedom isn't free", "you need to let some bad things happen to ensure freedom", etc a 10x number of deaths - we're probably taking drastically the wrong approach by using the NSA style surveillance to battle terrorism.
This is literally us gutting out country on behalf of the terrorists - something they could never have hoped to achieve by force - because we're afraid and can't handle something dramatic happening now and then without loosing our heads.
> Mind you, I am not defending the NSA strategy, I don't know if it is justifiable, I am just saying that Greenwald doesn't make any effort to let some opposing views to be presented.
Here's some fun statistics:
There are about 30,000 gun related deaths a year in the United States (19000 suicide, 11000 murders).
There are about another 30,000 vehicle related deaths a year in the United States.
There are about 3,000 people who died in the 9/11 attacks - the deadliest act of terrorism perpetrated against the United States.
Are you saying that we should use the massive spying apparatus - including invading cellphone calls and emails - to stop even one third of murders? How about stop one sixth of suicides before they happen?
Because that would save more Americans than stopping a 9/11 scale attack every year would do - which is more than the NSA is claimed to have done.
In reality, it would take 10 9/11 scale attacks on the US each and every year to rival the number of deaths caused by guns.
Do you support using the government spy apparatus to stop these gun deaths? If not, why support something that isn't appropriate for a /larger/ problem to solve a small one?
I think most Americans panicked when they felt attacked, and became total cowards - as did their leadership at the time.
The correct response to terrorism is simply to shrug it off and ignore it (or at least limit yourself to prudent measures) - the deaths, strictly speaking, are a statistical blip on the radar - but the damage you can do to your civil liberties and society at large can last decades and impact generations of an entire nation.
tl;dr: America got sucker punched, and just like a bitch, got all fearful and cowardly about how it acted. The NSA spying is a sign of that fear and cowardice (possibly being used to nefarious ends by people exploiting it).
Pressure equipment, specifically sort of mid-scale items for laboratory and small-batch use.
Our low level code (ie, directly controlling machines) is written in the SPARK environment. This code tends not to get updated often, and has a high level of verification to it. It's what actually handles the pressure cut-offs (ie, hard limits on the machine), turning vales, etc.
Our middleware code is based on a specially developed VM that gets code generated for it in Coq, to ensure that it doesn't choke or become unresponsive. However, it's not directly responsible for safety control and has somewhat laxer restrictions.
Coq is useful for demonstrating that the middleware analytics will complete in a given time profile and not crash out the server on erroneous input.
The code generator we use (at my job; not crypto) was written in Coq and formally verified to generate code with certain properties, given properties of the input.
I assume that the crypto group I know, who developed most of the code generator I use, takes similar measures to make sure that their verified "theorems" translate correctly to code.
The unverified stage is actually the hardware, which is an open problem.
I know people who write crypto software that must conform to formal verification of the algorithm, requires detailed design documentation before a single line of code, etc.
I routinely get stories about single families in China who have had their kids kidnapped for organ theft, even if it's not all of them. I find it HIGHLY unlikely that an international celebrities child would be kidnapped without it being major news.
You're going to have to do better than bald assertion for me to be convinced of that.