Latest Articles
The Deep Link Equating Math Proofs and Computer Programs
Mathematical logic and the code of computer programs are, in an exact way, mirror images of each other.
The Most Important Machine That Was Never Built
When he invented Turing machines in 1936, Alan Turing also invented modern computing.
The Researcher Who Would Teach Machines to Be Fair
Arvind Narayanan uses quantitative methods to expose and correct the misuse of quantitative methods.
How Do You Prove a Secret?
Zero-knowledge proofs allow researchers to prove their knowledge without divulging the knowledge itself.
How to Write Software With Mathematical Perfection
Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.