A computer language designed to robustly verify mathematical theorems and expose logical flaws has been turned towards a ...

Implantable device research from the BrainGate clinical trial enables communication through rapid typing for a patient with ALS and a patient with a spinal cord injury. PROVIDENCE, R.I. [Brown ...

Why do we tip—even when we know we’ll never see the server again? New research suggests it’s not just about rewarding good service, but about social pressure. Some people tip out of genuine ...

Something strange happened at University of California campuses this fall. For the first time since the dot-com crash, computer science enrollment dropped. System-wide, it fell 6% last year after ...

It was once a degree to some of the highest-paying jobs in the world, but now the University of California is seeing a drop in enrollment for computer science. Part of the reason is that tech ...

A devastating landslide on Java's Mount Burangrang buried 34 homes, with 25 confirmed dead and 72 missing. Rescuers continue to dig through debris, hindered by challenging weather and terrain.

Indonesian rescuers are battling difficult conditions to find dozens missing after a massive landslide in Java, which killed at least 11 people. Over 230 residents have been evacuated. Rescue workers ...

Dr. Kirk Milhoan, a pediatric cardiologist who leads the Advisory Committee on Immunization Practices, said a person’s right to refuse a vaccine outweighed concerns about illness or death from ...

Less than 40 percent of public middle schools say that they are offering computer science coursework. Credit: Allison Shelley for EDUimages The Hechinger Report covers one topic: education. Sign up ...

Last week at CES, Lego introduced its new Smart Play system, with a tech-packed Smart Brick that can recognize and interact with sets and minifigures. It was unexpected and delightful to see Lego come ...