Archive

Computer scientists can prove certain programs to be error-free with the same certainty that mathematicians prove theorems.

String theory has so far failed to live up to its promise as a way to unite gravity and quantum mechanics. At the same time, it has blossomed into one of the most useful sets of tools in science.

The first star map from the ESA’s Gaia space telescope is poised to revolutionize our understanding of the Milky Way galaxy.

What insights can an LCD display give us about time's arrow?

How do scientists react to major breaking science news? For astrophysicists after the big gravitational waves announcement, it was meeting for two weeks in Santa Barbara, California.

Gene drives promise to spread a trait across an entire population. But evolutionary forces are going to alter even the best-engineered plans.

City blocks help illustrate why walking randomly tends to take you away from your starting point.

Just months after their discovery, gravitational waves coming from the mergers of black holes are shaking up astrophysics.

The astrophysicist Tracy Slatyer is searching for faint wisps of dark matter annihilating in the early universe — and perhaps in hiding places closer to home.