More to the point, it is Cuban Government wanting to put in their own back doors for their National OS. Did you just fall off the turnip truck or simply put your head in the sand for fun?
Being from the research community, I think you pretty much have it. Except I would also add they are getting the defensive patents they wanted out of their R&D also.
There is also the age-old animosity between engineers and scientists. Consider yourself an engineer at MS when they announce they are going to spend x billions buying top-notch (what are to you) eggheads. MS has inadvertently told you, (1) you are not brilliant enough to have grand ideas, (2) we value PhD eggheads more than engineering, (3) the future of the company does not lie with you, it lies with some new interlopers. How do you now feel about the new R&D people?
Now consider yourself to be a researcher, PhD in hand and MS makes you an offer. You've been told you are "special". You consider yourself to be a hired gun because the proles at MS don't have that special sauce you must have. How are you going to treat the proles?
So, here's MS with products produced by engineers (well, computer scientists most likely). There's R&D doing what they do. Are you going to look at them for new ideas to put into your products or would you rather gnaw off your leg?
Enter the Bog Standard Business School Product. You understand nothing about, well, anything. You have no use for engineers or R&D except for how they can make you look good. Are you going get out in front of a new technology widget with downside being you will have to take responsibility, maybe for the first time in your life actually learn something. Not if you can help it, just ship product and collect your new position further up the rank since you have "managed" your little coffee bean and not let it get ground up.
I see, so the top 10% are taking their money and stuffing it under the mattress where it never sees the light of day. Your understanding of capitalism was born and remains in the 19th century.
"Surely "free market" means as little regulation as possible...Disclaimer: I am actually a left of centre voting linux loving European"
Well, that would explain your poor grasp of free markets. Free markets do not exist because of no regulation or as little regulation as possible. Companies strive for market domination, once reaching critical mass, they sometimes destroy freedom in a market. Government regulation can also stifle free markets. What is required is proper government regulation to make sure the playing field is kept level with free entry and exit from markets (ignoring the cost of capital). Once a monopoly infects a market, government usually has to decide whether to go nuclear and break them up or allow it to continue.
In Redmond's case, the anticompetitive practices are set up merely to prevent free entry into the markets they deem as their own. Governments have been slow to understand that speed, agility, and competence in regulation is required to cut off the tentacles of such practices.
"Programmers at Microsoft will be facing challenges that are quite similar to the ones faced by their linux counterparts. Their might as well be programmers in Mircrosoft who love what they do."
I'm not so sure development within MS is comparable to Linux or OSS development. Within MS, you have a narrow set of duties. In OSS, there is more freedom to do what you want. And after you've done it, you can go do something completely different. Large organizations do not handle that kind of freedom well.
"Maybe we should stop paying for Chinese goods?" Uh, I think we're already doing that. And just to be Democratic about it, we've stopped buying everyone else's as well. You might have noticed the global slowdown and other countries blaming the U.S. They are correct, the U.S. people are officially tapped out, spent, broke, going back to basics and saving their money. And the rest of the world is livid about it.
Yeah, you're right, with the U.S. trade imbalances over the last umpteen years, what nerve of us to open our markets and buy all that stuff. And guess what happens when we stop buying the rest of the world's stuff? The current economic meltdown. That's some definition of imperialism, ya got there, son.
The grandpappy was referring to learning being hard work, not some lucky happenstance. "Yes, Johnny, if you are lucky, you will be successful someday, maybe, in the fullness of time, etc." The grandpappy is say, "Yes Johnny, you won't learn anything unless you work at it." Now, which lesson will you be teaching your squid, eh?
Well, the Air Force isn't going willingly. The Secdev canned the head of the AF and his civilian lackey last summer for not getting with the program some of which included UAVs. The AF's argument was that there should be a trained pilot flying every UAV, not some stick jockey. The Secdev knew a feather padding proposal when he saw it. The last straw was when the AF tried to take over command of all UAVs from the Navy (and Marines) and the Army. The Marines were already ticked off at the AF for not flying close-in ground support missions...well, they weren't close enough to the ground unlike the Navy pilots. And the Army complained the time lag between acquiring a target and getting a UAV to fire a missile would too large if they had to go through the AF.
There's a flip side to that, most admins I've run into presume you are a stupid user and that merely aiming a few steps at your brain, with no explanation about what the steps do or why they are necessary, is sufficient to send you, the miscreant, away so they can get back to playing with the network or sucking on their thumbs or whatever it is admins do to amuse themselves. Whatever problem we have, it is always an imposition on their precious time which never involves teaching us enough so that we won't be in their office in another 6 months when we cannot recall the magic incantations since the problem was never fully explained to us in the first place...leading the sainted admins to crack wise knowing inside jokes about the stupidity they manage to put up with (read: instill) in their users.
Most of us who buy Macs do so for OS X and the integration with the hardware. Marketing might work for the iPhone, but I never met anyone who bought a Mac to "be cool".
Peano arithmetic does indeed use first order logic. But it adds extra axioms and an axiom scheme (all instances of induction). It's the additional stuff.
Goedel's proof assumes a system of a certain complexity, usually one that can code arithmetic. One cannot code arithmetic in just first-order logic since the arithmetic axioms and scheme are not provable in first-order logic.
It didn't start with securing loans to low (no) income people. That was a contributing factor but probably not the major one. There were a lot of factors including good ol middle class Americans flipping houses, buying second houses, refinancing their mortgages to take equity out of their properties.
Greenspan turning on the flood gates and deregulation had a much bigger impact.
The division between commercial and investment banking broke down under Clinton, with bi-partisan support. And Congress-critters, democrat and republican, both made certain Fannie Mae and Freddie Mac remained unregulated or loosely regulated.
That said, Bush did push deregulation or simply lack of it via the SEC.
Slashdot Mirror
More to the point, it is Cuban Government wanting to put in their own back doors for their National OS. Did you just fall off the turnip truck or simply put your head in the sand for fun?
Being from the research community, I think you pretty much have it. Except I would also add they are getting the defensive patents they wanted out of their R&D also.
There is also the age-old animosity between engineers and scientists. Consider yourself an engineer at MS when they announce they are going to spend x billions buying top-notch (what are to you) eggheads. MS has inadvertently told you, (1) you are not brilliant enough to have grand ideas, (2) we value PhD eggheads more than engineering, (3) the future of the company does not lie with you, it lies with some new interlopers. How do you now feel about the new R&D people?
Now consider yourself to be a researcher, PhD in hand and MS makes you an offer. You've been told you are "special". You consider yourself to be a hired gun because the proles at MS don't have that special sauce you must have. How are you going to treat the proles?
So, here's MS with products produced by engineers (well, computer scientists most likely). There's R&D doing what they do. Are you going to look at them for new ideas to put into your products or would you rather gnaw off your leg?
Enter the Bog Standard Business School Product. You understand nothing about, well, anything. You have no use for engineers or R&D except for how they can make you look good. Are you going get out in front of a new technology widget with downside being you will have to take responsibility, maybe for the first time in your life actually learn something. Not if you can help it, just ship product and collect your new position further up the rank since you have "managed" your little coffee bean and not let it get ground up.
Gerry
I see, so the top 10% are taking their money and stuffing it under the mattress where it never sees the light of day. Your understanding of capitalism was born and remains in the 19th century.
Gerry
"Surely "free market" means as little regulation as possible...Disclaimer: I am actually a left of centre voting linux loving European"
Well, that would explain your poor grasp of free markets. Free markets do not exist because of no regulation or as little regulation as possible. Companies strive for market domination, once reaching critical mass, they sometimes destroy freedom in a market. Government regulation can also stifle free markets. What is required is proper government regulation to make sure the playing field is kept level with free entry and exit from markets (ignoring the cost of capital). Once a monopoly infects a market, government usually has to decide whether to go nuclear and break them up or allow it to continue.
In Redmond's case, the anticompetitive practices are set up merely to prevent free entry into the markets they deem as their own. Governments have been slow to understand that speed, agility, and competence in regulation is required to cut off the tentacles of such practices.
Gerry
"Programmers at Microsoft will be facing challenges that are quite similar to the ones faced by their linux counterparts. Their might as well be programmers in Mircrosoft who love what they do."
I'm not so sure development within MS is comparable to Linux or OSS development. Within MS, you have a narrow set of duties. In OSS, there is more freedom to do what you want. And after you've done it, you can go do something completely different. Large organizations do not handle that kind of freedom well.
Gerry
"Maybe we should stop paying for Chinese goods?" Uh, I think we're already doing that. And just to be Democratic about it, we've stopped buying everyone else's as well. You might have noticed the global slowdown and other countries blaming the U.S. They are correct, the U.S. people are officially tapped out, spent, broke, going back to basics and saving their money. And the rest of the world is livid about it.
Gerry
Ask the rest of the Gulf countries how they feel about a missile equipped, soon to be nuclear-armed, Iran.
Gerry
Yeah, you're right, with the U.S. trade imbalances over the last umpteen years, what nerve of us to open our markets and buy all that stuff. And guess what happens when we stop buying the rest of the world's stuff? The current economic meltdown. That's some definition of imperialism, ya got there, son.
Gerry
The grandpappy was referring to learning being hard work, not some lucky happenstance. "Yes, Johnny, if you are lucky, you will be successful someday, maybe, in the fullness of time, etc." The grandpappy is say, "Yes Johnny, you won't learn anything unless you work at it." Now, which lesson will you be teaching your squid, eh?
Gerry
I see, so how many Gitmo detainees will you be accepting to live with you for awhile until they get back on their feet?
Gerry
Well, the Air Force isn't going willingly. The Secdev canned the head of the AF and his civilian lackey last summer for not getting with the program some of which included UAVs. The AF's argument was that there should be a trained pilot flying every UAV, not some stick jockey. The Secdev knew a feather padding proposal when he saw it. The last straw was when the AF tried to take over command of all UAVs from the Navy (and Marines) and the Army. The Marines were already ticked off at the AF for not flying close-in ground support missions...well, they weren't close enough to the ground unlike the Navy pilots. And the Army complained the time lag between acquiring a target and getting a UAV to fire a missile would too large if they had to go through the AF.
Gerry
There's a flip side to that, most admins I've run into presume you are a stupid user and that merely aiming a few steps at your brain, with no explanation about what the steps do or why they are necessary, is sufficient to send you, the miscreant, away so they can get back to playing with the network or sucking on their thumbs or whatever it is admins do to amuse themselves. Whatever problem we have, it is always an imposition on their precious time which never involves teaching us enough so that we won't be in their office in another 6 months when we cannot recall the magic incantations since the problem was never fully explained to us in the first place...leading the sainted admins to crack wise knowing inside jokes about the stupidity they manage to put up with (read: instill) in their users.
" That isn't astroturfing, it is contributing." Only if you haven't swallowed a Microsoft Marketing Executive whole. You didn't do that, right?
Gerry
On OS X, we know this as Time Machine.
Gerry
Most of us who buy Macs do so for OS X and the integration with the hardware. Marketing might work for the iPhone, but I never met anyone who bought a Mac to "be cool".
Gerry
"Why do some people think that Windows can ONLY mean bad things?"
I know, I know!!: because Windows never lets us forget it.
Gerry
The switch was from the Motorola 68000 line to PowerPC. The G3 was a PowerPC.
Gerry
How do you confuse the man Ballmer with the term 'developer'?
Gerry
One name: Carl Icahn. The man doesn't know the meaning of the term 'innovation'.
Gerry
"But going forward"...did you swallow a marketbot?
Gerry
That's only because Al Qaeda hasn't captured Pakistan's nuclear weapons yet. Give them a break and little time.
Gerry
What you are calling Completeness is Soundness.
Soundness: If I can prove it, then it is true.
Completeness: If it is true, then it is provable.
Gerry
Peano arithmetic does indeed use first order logic. But it adds extra axioms and an axiom scheme (all instances of induction). It's the additional stuff.
Goedel's proof assumes a system of a certain complexity, usually one that can code arithmetic. One cannot code arithmetic in just first-order logic since the arithmetic axioms and scheme are not provable in first-order logic.
Gerry
It didn't start with securing loans to low (no) income people. That was a contributing factor but probably not the major one. There were a lot of factors including good ol middle class Americans flipping houses, buying second houses, refinancing their mortgages to take equity out of their properties.
Greenspan turning on the flood gates and deregulation had a much bigger impact.
Gerry
The division between commercial and investment banking broke down under Clinton, with bi-partisan support. And Congress-critters, democrat and republican, both made certain Fannie Mae and Freddie Mac remained unregulated or loosely regulated.
That said, Bush did push deregulation or simply lack of it via the SEC.
Gerry