Microsoft researchers explore a practical way to build bug-free software
-
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"
-
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.
-
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"
"I can create bug-free software, if by bugs you mean things I can detect."
-
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"
Best of blessing to that!
-
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"
By changing the definition of bug we have managed to produce software that's 100% bug free.
-
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"
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
-
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"
-
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"
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
-
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"
As in, don't let Microsoft write the software? ;) Marc
Imperative to Functional Programming Succinctly Contributors Wanted for Higher Order Programming Project!