arXiv cs.PL
Programming Languages daily digest.
6 past editions, oldest first by date. Atom feed → · all categories
01 — Past editions
most recent first- 2026-07-16 Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code 1 papers · No. 55
- 2026-06-17 Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics 1 papers · No. 26
- 2026-06-14 Functional Cache Grafting: Robust and Rapid Code-Policy Synthesis for Embodied Agents 1 papers · No. 23
- 2026-06-13 Functional Cache Grafting: Robust and Rapid Code-Policy Synthesis for Embodied Agents 1 papers · No. 22
- 2026-06-12 Functional Cache Grafting: Robust and Rapid Code-Policy Synthesis for Embodied Agents 1 papers · No. 21
- 2026-06-09 SNN-MLIR: An MLIR Dialect for Compiling Neuromorphic SNNs from NIR to Bare-Metal C 1 papers · No. 18
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.