Who "proved" Astree to be error free in the first place?! The creators of Astrée, presumably. Proving in the scientific sense that a piece of software is correct can definitely done, it's just really expensive most of the time. In any case they claim that Astrée is sound, i.e. catches all errors, but that the precision can be adjusted to reduce or increase the number of false positives, depending on how much time you have. The A380 fly-by-wire analysis was apparently the first case where no false positives were reported (and no true positives either, of course). According to the page, the analyzer checks C code that doesn't contain dynamic allocation or recursion, so it's probably not applicable to most non-critical software anyway.
A computer is nearly always composed of parts that are manufactured and sold separately, at the very least hardware and OS. If the OS is tied-in with the computer, and there's no easy way to get the computer without the OS, then it's bad for the market, and illegal in France. That's all there's to it.
I don't think it's up to you to decide what people need or should have. The world doesn't bend that way, but the other way: People need/want to run an application, and if it only works on Windows, then so be it.
I read it as him saying "some schedule would be good, if large distros could agree one one". It says in TFS that Shuttleworth would be prepared to juggle Ubuntu's release schedule just for that.
There's actually an incentive: it's apparently a matchmaking service at the same time. You can set in your profile what your age etc. is, and also select what kind of people you'd prefer to play against. Sometimes there's an option to chat with your partner after the game, I assume if you get a high enough score. Not sure how it works, exactly, since I haven't tried it.
I don't think it's just that. Large installations bring massive maintenance problems, and sucking up solar energy that would otherwise be heating up the atmosphere in that area can change weather patterns.
Actually, that was not the point in your post. Your original post claimed that nuclear power is not carbon-neutral, which is a factoid since - as pointed out later - there is no such thing as a carbon-neutral energy source. By saying that specifically nuclear power is X, you leave out the vital information that all power is X, therefore misrepresenting the situation by implying (i.e. leaving it up to the reader to decide) that other power sources may or may not be X.
Slashdot Mirror
The advice I've heard from women in the know, is that you shouldn't eat anything within three hours before going to sleep.
Worst enemy? Lay off the 'caine.
Eco-terrorism is the best kind of terrorism.
Worked well for whom? You, or Microsoft?
A computer is nearly always composed of parts that are manufactured and sold separately, at the very least hardware and OS. If the OS is tied-in with the computer, and there's no easy way to get the computer without the OS, then it's bad for the market, and illegal in France. That's all there's to it.
Obviously, everything the Chinese government does that is not related to atrocities is to distract the people from said atrocities.
The package manager contains all available packages, what you want is the Install/Remove app that's easy to find in the applications menu.
I don't think it's up to you to decide what people need or should have. The world doesn't bend that way, but the other way: People need/want to run an application, and if it only works on Windows, then so be it.
AFAIK, the heart has it's own bundle of nerves that give regular pulses.
"Food on the table" is a condition of life, and it forces people to do things against their will.
Personal resposibility is what gives rise to the tragedy of the commons.
Mod parent up as interesting solution. Relevant thread here.
Right, the cutoff point is 5, but now it turned out there are 6 users.
I read it as him saying "some schedule would be good, if large distros could agree one one". It says in TFS that Shuttleworth would be prepared to juggle Ubuntu's release schedule just for that.
There's actually an incentive: it's apparently a matchmaking service at the same time. You can set in your profile what your age etc. is, and also select what kind of people you'd prefer to play against. Sometimes there's an option to chat with your partner after the game, I assume if you get a high enough score. Not sure how it works, exactly, since I haven't tried it.
Open is like the BSD or Apache license, Free is like the GPL, to put it in a simplistic nutshell.
Or to put it another way, failure is just success rounded down.
- Public domain (or legal equivalent)
- Open source
- Free source
- Visible source
- Closed source
Optionally bundle Free/Open together.I haven't played Bioshock (yet), but I'd say it sounds more like System Shock 1&2.
"Conspiracy"? More like "business".
You must certainly be new here.
I don't think it's just that. Large installations bring massive maintenance problems, and sucking up solar energy that would otherwise be heating up the atmosphere in that area can change weather patterns.
Actually, that was not the point in your post. Your original post claimed that nuclear power is not carbon-neutral, which is a factoid since - as pointed out later - there is no such thing as a carbon-neutral energy source. By saying that specifically nuclear power is X, you leave out the vital information that all power is X, therefore misrepresenting the situation by implying (i.e. leaving it up to the reader to decide) that other power sources may or may not be X.
Eh? Sounds like all you had to do was get an identical drive from somewhere and swap the controller card.