13
POPSGoodbye To Faulty Software? The program that performs the computation is equivalent to the proof of the theorem. By proving the theorem the program is guaranteed to be correct. It is not that simple, of course, but so promising is type theory that since 1989 the EU has been funding a string of projects to develop it under the Future and Emerging Technologies programme. That style of working is going to change so that we spend more effort on actually writing programs than testing them.
12
POPSCivilization Threatened by Global Warming - Six Leading Scientists Say See first source for the full article. Present knowledge does not permit accurate specification of the dangerous level of human-made GHGs. However, it is much lower than has commonly been assumed. If we have not already passed the dangerous level, the energy infrastructure in place ensures that we will pass it within several decades. We conclude that a feasible strategy for planetary rescue almost surely requires a means of extracting GHGs from the air. Development of CO2 capture at power plants, with below-ground CO2 sequestration, may be a critical element. Injection of the CO2 well beneath the ocean floor assures its stability (House et al. 2006). If the power plant fuel is derived from biomass, such as cellulosic fibres grown without excessive fertilization that produces N2O or other offsetting GHG emissions, it will provide continuing drawdown of atmospheric CO2.
9
POPSself- fulfilling perception "This shows that a person's level of sensitivity to being stereotyped -- their expectation that a person will behave prejudicially towards them -- may distort their perception of reality." Zooming out from the specification of the article, i think it points to the inevitability of seeing what one is "programmed" to see. where is the way out? :)
9
POPSImage files hold hidden data Hidden data in JPEG/JPG images may say more about you than you intend. This useful article helps explain what types of metadata to look for and how to manage it. Discusses fingerprints of digital cameras and watermarking and also lists some *very* interesting cases where people have fallen foul of JPEG's metadata.
4
POPS400GB optical disc invented by Pioneer Blu-ray comes in single layer (25GB) and dual-layer (50GB) flavors. Pioneer does say that because the lens specification for reading the discs is similar to Blu-ray, “it is possible to maintain compatibility” between its disc and Blu-ray discs. That’s not saying it will be compatible, but it would make sense since Pioneer is one of the original Blu-ray Disc Association members. However, plans for that archiving project will have to be put on pause if you want to use this technology. Pioneer is going to demonstrate it at an industry conference next week, but for now the disc is read-only. Eventually, they’ll add write capability as well.
3
POPSInequality and Mortality Study suggests that inequality in income has no bearing on life expectancy, infant mortality, homicide, or suicide.
1
POPSDragon Skin Body Armor - response by pinnacle response by Pinnacle Armor regarding US Army's evaluation. I guess the boys in green are in a pissing contest about this. All of this should be covered by the media, in the fairest sense of the word this is news.