All Articles

computer security

Hacker-Proof Code Confirmed

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

string theory

The Strange Second Life of String Theory

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.

Abstractions blog

From Gaia, a Twinkling Treasure Trove

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

insights puzzle

Seeing Time Through a Liquid Crystal Display

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

Abstractions blog

Responding Rapidly to Big Discoveries

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.


Genetic Engineering to Clash With Evolution

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

insights puzzle

Solution: ‘A Drunkard’s Walk in Manhattan’

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


Colliding Black Holes Tell New Story of Stars

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


A Seeker of Dark Matter’s Hidden Light

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.