134 karma · joined May 31, 2013
[ my public key: https://keybase.io/dcohenp; my proof: https://keybase.io/dcohenp/sigs/PZTelKmnxQt6L44J0iQgH3z9Q5mRJBonv0DSTzTQwN4 ]
(Braces though? Really?!?)
Also, proving a program "correct" (for some definition of correctness that presumably includes "secure") is undecidable, ergo there cannot be such a thing as a "100% secure language". No, not even Erlang, nor Haskell, nor anything which is remotely close to Turing-complete. So all we can do is, in fact, decrease the attack surface.
I find these kinds of assertions somewhat misleading. There _are_ "efficient" algorithms for, one could say, "pragmatic variations" of NP-complete problems. Some only work on some subset of cases (perhaps most of the useful ones), or non-deterministic (but you run them enough times and get the right answer), etc.
They don't break it down per-product, but the whole segment was $9.1B revenue out of $20.4B for the quarter. And the only hint we get about this product specifically is:
"Devices revenue decreased $1.8 billion or 49%, mainly due to lower revenue from phones, driven by the shift in strategy for the phone business, as well as lower Surface revenue. Phones revenue decreased $1.5 billion or 58%, as we sold 5.8 million Lumia phones and 25.5 million other non-Lumia phones in the first quarter of fiscal year 2016, compared with 9.3 million and 42.9 million sold, respectively, in the prior year. Surface revenue decreased $236 million or 26%, primarily driven by the release of Surface Pro 3 in June 2014."
Some discussion of the politics of this issue: http://atp.fm/episodes/128
[1] haven't read enough to know the exact mechanism, but presumably restricting some forms of IPC like Mach messages?
Given unlimited resources, sure, who wouldn't want free universities. But making it work within our real-life constraints means something else is going to suffer for that, and in today's reality it's going to be really hard to make the case that this is a priority. (Especially when many high school graduates are still basically illiterate, so only elite graduates will make it in, which means we'll be further subsidizing the elite).
Until they realized they were completely missing the point, since they were comparing a phone to _a pocket computer with a constant data connection_. Most have since stopped boasting and just silently plug in their phone every night.
[0] http://vimdoc.sourceforge.net/htmldoc/starting.html#view
In audio, you have people who love vinyl because they enjoy the distortion it makes, and that's perfectly fine; but you have others who somehow believe it sounds closer to the original, which is demonstrably ridiculous.
Still, this to me is the most interesting result from that set, and I'd really love it for someone to dig into it.
[1] http://www.phoronix.com/scan.php?page=article&item=osx10_ubu...
[1]: http://arstechnica.com/information-technology/2013/06/c99-ac...