Thomas Hales
Dense Sphere Packings: A Blueprint for Formal Proofs: 2012
"After all is said and done, a proof is only as reliable as the processes that are used to verify its correctness. The ultimate standard of proof is a formal proof, which is nothing other than an unbroken chain of logical inferences from an explicit s..."

George Dyson
Turing’s Cathedral: 2012
"The race to build the hydrogen bomb was accelerated by von Neumann’s desire to build a computer, and the push to build von Neumann’s computer was accelerated by the race to build a hydrogen bomb. ... Numerical simulation of chain react..."

Anita Borg
Women Defining Technology for the Twenty-first Century: A Report from America: 1994
"There is little common or stereotypical about the women who make their careers in computing. We are from all walks of life. We are all types of people. Whatever else, we are drawn to the challenges presented by computing, by the thrill of solving pro..."

Mat Honan
Kill the Password: Why a String of Characters Can’t Protect Us Anymore: 2012
"The ... thing that’s clear about our future password system is which trade-off--convenience or privacy--we’ll need to make. It’s true that a multifactor system will involve some minor sacrifices in convenience as we jump through..."

Shimon Schocken
The Self-Organizing Computer Course: 2012
"Educators don’t necessarily have to teach. Instead, they can provide an environment and resources that tease out your natural ability to learn on your own. Self-study, self-exploration, self-empowerment: these are the virtues of a great educati..."