If you are using Windows for mission critical stuff you have massive problems. It's like driving to important meetings in a Yugo. Sure, it works most of the time, but breakdown and crisis is inevitable.
Or we could not feed cows so much corn that they end up having stomachs of pH 3. If cattle had stomach pH they evolved to have E. Coli would die in our stomachs. There is published paper that says this.
Open source does not equal GPLv3. You could release the code under GPLv2 and use digitally signed and restricted builds. You could use a signature on GPLv3 code that makes a big red "WARNING:DO NOT USE" sign turn on in the booth but otherwise functions normally. Or you could blow PROMS with the code at the factory and the guys sticking it into the voting machines could read out the code from the ROM to verify. With closed source software you can verify that the machines are all running the election software, but you can't verify the software.
Considering the Win32 API permits code injection as a function it's not secure. Besides, comparing to Mac OS X we get a lot fewer exploits. Also, your example includes asterix, which has no comparable windows program, as well as 2 browsers, while windows has one. trac also doesn't come on windows. Besides, they don't come in the default install. Besides, "Only one remote hole in default install in ten years" vs. "20 minutes to r00t." seems pretty open and shut to me. And voting machines are embedded devices, not full desktops, so talking about the security of a full install is pretty pointless.
High-integrity software can be made. You just provide a proof of correctness that can be machine or hand checked. Anyone can check the proof just by checking that the proper axioms and lemmas are used at each step. If it can be done for avionics, it can be done for voting machines. It's just rocket science!
Newsflash:The Government imposes the carbon market on companies. Otherwise pollution is what economists call an Externality. Free markets fail whenever externalities exist. So the free market is incapable of solving Global Warming without Government.
If Mr. Wales uses some kind of Netflix like system to guard against spam, we will have a problem. People who have entrenched beliefs will read sources that further those beliefs, further entrenching them. Every day we see how it's become harder to have meaningful debate due to polarization. So far, Europe has remained immune, but if the demagogues gain power it will happen there also. If This Goes On--
Think commercial apps. The Objective-C and Foundation platform would look a lot better then.NET if it works on all platforms. The speed of native code, the FFI abilities of C, and the flexibility of Smalltalk vs. the speed of Java, the FFI abilities of Java, and the flexibility of Java with even less cross platform support. Only additional thing Objective-C needs is Lisp for it to be perfect.
First China isn't really communist. Secondly, no free lunch only applies in Pareto optimal economies, which capitalism is not due to price externalities. Thirdly artists do not receive a lot of compensation for their work in the current system. Fourth, artists do it because they like it, not for the money. Look at George Cloony. Recently he did a period peice because he wanted to. He could have made a lot more money on a mainstream production but decided not to. Fifth, west Germany was a lot more socialist then the US. Sixth, having a large population that is largely shut out of the wealth is a great way to get a Roman political system where huge mobs get raised by rival politicians. It also increases crime. So while your point is good, it needs to be toned down as you overextended with your argument.
They would need to put in IO Kit, and would need PPC support. Still, a reasonable preposition. Although QNX use would require making a client mode IO Kit and some kind of security manager it would improve Mac OS X performance at latency-critical tasks. If you wrote the manager in Coq, you could have a very secure operating system for little effort. That would be a path I think apple should take. If they don't like QNX licensing terms writing a microkernel like it would not be too much harder. This would be more stuff to do, but ripping out the driver system on a monolithic kernel can't be easy.
The GP was using unscientific in the sense of an insufficiently validated belief. You are using it of words to which either it or its negation cannot apply. Adjectival Type error.
Only if you claim the donation as a deduction. The libraries are not controlled by the FBI. As for name, address and phone, that's something I WANT the government to have in case they need to contact me. Your point about the barriers to abuse being technical rather then legal is a good one however.
The GP is suggesting that the artists not sign *anything* unless it is the organization GP suggests they form, along the lines of (I supposed) ASCAP but without the monopolistic practices that ASCAP is regularly accused of.
Well, they didn't do the security right. The same old holes in RPC and badly-made default permissions still exist. Windows will never be secure. Microsoft would have to spend huge amounts of money on it and it wouldn't sell very well.
So why don't more people run Multics or SELinux? Companies figure that the risk of having untrusted programs running mission-critical tasks is acceptably low given that no one holds them responsible for Windows bugs. Security gets bolted on for the auditors, which just doesn't work.
Slashdot Mirror
can they perform cunnilingus on a hardwood floor?
If you are using Windows for mission critical stuff you have massive problems. It's like driving to important meetings in a Yugo. Sure, it works most of the time, but breakdown and crisis is inevitable.
Or we could not feed cows so much corn that they end up having stomachs of pH 3. If cattle had stomach pH they evolved to have E. Coli would die in our stomachs. There is published paper that says this.
Open source does not equal GPLv3. You could release the code under GPLv2 and use digitally signed and restricted builds. You could use a signature on GPLv3 code that makes a big red "WARNING:DO NOT USE" sign turn on in the booth but otherwise functions normally. Or you could blow PROMS with the code at the factory and the guys sticking it into the voting machines could read out the code from the ROM to verify. With closed source software you can verify that the machines are all running the election software, but you can't verify the software.
Considering the Win32 API permits code injection as a function it's not secure. Besides, comparing to Mac OS X we get a lot fewer exploits. Also, your example includes asterix, which has no comparable windows program, as well as 2 browsers, while windows has one. trac also doesn't come on windows. Besides, they don't come in the default install. Besides, "Only one remote hole in default install in ten years" vs. "20 minutes to r00t." seems pretty open and shut to me. And voting machines are embedded devices, not full desktops, so talking about the security of a full install is pretty pointless.
High-integrity software can be made. You just provide a proof of correctness that can be machine or hand checked. Anyone can check the proof just by checking that the proper axioms and lemmas are used at each step. If it can be done for avionics, it can be done for voting machines. It's just rocket science!
What's 1057?
How did you tell that the song was over?
Do you see smallpox around anymore?
Or because the most pirated shows include Battlestar:Galactica and Dr. Who. Of course, this is because of moronic scheduling by the SciFi channel.
Newsflash:The Government imposes the carbon market on companies. Otherwise pollution is what economists call an Externality. Free markets fail whenever externalities exist. So the free market is incapable of solving Global Warming without Government.
If Mr. Wales uses some kind of Netflix like system to guard against spam, we will have a problem. People who have entrenched beliefs will read sources that further those beliefs, further entrenching them. Every day we see how it's become harder to have meaningful debate due to polarization. So far, Europe has remained immune, but if the demagogues gain power it will happen there also. If This Goes On--
Think commercial apps. The Objective-C and Foundation platform would look a lot better then .NET if it works on all platforms. The speed of native code, the FFI abilities of C, and the flexibility of Smalltalk vs. the speed of Java, the FFI abilities of Java, and the flexibility of Java with even less cross platform support. Only additional thing Objective-C needs is Lisp for it to be perfect.
First China isn't really communist. Secondly, no free lunch only applies in Pareto optimal economies, which capitalism is not due to price externalities. Thirdly artists do not receive a lot of compensation for their work in the current system. Fourth, artists do it because they like it, not for the money. Look at George Cloony. Recently he did a period peice because he wanted to. He could have made a lot more money on a mainstream production but decided not to. Fifth, west Germany was a lot more socialist then the US. Sixth, having a large population that is largely shut out of the wealth is a great way to get a Roman political system where huge mobs get raised by rival politicians. It also increases crime. So while your point is good, it needs to be toned down as you overextended with your argument.
Some places don't have payphones everywhere, so if you need to get a taxi/call 911 your out of luck without a cell phone.
Most of the North Polar Icecap and all of the South Polar Icecap is on land, not water. When it melts it will pour water into the sea.
They would need to put in IO Kit, and would need PPC support. Still, a reasonable preposition. Although QNX use would require making a client mode IO Kit and some kind of security manager it would improve Mac OS X performance at latency-critical tasks. If you wrote the manager in Coq, you could have a very secure operating system for little effort. That would be a path I think apple should take. If they don't like QNX licensing terms writing a microkernel like it would not be too much harder. This would be more stuff to do, but ripping out the driver system on a monolithic kernel can't be easy.
The GP was using unscientific in the sense of an insufficiently validated belief. You are using it of words to which either it or its negation cannot apply. Adjectival Type error.
Uhhh, the links are in html. So that's not going to work.
Only if you claim the donation as a deduction. The libraries are not controlled by the FBI. As for name, address and phone, that's something I WANT the government to have in case they need to contact me. Your point about the barriers to abuse being technical rather then legal is a good one however.
Would be Hirsute Ceramist and the Holy Lambda for those of us who like Lord Voldemort's Schemes.
The GP is suggesting that the artists not sign *anything* unless it is the organization GP suggests they form, along the lines of (I supposed) ASCAP but without the monopolistic practices that ASCAP is regularly accused of.
Well, they didn't do the security right. The same old holes in RPC and badly-made default permissions still exist. Windows will never be secure. Microsoft would have to spend huge amounts of money on it and it wouldn't sell very well.
So why don't more people run Multics or SELinux? Companies figure that the risk of having untrusted programs running mission-critical tasks is acceptably low given that no one holds them responsible for Windows bugs. Security gets bolted on for the auditors, which just doesn't work.