Hit the Goalie / With the Puck / In the Neck
Unrealistic assumptions in any application of a formal proof to the real world are the gaps which leave the neck of the application exposed to attack.
Philosophy of Computing
Advertisement
Knowing alternatives is insufficient; it is also important to prevent the system from performing business as usual.
Finding Beauty and Meaning in Computational Complexity
Irit Dinur’s appointment as the first woman professor at the Institute for Advanced Study's School of Mathematics is at once historic and unremarkable.
The Software Sins of Bloat and Debt
Let's find the ethical manifestations of programming that affect public safety.
Do All Problems Have Technical Fixes?
Tech solutionism and its variants all express confidence that technology can solve non-technical problems, with costs and other drawbacks considered as secondary.
Leveraging Computational Thinking in the Era of Generative AI
The importance of computational thinking increases, and becomes essential, as generative AI applications come to the fore.
We have entered a period in which computation is the principal animating factor in modern society.
Maybe the formalization of the tech imperative fails because it's not really about the implications of propositional logic.
Specifying the Power and Limitations of Randomness
Avi Wigderson, the 2023 ACM A.M. Turing Award laureate, has made lasting contributions to the theory of computational complexity.
Looking ahead at the potential for technology to doom us, or push us to the next boom.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More