Forgot your password?
typodupeerror

Comment: Re:Shared Source (Score 1) 70

by Half-pint HAL (#47564741) Attached to: seL4 Verified Microkernel Now Open Source
A trap? Not really. From the developer's point of view, they'll still be able to get access to any changes to code on their terms, even if it is "tivoised". They can incorporate them into their code base without worrying too much about which hardware devices will or won't work - Somebody Else's Problem. They're interested in the code, not in "right to do whatever you want with your devices."

Comment: What exactly is the point? (Score 1) 70

by Half-pint HAL (#47564715) Attached to: seL4 Verified Microkernel Now Open Source

Surely a formally-proven OS doesn't want a traditional open-source license, because if you let people tinker, what you will end up with is forking... into unproven versions. And suddenly, the world's first formally-proven microkernel is just a plain old microkernel again.

OK, so maybe tinkering is alright as a personal hobby, but it risks the ecosystem.

Comment: Re:NO, all candy bar (Score 1) 530

The big manufacturers are all too busy competing with Apple to actually notice there might be a market for something else..

Quite. I never understood why Google didn't try to get a jump on Apple by speccing up an OS version for phones with D-pads for gamers at first launch. Look at the mess and fragmentation that we ended up with in third-party accessory controllers for the first few generations, and there are still some compatibility kinks to trip you up...

Comment: Re:Breaking news (Score 1) 613

capitalism != democracy. The two often appear together (see "bourgeois-democratic revolution") but either can exist in the absence of the other. This may seem a trivial point, particularly when you were just trying to make a joke, but it's a serious issue that most people don't thing enough about - they bundle a large number of ideological and practical philosophies together and claim they're one thing.

The classic example would be religion and morality. The unthinking religious person sees morality as being an inseparable component of his religion, with the consequence that anyone not of his religion must be immoral, or at the very least amoral. This leads to interreligion conflicts, and atheist vs religious conflicts, and everyone ends up worse off.

Comment: Re:Marx' definition is anachronistic and irrelevan (Score 1) 613

Socialism is governance for the good of society. Communism is governance for the good of the commune. These are established definitions. You can decide to let people who abuse the terms redefine them to their own ends, but in doing so, you grant them the power they seek. There are many in the world today who claim their atrocities are right, and done in the name of their god - and this includes right-wing Christians and Jews, not only radical Muslims. Should we allow them to do this, or should we point out that that they are breaking the fundamental tenets of Abrahamic law? If we attack all Muslims for the actions of fundamentalist crackpots, we alienate moderate Muslims. If we attack anyone who believes in the concept of a welfare state as being supports of Stalinist gulags, we alienate them.

Comment: Re:Classic game theory ? (Score 1) 613

Ludditism and Communist thought often co-occur, but the majority of serious Communists saw automation as a way to free the proletariat. The goal was to use automation to spread the wealth and reduce working hours, rather than using it as a way to reduce employment and further concentrate wealth in the hands of the few.
Adam Smith is generally credited with being the founder of capitalism, with his book The Wealth of Nations. However, the book reads more easily as a communist tract, as he proposes the collectivisation of labour -- workers' coops, essentially -- and industrialisation as a means to increase efficiency and therefore individual wealth. Smith's argument that a conscientious pinmaker could make enough pins and save enough money to automate failed to consider the effects of automation elsewhere, which meant that the unautomated pinmaker was likely to be forced out of business by falling prices.
He glossed right over the rise of the industrialist capitalist - the man who had enough money to set up a factory, therefore making enough money to set up another, and so on ad infinitum. It continues to this day that those who start with money can squeeze the new players out.
Remember also that the industrialists had people working twelve-hour shifts, seven days a week. They invented he night shift for their own profit, not for the quality of the product, nor in order to provide employment. In the industrial revolution, workers were less valuable than manure.
So it's not surprising that many people associated automation with slavery, but it's a shame. As I said, communist thought says automation should serve the commune (NB: not "the state") and free everyone to have more leisure time.
But leisure time is dangerous in a totalitarian regime, so the nominally-communist dictator will play up the "machinery is capitalism" myth in order to aid him in maintaining control.

Never test for an error condition you don't know how to handle. -- Steinbach

Working...