progscrape: acm.org

Artificial Intelligence for Software Engineering: From Probable to Provable

4 days ago cacm.acm.org ai vibecoding

Nabokov's pale fire: the lost 'father of all hypertext demos'? (2011)

5 days ago dl.acm.org

Spork: A posix_spawn you can use as a fork

18 days ago dl.acm.org osdev pdf

Subscription Bombing: Email under Attack

21 days ago cacm.acm.org email

Who Builds a House Without Drawing Blueprints? (2015)

17 days ago cacm.acm.org formalmethods

Stratum: System-Hardware Co-Design with 3D-Stackable DRAM for Efficient Moe

22 days ago dl.acm.org

The Road to a Billion-Token Context

36 days ago cacm.acm.org

How NASA built Artemis II’s fault-tolerant computer

58 days ago cacm.acm.org distributed formalmethods hardware nasa testing

Low-Compilation-Cost Register Allocation in LLVM-Based Binary Translation

38 days ago dl.acm.org compiler

A grounded conceptual model for ownership types in Rust

37 days ago cacm.acm.org rust

The Origins of GPU Computing

53 days ago cacm.acm.org gpu

Faith-based computing versus the unnatural science

53 days ago queue.acm.org

Optimizing Datalog for the GPU

44 days ago dl.acm.org gpu

APL\? (1990)

43 days ago dl.acm.org

Larry Tesler: A Personal History of Modeless Text Editing and Cut/Copy-Paste (2012)

50 days ago dl.acm.org

Long Instruction Word architectures and the ELI-512

56 days ago dl.acm.org

Tor Alva: The Tallest 3D-Printed Building in the World

2 months ago cacm.acm.org tor

Sybilproof reputation mechanisms (2005) [pdf]

2 months ago dl.acm.org pdf

A Digital Compute-in-Memory Architecture for NFA Evaluation

2 months ago dl.acm.org

Model Collapse Is Happening, We Just Pretend It Isn't

2 months ago cacm.acm.org

Tony Hoare and His Imprint on Computer Science

2 months ago cacm.acm.org

Equality Saturation for Optimizing High-Level Julia IR

2 months ago dl.acm.org compiler

Binary Fuse Filters: Fast and Smaller Than Xor Filters (2022)

2 months ago dl.acm.org compsci pdf

2025 Turing award given for quantum information science

2 months ago awards.acm.org turing

Turing Award Honors Bennett and Brassard for Quantum Information Science

2 months ago amturing.acm.org turing

Randomization in Controlled Experiments

2 months ago queue.acm.org

Sandboxing: Foolproof Boundaries vs. Unbounded Foolishness (2025)

2 months ago spawn-queue.acm.org

An Analysis of User-Space Idle State Instructions on x86 Processors

3 months ago dl.acm.org

Binary Fuse Filters: Fast and Smaller Than Xor Filters