Top two cities with the highest density of engineers are Huntsville Alabama and Palm Bay/Melbourne Florida for what should be obvious reasons.
I'm sure that's true if you're counting traditional engineering fields, meaning not including software engineers. I'm not sure it would still be true if you included software. Of course many would argue that software engineering isn't yet mature enough to be a real engineering discipline, but it definitely is a big part of "tech", which is the subject of discussion.
I've spent about half of my life in Texas. I've lived in Houston, Dallas, and Austin. I've also lived in Silicon Valley, Seattle, and Southern California.
Every conversation about living in Texas I've had with a West Coaster: "How can you stand living in Texas. Everyone is so bigoted and prejudicial?" "Oh really, have you ever been there?" "No." "..."
And, of course, they completely miss the irony in their own statements.
Why not a security compiler? Seems some clever, creative hackers could work up something which would take raw code, subject it to some scrutiny and give output/feedback. Perhaps even a security switch to the standard compilers or even a security test suite. Shouldn't be that hard to do.
Shouldn't be too hard... in the sense that solving the Halting Problem shouldn't be too difficult. I conjecture that with an appropriate set of assumptions it's possible to use Rice's Theorem to prove that security analysis is equivalent to the Halting Problem.
Of course, static analysis can catch some vulnerabilities, and can highlight potential vulnerabilities. That's what Coverity does. But I don't think any mechanical process can defeat a creative attacker.
This analysis is based on an erroneous assumption which is derived from an inductive fallacy. Specifically, the author assumes that because one researcher who found one bug believes he could have found a second for roughly the same level of effort means that the researcher believes this process could be repeated indefinitely. I'm certain that if Kohno were asked he would deny the validity of this assumption. I'm sure he would say that his team could find a handful of similar bugs for similar level of effort, but once the pool of low-hanging fruit bugs was exhausted, the cost and difficulty would rise.
Nice straw man.
-Defusing bad moderation since 1999.
Maybe this is why the hypocrite Democrats aren't legalizing cannabis-- they're hoping the illegal growers will drive adoption of green energy to hide their energy usage.
-Defusing bad moderation since 1999.
Well, then it's about time the UK starts allowing their citizens to arm themselves, stop being monitored in public, and paying for stupid TV licenses. While we're at it, the French need to work longer hours and wear deodorant, and the Germans need to have the sticks up their asses surgically removed.
Comfy?
Work continues in this area. -- DEC's SPR-Answering-Automaton