Feedback Loops Guide AI to Proof Checking
Recent developments suggest artificial intelligence could play a role in helping computers test and verify smaller, more manageable portions of mathematical proofs.
Will AI Companion Bots be Beneficial for Teens?
AI-enabled apps provide companionship and hold realistic conversations, but there’s also a darker side.
The creator of C++ presents key concepts for performant, type-safe, and flexible C++ software.
What We're Reading
Opinion
Views on issues of broad interest to the computing community
BLOG@CACM
Thought leaders discuss relevant computing topics
Explore the latest issue
Table of Contents
Video
Meta’s Hyperscale Infrastructure: Overview and Insights
A concise, high-level overview of Meta’s hyperscale infrastructure, with key insights from its development.
Investigating Research Software Engineering: Toward RSE Research
It is necessary to build better domain-specific tooling to address the domain-specific challenges of research software and to establish RSE Research as a research field over RSE.
The realization of a self-designing software system is faced with key challenges.
Feedback Loops Guide AI to Proof Checking
Recent developments suggest artificial intelligence could play a role in helping computers test and verify smaller, more manageable portions of mathematical proofs.
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