Comment: Re:Would stop a lot of development (Score 1, Interesting) 550
Yes. You can't "prove" that anything but a trivial program works correctly. I think that was the conclusion of the famous paper by Turing in the 1930's.
+ - Fukushima Engineer Says He Covered Up Flaw->
Submitted
by
proprioceptionZ
proprioceptionZ writes "A story of a smelting glitch that was too expensive to address."
Link to Original Source
Link to Original Source
+ - ARM-based Windows Embedded Compact 7 Released->
Submitted
by
suraj.sun
suraj.sun writes "Microsoft has announced the official release of their ARM-based embedded OS, Windows Embedded Compact 7, probably better known as Windows CE 7. Windows CE7 will be the core of Windows Phone 7 (or 8), the current version running a combination of Windows CE 6 and 7 to ensure the product reached market on time.
It is widely expected the new features of Windows Embedded CE7 such as DLNA and multi-processor support will also come to Windows Phone soon.
WMPowerUser: http://wmpoweruser.com/windows-embedded-compact-7-now-released/"
Link to Original Source
It is widely expected the new features of Windows Embedded CE7 such as DLNA and multi-processor support will also come to Windows Phone soon.
WMPowerUser: http://wmpoweruser.com/windows-embedded-compact-7-now-released/"
Link to Original Source
+ - Malware Family Integration Across Botnets->
Submitted
by
Orome1
Orome1 writes "Analysis by Symantec reveals that in February, 1 in 290.1 emails (0.345%) was malicious making February among the most prolific time periods both in terms of simultaneous attacks and malware family integration across Zeus (aka Zbot), Bredolab and SpyEye. Also in February, there were at least 40 variants of malware associated with the Bredolab Trojan, accounting for at least 10.3 percent of email-borne malware. These latest findings reveal that contrary to recent beliefs, Bredolab is not dead and techniques previously associated with Bredolab malware have now become more common among other major malware families."
Link to Original Source
Link to Original Source
+ - Democrats call for an investigation of law firm, 3->
Submitted
by
proprioceptionZ
proprioceptionZ writes "Wonders never cease."
Link to Original Source
Link to Original Source
+ - Arkansas Earthquakes Could Be Man-Made-> 1
Submitted
by
oxide7
oxide7 writes "The small earthquakes that struck north central Arkansas could be from a combination of natural and man-made activity. Some experts think that pumping water into the ground as part of the extraction process of natural gas could cause local seismic events."
Link to Original Source
Link to Original Source
+ - Organism Secretes Renewable Fuels Using CO2, Water->
Submitted
by
autospa
autospa writes "A biotechnology company in Massachusetts has created a genetically engineered organism capable of producing diesel fuel or ethanol, which can be used to run cars and jet engines. Joule Unlimited developed a genetically engineered organism called a cyanobacterium, which uses water, sunlight and carbon dioxide to produce and secrete renewable fuels."
Link to Original Source
Link to Original Source