Crowd-sourced formal verification program generates thousands of software annotations
The initial phase of a DARPA program that used publicly accessible online games to accelerate the verification of software has helped produce hundreds of thousands of program annotations in common software ...
Senate blocks House surveillance bill, two-month extension
The Senate struggled unsuccessfully to prevent an interruption in critical government surveillance programs early Saturday, blocking a House-passed bill and several short-term extensions of the USA Patriot ...
An education for the 21st century means teaching coding in schools
Bill Shorten's recent announcement that, if elected, a Labor Government would "ensure that computer coding is taught in every primary and secondary school in Australia" has brought attention to an increasing ...
John Glenn: Evolution should be taught in schools
John Glenn, who declared as a 77-year-old in a news conference from space that "to look out at this kind of creation out here and not believe in God is to me impossible," says facts about scientific discovery ...
Wolfram's ID project launch touts ImageIdentify function
Five things to know about the NSA court ruling
A federal appeals court has declared illegal the National Security Agency program that collects data on the landline calling records of nearly every American. The ruling Thursday, the first of its kind by an appeals court, ...
German-born engineer from US space team dies
Oscar Holderer, the last known engineer who left Germany after World War II to work on the US space program, died at the age of 95.
Successful SpaceX escape test 'bodes well for future'
SpaceX's Dragon capsule sailed through the first flight test of its emergency astronaut escape feature Wednesday, a critical step toward launching people into space from US soil in the next two years.
Deal to curb US intelligence elusive as June deadline nears
Many US lawmakers and an array of interest groups want to rein in the government's surveillance programs, aware of public backlash that began with bombshell leaks two years ago.
Singapore PM praised after sharing Sudoku-solver code
Singapore's Prime Minister Lee Hsien Loong has revealed his computer programming skills after sharing on Facebook a Sudoku puzzle-solver code he wrote.
SpaceX to test 'eject button' for astronauts (Update)
Private US space transport company SpaceX is to test an eject button for astronauts on Wednesday in the first flight test of the abort system on the Dragon spaceship.
NREL report estimates market potential of shared solar, discusses relevant securities regulations
Analysis from the Energy Department's National Renewable Energy Laboratory (NREL) finds that by making shared solar programs available to households and businesses that currently cannot host on-site photovoltaic (PV) systems ...
Tackling the fastest and most powerful computing systems on the planet
A world-leading team of academic researchers and industrial experts from across Europe are celebrating the conclusion of a four year research collaboration tackling the challenges posed by the fastest and ...
Counting all costs, researchers find that saving energy is still cheap
What does it cost to save electricity? Researchers at Lawrence Berkeley National Laboratory (Berkeley Lab) have conducted the most comprehensive study yet of the full cost of saving electricity by U.S. utility ...