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

A Brazilian Perspective on Computing for the Planet’s Sustainability

cacm.acm.org·46w

Electoral Trickery

cacm.acm.org·46w

Defying Moore: Envisioning the Economics of a Semiconductor Revolution through 12nm Specialization

cacm.acm.org·46w

Toward Environmentally Equitable AI

cacm.acm.org·46w

AI Authorship Revisited

cacm.acm.org·46w·Hacker News

Advancements in Weather Prediction

cacm.acm.org·46w

Energy-Optimized Supercomputer Networks Using Wind Energy

cacm.acm.org·47w

DeepSeek Inside: Origins, Technology, and Impact

cacm.acm.org·47w·Hacker News

Making AI Less ‘Thirsty’

cacm.acm.org·47w

I Teach Computer Science, and That Is Not All

cacm.acm.org·48w

Empowering Users to Make Sustainability-Forward Decisions for Computing Services

cacm.acm.org·48w

Environmental Computing as a Branch of Science

cacm.acm.org·48w·Hacker News

AI and Trust

cacm.acm.org·48w·Hacker News

The Rational Programmer: Investigating Programming Language Pragmatics

cacm.acm.org·48w

Beyond the Checkbox: Upgrading the Right to Opt Out

cacm.acm.org·48w

Generative Artificial Intelligence Policies under the Microscope

cacm.acm.org·49w

Understanding the Environmental Impact of Generative AI Services

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

Log in to enable infinite scrolling