cs.PL · 2026-08-23 · No. 93

Programming Languages, 2026-08-23.

1 new papers in cs.PL. Titles, authors, abstracts. Links to arXiv. Want this in your inbox every morning? Subscribe →

01 — The papers

1 entries
  1. 01

    Escaping the Quicksand: A Call to Arms

    Peter Sewell, Jean Pichon-Pharabod

    cs.PL · cs.AI · cs.SE

    Computing has been an astonishing success - but the accumulated technical debt exposes us all to huge costs in business and societal risk. For 75 years, we've built systems to prose specifications with test-and-debug development. That works well enough for industry to thrive, but it's an expensive and ineffective feedback loop, and leaves everyone relying on shaky foundations. Now, AI-enabled engineering is amplifying the success by reducing...

    arxiv.org/abs/2608.19674 · PDF

This edition is part of The Daily Abstract — cs.PL archive. Subscribe to receive these in your inbox each morning, automatically translated to Spanish, with reply-to-PDF: arxivdaily.ignorelist.com.

Colophon Set in Georgia, with system sans for interface chrome and a monospaced stack for code and paper identifiers. Sole accent: amber #D99C5E. Built and served on an always-free VM. The masthead is set 14% letterspaced because newspapers do that and it works.