|
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
|
|
|
|
|
Kent Sharkey wrote: ASP.NET 5, Coroutines in C++, Azure, Microsoft Band
What, are you trying to scare away the evil spirits? It's not Holloween yet!
Marc
|
|
|
|
|
Dr. Jeff Sutherland, a co-creator of scrum, said that few scrum implementations reach a true hyper-productive state (500 percent to 1,000 percent normal team performance), and those that do reach it have implemented variations of Extreme Programming. Are you EXTREME enough?
|
|
|
|
|
|
"Plus we already know that quality, which is intangible and invisible, doesn't sell."
Of course, which is why we produce crap.
"Ron suggests that you need something to allow people to feel the pain, and he has just the exercise for it: the Scrum Gauntlet of Debt."
Oh, Yes ! Programmers need to feel more pain.
I think I'll stay with the cult I'm in now 
«I want to stay as close to the edge as I can without going over. Out on the edge you see all kinds of things you can't see from the center» Kurt Vonnegut.
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
