The reason aircraft software should always be able to be overriden by the pilot is that software can never be proven to work as specified.
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running (i.e., halt) or continue to run forever.
Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.
“In Venezuela Chavez has made the co-ops a top political priority, giving them first refusal on government contracts and offering them economic incentives to trade with one another. By 2006, there were roughly 100,000 co-operatives in the country, employing more than 700,000 workers. Many are pieces of state infrastructure – toll booths, highway maintenance, health clinics – handed over to the communities to run. It’s a reverse of the logic of government outsourcing – rather than auctioning off pieces of the state to large corporations and losing democratic control, the people who use the resources are given the power to manage them, creating, at least in theory, both jobs and more responsive public services. Chavez’s many critics have derided these initiatives as handouts and unfair subsidies, of course. Yet in an era when Halliburton treats the U.S. government as its personal ATM for six years, withdraws upward of $20 billion in Iraq contracts alone, refuses to hire local workers either on the Gulf coast or in Iraq, then expresses its gratitude to U.S. taxpayers by moving its corporate headquarters to Dubai (with all the attendant tax and legal benefits), Chavez’s direct subsidies to regular people look significantly less radical.”
So, this acidic extinction event in the distant past was one of the steps that occurred in the lead up to the evolution of homo sapiens, who nevertheless went on to invent the plow, the novel, the steam engine, the city, radio, television, the airplane, the internet, and Slashdot, right? Why should I be scared of anything?
Youtube said my shaky phone video looked shaky, would I like it to fix it? OK, I clicked. Why not?
The fixed video is a lot less shaky! I'm pleased. The parts where the girls are lifting up their dresses to show me their underpants are still dark, because they only did it in the shadows of the dance floor. But perhaps google will be fix that too some time?
Turing's theory was formulated in an era when physics and chemistry were the foundation components of biology. The problem he was trying to solve is: How is biological complexity achieved in terms of fundamental chemistry and physics? At the time, chemistry could explain how two poisonous chemicals, sodium and chlorine, could combine to produce a substance as benign as common table sale (NaCl). But nothing could explain how a single cell could develop into something as complex as a fish, or a mouse, or a human being.
In 1953, Crick and Watson published a paper in Nature that revealed the chemical structure of DNA. The discovery was a revolution in science because it changed biology from an amalgam of physics and chemistry into an information science. In DNA and RNA, a whole vocabulary of computing was encoded. Suddenly, the complexity of biological processes such as embryogenesis, heredity, and cancer could be understood in programmatic terms through the molecular language of DNA.
Turing's theory of chemical morphogenesis doesn't mention DNA. As such, it is too simple to explain morphogenesis per se. Rather, his concept of intercellular reaction-diffusion may be applied to cell biology inter alia, but it isn't the big picture. Crick and Watson worked that out, thanks in no small part to Rosalind Franklin and Maurice Wilkins.
I've used a Shipito consolidation account for 5 months to send stuff to Brisbane. This is what I learned:
0. I pay $50/year for an account, which gives me an address in California (Suite 123456, 123 Something St., Sometown CA, 90250). When a package arrives for me, they list it on my web based UI with a photo of the package and shipping label.
1. The cheapest freight out to Australia available through Shipito is TNT, but the cost varies from $15/lb for 8lbs, down to $4/lb for 30 lbs.
2. The optimal weight package to consolidate and send off to Australia is 29.5 lbs. Shipito adds a $10 surcharge for heaviness if the package exceeds 30 lbs.
3. It is cheapest to minimise the number of small packages you send in to your Shipito account because they charge $4.50 per piece to consolidate each incoming package into the big box that they send to Australia. Their literature makes it seem like only $2.50, but really it is $4.50 because there is a handling fee and a consolidation fee for each item. So, if you want to order 10 books from Amazon, get them sent to your Shipito box in Caliornia as on shipment of 10 books and you will only have to pay $4.50 handling and consolidation fees. If, however, you let Amazon send you 10 individual packages of 1 book each, Shipito will charge you a total of $45.00 handling and consolidation to put the same 10 books in your big box that goes to Australia.
4. Watch your Shipito account like a hawk. If a package goes missing and you don't tell them within 10 days, too bad. You have no recourse.
5. A package can be delivered to Shipito by Amazon's courier, but Shipito might not ever credit it to your account, in which case you better read #4 again. Until the package is assigned to your account, it hasn't arrived.
6. Their customer service is not aleays good. However, once you have received a reply from a service agent, if you continue to send further enquiries directly to that agent's email address you may get better customer service than if you just use the forum or the general address.
7. Fill out the online customs declerations each time a package arrives. It makes it easier for you to calculate when to close off a consolidation because you can see when the value of all packages is getting close to $1000 or the weight close to 29.5 lbs. You need to send the consolidation before it is worth over $1000 to avoid being charged GST in Australia.
8. They do some annoying things like if you let the package overstay the maximum of 90 days in storage, they just remove it from your a/c without warning and say too bad. So be vigilant about their rules, and don't expect them to be as understanding as some other more mature businesses.
9. If you follow all the above guidelines, Shipito is a good service that will save you considerable amounts on freight, and enable you to buy stuff from US vendors who will only ship to a US address.
The quality of the recording is only a technical aspect of the recorded work. The musicality (how good or enjoyable the music is) has a far bigger bearing on the quality of the listener's experience. We all want good music first, and clear sound second. Without the former, the latter doesn't please, but the converse is not true.
Does gun ownership make for a safer, better, society, or something else? Statistical correlation is not the same thing as causality, but what do these facts tell us?
What is the point? Why do we need a copy of a human
They aren't trying to duplicate humans. They are trying to distill and reproduce essential aspects of biomotion e.g. skeletal muscle contraction. TFA is about a way to control the twitching of skeletal muscles without requiring a biological nervous system.
Ancient DNA has proven difficult to sequence or clone, because it is fragmentary, and most of it breaks down into single strands after it is extracted from bone.
However, a new technique developed at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany, sequences single stranded DNA. Scientists just announced they used the technique to fully sequence Denisovan DNA from a bone fragment found in a cave in Siberia. They're going to go back to sequence their library of hundreds of Neandertal DNA specimens.
Duh... the reason Junk Mail is not valued by the recipient is because it is INTRUSIVE. Intrusiveness cannot be overcome by personalisation. More like enhanced. The more personalized the junk, the creepier the intrusion.
I wonder why that person from IBM predicts such a creepy future?
Why does IBM pay someone to publish creepy stuff like that?
I thought FireFox was such a positive force for open standards, in the days when IE was a monopoly.
But something happened. FireFox got to 20% market share, and they got a bunch of money (from Google) and fame. Then, Mozilla ceased to become an organization that was dedicated to an open web. It became, instead, an organization that knew better than the open web. It wasn't about implementing standards any more. It was about God's chosen web engineers determining what was best for the web.
The problem with Mozilla refusing to implement open standards that other browsers implement, is the same problem we had back when IE had disproportionate market share.
Chrome and Opera and Webkit don't suffer from this narcissism. They just get on with it and implement open standards.
Adobe earns most of its income selling authoring tools.
Sure, Adobe would rather the internet was Flash and PDF. But if it isn't, which it isn't, Adobe makes money by selling authoring tools. HTML5 authoring tools, as it turns out.
Standards win in the browser. Adobe sells authoring tools. Punters get good content. Win - Win - Win.
Android, unlike iOS, has marketing funded by many different organizations and managers separately, working competitively against other Android manufacturers. They are each trying to differentiate from the other.
And don't forget:
Android devices don't have a standardized dock/interface connector so dock accessories don't exist for Android.
Android devices just show up as dumb disk drives when you plug them into my computer.
Siri doesn't do translations, it's more of an advanced voice recognition tool.
Siri is a user shell. It provides an interface to the operating system. Voice recognition is one part of the technology; a vital part. The other part is the logic Siri uses to process the words it hears as commands. It translates spoken natural language statements into operating system calls.
TFA is saying that organisms are built in slices, from the tip of the head down to the tip of the tail. These slices are activated in order, from first to last. It is the same in fruit flies, worms, whales, dogs, monkeys, deer and humans. The HOX genes control the basic sequence, like a player piano roll or a series of punch cards.
The reason we get so many different organisms, like whales, fruit flies and elephants, is evolution.
Slashdot Mirror
The reason aircraft software should always be able to be overriden by the pilot is that software can never be proven to work as specified.
In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running (i.e., halt) or continue to run forever.
Alan Turing proved in 1936 that a general algorithm to solve the halting problem for all possible program-input pairs cannot exist.
“In Venezuela Chavez has made the co-ops a top political priority, giving them first refusal on government contracts and offering them economic incentives to trade with one another. By 2006, there were roughly 100,000 co-operatives in the country, employing more than 700,000 workers. Many are pieces of state infrastructure – toll booths, highway maintenance, health clinics – handed over to the communities to run. It’s a reverse of the logic of government outsourcing – rather than auctioning off pieces of the state to large corporations and losing democratic control, the people who use the resources are given the power to manage them, creating, at least in theory, both jobs and more responsive public services. Chavez’s many critics have derided these initiatives as handouts and unfair subsidies, of course. Yet in an era when Halliburton treats the U.S. government as its personal ATM for six years, withdraws upward of $20 billion in Iraq contracts alone, refuses to hire local workers either on the Gulf coast or in Iraq, then expresses its gratitude to U.S. taxpayers by moving its corporate headquarters to Dubai (with all the attendant tax and legal benefits), Chavez’s direct subsidies to regular people look significantly less radical.”
Naomi Klein
So, this acidic extinction event in the distant past was one of the steps that occurred in the lead up to the evolution of homo sapiens, who nevertheless went on to invent the plow, the novel, the steam engine, the city, radio, television, the airplane, the internet, and Slashdot, right? Why should I be scared of anything?
Youtube said my shaky phone video looked shaky, would I like it to fix it? OK, I clicked. Why not?
The fixed video is a lot less shaky! I'm pleased. The parts where the girls are lifting up their dresses to show me their underpants are still dark, because they only did it in the shadows of the dance floor. But perhaps google will be fix that too some time?
The sole source of information for the article is "Aviad Dadon of Israeli cyber-security firm AdoreGroup." Is that an independent source?
What do most Americans know about the background to the Israel Palestinian conflict, which has been going for 67 years?
This scheme is a great success that is transforming the Brazilian culture. The first videos are already up on youtube.
This scheme is a great success that is transforming the Brazilian culture. The first videos are already up on .
Turing's theory was formulated in an era when physics and chemistry were the foundation components of biology. The problem he was trying to solve is: How is biological complexity achieved in terms of fundamental chemistry and physics? At the time, chemistry could explain how two poisonous chemicals, sodium and chlorine, could combine to produce a substance as benign as common table sale (NaCl). But nothing could explain how a single cell could develop into something as complex as a fish, or a mouse, or a human being.
In 1953, Crick and Watson published a paper in Nature that revealed the chemical structure of DNA. The discovery was a revolution in science because it changed biology from an amalgam of physics and chemistry into an information science. In DNA and RNA, a whole vocabulary of computing was encoded. Suddenly, the complexity of biological processes such as embryogenesis, heredity, and cancer could be understood in programmatic terms through the molecular language of DNA.
Turing's theory of chemical morphogenesis doesn't mention DNA. As such, it is too simple to explain morphogenesis per se. Rather, his concept of intercellular reaction-diffusion may be applied to cell biology inter alia, but it isn't the big picture. Crick and Watson worked that out, thanks in no small part to Rosalind Franklin and Maurice Wilkins.
http://bit.ly/1dI04fH
I've used a Shipito consolidation account for 5 months to send stuff to Brisbane. This is what I learned:
0. I pay $50/year for an account, which gives me an address in California (Suite 123456, 123 Something St., Sometown CA, 90250). When a package arrives for me, they list it on my web based UI with a photo of the package and shipping label.
1. The cheapest freight out to Australia available through Shipito is TNT, but the cost varies from $15/lb for 8lbs, down to $4/lb for 30 lbs.
2. The optimal weight package to consolidate and send off to Australia is 29.5 lbs. Shipito adds a $10 surcharge for heaviness if the package exceeds 30 lbs.
3. It is cheapest to minimise the number of small packages you send in to your Shipito account because they charge $4.50 per piece to consolidate each incoming package into the big box that they send to Australia. Their literature makes it seem like only $2.50, but really it is $4.50 because there is a handling fee and a consolidation fee for each item. So, if you want to order 10 books from Amazon, get them sent to your Shipito box in Caliornia as on shipment of 10 books and you will only have to pay $4.50 handling and consolidation fees. If, however, you let Amazon send you 10 individual packages of 1 book each, Shipito will charge you a total of $45.00 handling and consolidation to put the same 10 books in your big box that goes to Australia.
4. Watch your Shipito account like a hawk. If a package goes missing and you don't tell them within 10 days, too bad. You have no recourse.
5. A package can be delivered to Shipito by Amazon's courier, but Shipito might not ever credit it to your account, in which case you better read #4 again. Until the package is assigned to your account, it hasn't arrived.
6. Their customer service is not aleays good. However, once you have received a reply from a service agent, if you continue to send further enquiries directly to that agent's email address you may get better customer service than if you just use the forum or the general address.
7. Fill out the online customs declerations each time a package arrives. It makes it easier for you to calculate when to close off a consolidation because you can see when the value of all packages is getting close to $1000 or the weight close to 29.5 lbs. You need to send the consolidation before it is worth over $1000 to avoid being charged GST in Australia.
8. They do some annoying things like if you let the package overstay the maximum of 90 days in storage, they just remove it from your a/c without warning and say too bad. So be vigilant about their rules, and don't expect them to be as understanding as some other more mature businesses.
9. If you follow all the above guidelines, Shipito is a good service that will save you considerable amounts on freight, and enable you to buy stuff from US vendors who will only ship to a US address.
The quality of the recording is only a technical aspect of the recorded work. The musicality (how good or enjoyable the music is) has a far bigger bearing on the quality of the listener's experience. We all want good music first, and clear sound second. Without the former, the latter doesn't please, but the converse is not true.
Does gun ownership make for a safer, better, society, or something else? Statistical correlation is not the same thing as causality, but what do these facts tell us?
What is the point? Why do we need a copy of a human
They aren't trying to duplicate humans. They are trying to distill and reproduce essential aspects of biomotion e.g. skeletal muscle contraction. TFA is about a way to control the twitching of skeletal muscles without requiring a biological nervous system.
Ancient DNA has proven difficult to sequence or clone, because it is fragmentary, and most of it breaks down into single strands after it is extracted from bone.
However, a new technique developed at the Max Planck Institute for Evolutionary Anthropology in Leipzig, Germany, sequences single stranded DNA. Scientists just announced they used the technique to fully sequence Denisovan DNA from a bone fragment found in a cave in Siberia. They're going to go back to sequence their library of hundreds of Neandertal DNA specimens.
How long before they make Dolly Denisovan?
We'll know more if they find the aeroplane. They are going to have a good look soon.
Those are good questions, antdude. I would like to learn more about the cartographic practices that resulted in the map they carried.
I wonder what Earhart and Noonan knew or presumed about the chart's accuracy with respect to islands when they were leaving New Guinea?
I wonder what they made of what happened when they were talking about it afterwards on Gardner island?
You can see an interesting thing about infographics design at the NYT here.
"Software Engineer" can mean so many different things. It could be heaven. It could be hell.
Duh... the reason Junk Mail is not valued by the recipient is because it is INTRUSIVE. Intrusiveness cannot be overcome by personalisation. More like enhanced. The more personalized the junk, the creepier the intrusion.
I wonder why that person from IBM predicts such a creepy future?
Why does IBM pay someone to publish creepy stuff like that?
I thought FireFox was such a positive force for open standards, in the days when IE was a monopoly.
But something happened. FireFox got to 20% market share, and they got a bunch of money (from Google) and fame. Then, Mozilla ceased to become an organization that was dedicated to an open web. It became, instead, an organization that knew better than the open web. It wasn't about implementing standards any more. It was about God's chosen web engineers determining what was best for the web.
The problem with Mozilla refusing to implement open standards that other browsers implement, is the same problem we had back when IE had disproportionate market share.
Chrome and Opera and Webkit don't suffer from this narcissism. They just get on with it and implement open standards.
Hooray for open standards!
Steve Jobs' biological father, Abdulfattah John Jandali, is a native of Syria. He recently expressed his support for the pro-democracy protesters
Adobe earns most of its income selling authoring tools.
Sure, Adobe would rather the internet was Flash and PDF. But if it isn't, which it isn't, Adobe makes money by selling authoring tools. HTML5 authoring tools, as it turns out.
Standards win in the browser. Adobe sells authoring tools. Punters get good content. Win - Win - Win.
Why?
Because:
And don't forget:
Siri doesn't do translations, it's more of an advanced voice recognition tool.
Siri is a user shell. It provides an interface to the operating system. Voice recognition is one part of the technology; a vital part. The other part is the logic Siri uses to process the words it hears as commands. It translates spoken natural language statements into operating system calls.
TFA is saying that organisms are built in slices, from the tip of the head down to the tip of the tail. These slices are activated in order, from first to last. It is the same in fruit flies, worms, whales, dogs, monkeys, deer and humans. The HOX genes control the basic sequence, like a player piano roll or a series of punch cards.
The reason we get so many different organisms, like whales, fruit flies and elephants, is evolution.