October 2023 - Vol. 66 No. 10

October 2023 CACM cover

Features

Opinion

Barbershop Computing

Moving education beyond computer science pipelines.
Research

Generating and Exploiting Automated Reasoning Proof Certificates

Moving toward a full suite of proof-producing automated reasoning tools with SMT solvers that can produce full, independently checkable proofs for real-world problems.

Recent Issues

  1. October 2025 cover
    October 2025 Vol. 68 No. 10
  2. September 2025 cover
    September 2025 Vol. 68 No. 9
  3. August 2025 cover
    August 2025 Vol. 68 No. 8
  4. July 2025 cover
    July 2025 Vol. 68 No. 7