On Types and Type Consistency in Logic Programming

Take Me to Your Leader: Perspectives on Your First Alien Encounter

Everything Is Tuberculosis: The History and Persistence of Our Deadliest Infection

Breath: The New Science of a Lost Art

Take Me to Your Leader: Perspectives on Your First Alien Encounter (Signed Book)

Empire of AI: Dreams and Nightmares in Sam Altman's OpenAI

Eve: How the Female Body Drove 200 Million Years of Human Evolution

The Immortal Life of Henrietta Lacks

Being Mortal: Medicine and What Matters in the End

Nature's Echo: Harnessing Ancient Feedback Loops to Heal a Changing Planet

A City on Mars: Can We Settle Space, Should We Settle Space, and Have We Really Thought This Through?

The Rise and Fall of the Dinosaurs: A New History of Their Lost World

Cosmos

Behave: The Biology of Humans at Our Best and Worst

Astrophysics for People in a Hurry

Stiff: The Curious Lives of Human Cadavers

Periodic Tales: A Cultural History of the Elements, from Arsenic to Zinc

The Coming Wave: AI, Power, and Our Future

Becoming Earth: A Journey Through the Hidden Wonders that Bring Our Planet to Life

I Am Not a Robot: My Year Using AI to Do (Almost) Everything

The Disappearing Spoon: And Other True Tales of Madness, Love, and the History of the World from the Periodic Table of the Elements