Self-Designing Software

Should We Sing the Praises of Agile, or Bury It?

Gary Marcus discusses AI's technical problems

Meta’s Hyperscale Infrastructure: Overview and Insights

Why Can't We Predict Earthquakes?

Life lessons from the first half-century of my career

Soundness and Completeness: Defined With Precision [2019]

Software Bugs Led to 'One of the Greatest Miscarriages of Justice'

I was wrong about the ethics crisis

Program Synthesis and Large Language Models

Intel's Fall from Grace

Controlling AI's Growing Energy Needs

A “meta-optics” camera that is the size of a grain of salt

Between the Booms: AI in Winter – Communications of the ACM

The Rise of Bluesky

Mirror, Mirror on the Wall, What Is the Best Topology of Them All?

Remembering Grace Hopper

Computing with Time: Microarchitectural Weird Machines

The Secret of Ramsey Numbers

What is theoretical computer science?

Room-Temperature Superconductivity Heats Up

50 Years of Queries

Beyond Efficiency (2013)

You Don’t Know Jack about Bandwidth

How CrowdStrike Stopped Everything

Tracking the historical events that lead to the interweaving of knowledge (2021)

Do All Problems Have Technical Fixes?

A Brief History of Blockchain Interoperability

Faster Integer Programming

MIT CS Professor Tests AI's Impact on Educating Programmers

More →