Communications of the ACM cacm.acm.org

Beyond the Checkbox: Upgrading the Right to Opt Out

cacm.acm.org·48w

Robot, Teach Thyself!

cacm.acm.org·48w

Generative Artificial Intelligence Policies under the Microscope

cacm.acm.org·49w

GenAI-Assisted Fantasies

cacm.acm.org·49w·Hacker News

Homomorphic Technologies Could Process Still-Encrypted Data

cacm.acm.org·49w

Understanding the Environmental Impact of Generative AI Services

cacm.acm.org·49w

Understanding the Environmental Impact of Generative AI Services

cacm.acm.org·49w

Protected: CACM Research Highlights Template

cacm.acm.org·49w

Deleting X: Why SIGDOC Left the Platform

cacm.acm.org·49w·Hacker News

The Rise of the AI-Enabled Agentic Internet

cacm.acm.org·49w

A Generative AI-Powered Digital Twin for Adaptive NASH Care

cacm.acm.org·49w

Technical Perspective: A Symbolic Approach to Verifying Quantum Systems

cacm.acm.org·50w

An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

cacm.acm.org·50w

Technical Perspective: When Proofs Meet Programs: An Extension of Dependent Type Theory with Church’s Thesis

cacm.acm.org·50w

‘Upon This Quote I Will Build My Church Thesis’

cacm.acm.org·50w

Accept the Consequences

cacm.acm.org·50w

Systems Correctness Practices at Amazon Web Services

cacm.acm.org·50w·Lobsters, Hacker News, Hacker News

How AI Raises the Bar for Developers

cacm.acm.org·50w

They Can Include AI, But Should They?

cacm.acm.org·50w

Is AI Security Work Best Done In Academia or Industry? Part 2

cacm.acm.org·50w

Log in to enable infinite scrolling