February 2025 – Communications of the ACM cacm.acm.org

Certificates in AI: Learn but Verify

cacm.acm.org·21w·Hacker News

Grand Opening of the ACM Digital Library

cacm.acm.org·21w

Techno-Optimism, Techno-Pessimism, and Techno-Realism

cacm.acm.org·21w

Shaping AI’s Impact on Billions of Lives

cacm.acm.org·21w

AI Rewrites the Rules Of Phishing, Cybercrime

cacm.acm.org·21w

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

cacm.acm.org·21w

Technical Perspective: Toward a Formally Verified Compiler for a Synchronous, Functional, Data-Flow Programming Language

cacm.acm.org·21w

Sustainable Quantum Computing

cacm.acm.org·21w

Babylonian Biometrics and Widespread Methodological Shortcomings

cacm.acm.org·21w

Virtual Collaboration

cacm.acm.org·21w

Despot Island

cacm.acm.org·21w

Stablecoins: Why They Are Both Useful and Problematic

cacm.acm.org·21w

Guardians of the Agents

cacm.acm.org·21w

AI Scraping and the Open Web

cacm.acm.org·21w

It Takes A Village: Engaging Marginalized Groups in Computing Survey Research

cacm.acm.org·21w

As Answers Get Cheaper, Questions Grow Dearer

cacm.acm.org·22w

Learning How Learning Works

cacm.acm.org·22w

Resilient Infrastructures via Digital Unification

cacm.acm.org·23w

An Anthropologist’s Guide to Better Automation

cacm.acm.org·23w

Speeding Up Hash Tables

cacm.acm.org·23w

Log in to enable infinite scrolling