|
In Redmond, Washington, Microsoft houses the most technologically advanced hardware labs on the planet in their own Area 51, dubiously titled Building 87. In the future, we will all live in Building 87.
|
|
|
|
|
Kent Sharkey wrote: In the future, we will all live in Building 87.
In the future, I will live in Theory, because in Theory everything works.
Patrice
“Everything should be made as simple as possible, but no simpler.” Albert Einstein
|
|
|
|
|
Stagefright 2.0 comes as Android users were still recovering from Stagefright 1. No one has hacked my "two cans and string" yet
|
|
|
|
|
Kent Sharkey wrote: No one has hacked my "two cans and string" yet
Vulnerable to the oldest denial of service attack of all:
O O
X
/ \
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
Alan Kay.
|
|
|
|
|
Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software. *to varying definitions of "bug-free"
|
|
|
|
|
Kent Sharkey wrote: software systems ... free of bugs And how complicated that 'software system' is? Like 1 + 1 = 2?
Kent Sharkey wrote: perfect software Can it make coffee?
Skipper: We'll fix it.
Alex: Fix it? How you gonna fix this?
Skipper: Grit, spit and a whole lotta duct tape.
|
|
|
|
|
"I can create bug-free software, if by bugs you mean things I can detect."
|
|
|
|
|
Best of blessing to that!
|
|
|
|
|
By changing the definition of bug we have managed to produce software that's 100% bug free.
|
|
|
|
|
Closed because it is by design.
GCS d--- s-/++ a- C++++ U+++ P- L- E-- W++ N++ o+ K- w+++ O? M-- V? PS+ PE- Y+ PGP t++ 5? X R++ tv-- b+ DI+++ D++ G e++>+++ h--- ++>+++ y+++* Weapons extension: ma- k++ F+2 X
If you think 'goto' is evil, try writing an Assembly program without JMP. -- TNCaver
"When you have eliminated the JavaScript, whatever remains must be an empty page." -- Mike Hankey
|
|
|
|
|
Kent Sharkey wrote: to varying definitions of "bug-free"
Agreed
|
|
|
|
|
Does anyone know what they're actually promising/delivering? Proving software bug free is equivalent to solving the halting problem, and thus is impossible for the general case on a Turing Machine. The 4 most likely possibilities I see are:
0) Their tool only works on simpler languages that aren't Turing Complete; in which case the question becomes how gimped are the languages and what do we lose the ability to do by coding in them?
1a) It only works on a subset of normal code or 1b) a subset of possible bugs. In which case even more than before the question becomes where the limits of what it can do are.
2) They're trying to blow smoke up our USB ports.
As written, the article tends to imply 1a; but I trust PR publications about as far as I can dropkick the companies who create them.
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, waging all things in the balance of reason?
Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful?
--Zachris Topelius
Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies.
-- Sarah Hoyt
|
|
|
|
|
As in, don't let Microsoft write the software?
Marc
|
|
|
|
|
Ex-Googler Sanmay Ved was the lucky buyer of "Google.com," if only for a minute. Sadly, he didn't get their income for that minute
|
|
|
|
|
GitHub developers will now be able to log in to the code repository using YubiKey hardware keys. "I am Vinz Clortho, Keymaster of Gozer. Are you the Gatekeeper?"
|
|
|
|
|
Don't cross the beam, it's bad.
Patrice
“Everything should be made as simple as possible, but no simpler.” Albert Einstein
|
|
|
|
|
In a recent AV-Test, which showed a number of antivirus providers performing worse than in past tests, Windows Defender was one of only two solutions with improved scores. From "meh" to "hmm" in only a few years
|
|
|
|
|
Windows Defender is the only one I use anymore...the rest of them are so bloated with crap that they bring even a fast machine to its knees.
|
|
|
|
|
I use Sophos as antivirus and find myself really good, as firewall I disabled the fake Windows7 one and use essentially PeerBlock - I still have to find a good firewall like the old times ZoneAlarm.
GCS d--- s-/++ a- C++++ U+++ P- L- E-- W++ N++ o+ K- w+++ O? M-- V? PS+ PE- Y+ PGP t++ 5? X R++ tv-- b+ DI+++ D++ G e++>+++ h--- ++>+++ y+++* Weapons extension: ma- k++ F+2 X
If you think 'goto' is evil, try writing an Assembly program without JMP. -- TNCaver
"When you have eliminated the JavaScript, whatever remains must be an empty page." -- Mike Hankey
|
|
|
|
|
Whether it’s evolving agreements with Apple, Salesforce or Box or putting an end to senseless lawsuits, Microsoft is attempting to present an entirely new public face and fresh way of doing business. "Why can't we be friends?"
|
|
|
|
|
Funny, when the former bully gets bested by new technology, they want to play nice! Before iOS and Android, they were not so friendly.
|
|
|
|
|
So next time their support will ANSWER our questions? Too good to be true...
Skipper: We'll fix it.
Alex: Fix it? How you gonna fix this?
Skipper: Grit, spit and a whole lotta duct tape.
|
|
|
|
|
The Linux Foundation released a new report that claims that the code it stewards is worth more than $5 billion. With projects ranging from Linux to Cloud Foundry to Xen, it's as impressive as it is plausible. "Linux is only free if your time has no value."
|
|
|
|
|
Some of it's good, quite of bit of it is crap. I've had much better experience with stuff covered by other free licenses.
|
|
|
|
|
ASP.NET 5, Coroutines in C++, Azure, Microsoft Band, and so much more. Because you're too important to wait for your paper copy
|
|
|
|