Additional information
by Kevin Hartnett (Author)
The inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?
It began as an obscure bug-checking program at Microsoft Research developed by a lone computer engineer named Leo de Moura. Then an unlikely crew of mathematical misfits caught wind of it and began to adopt it with messianic zeal. Their goal was to create a truth machine that could provide the rarest of all commodities in life: a complete, 100 percent guarantee that something is true. Its name: Lean.
Author Biography
Kevin Hartnett is a math and technology writer whose work has been published widely in outlets including Quanta Magazine, The Atlantic, The Boston Globe, WIRED, Nautilus, and Scientific American. He was previously the senior writer at Quanta Magazine covering mathematics and computer science. His work has been collected in multiple volumes of the Best Writing on Mathematics series from Princeton University Press. From 2013 to 2016 he wrote "Brainiac," a weekly column for The Boston Globe's Ideas section. He lives in Yarmouth, Maine.
