programming-languages

Weekly Paper Notes — the Seminal Paper of the Week for the 2026-08-08 CS paper digest. Area: Programming Languages / Concurrency (rotating away from a long run of distributed-systems picks). Author: C. A. R. Hoare (Queen’s University, Belfast) Published: Communications of the ACM, Vol. 21, No. 8, August 1978, pp. 666–677 DOI: 10.1145/359576.359585 Why the paper still matters If you have written ch <- v in Go, spawned an Erlang process and sent it a message, wired up an actor in Akka, or reasoned about a Rust mpsc channel, you have been programming in a dialect of a language sketched in eleven pages of CACM in 1978....

Eleven years after delivery, “I See What You Mean” remains the single best talk on why distributed systems are hard as a language design problem, not as an engineering problem. Peter Alvaro — now a professor at UC Santa Cruz, then a Berkeley PhD finishing the BOOM project — walks through a decade of research on Dedalus and Bloom and ends with the CALM theorem: a precise, syntactic answer to the question “when does a distributed program need coordination, and when can we get away without it?...

Weekly Video Notes — a short article distilling one talk from the weekly digest. Source video and key frames are embedded throughout. Bjarne Stroustrup designed C++ at Bell Labs in the early 1980s and has spent the four decades since shepherding it through standardization, a thousand committee fights, and a parade of would-be successors. This nearly two-hour conversation covers the whole arc — origin story, the Bell Labs research culture, the philosophy of “negative-overhead abstraction,” the politics of memory safety, and the handful of decisions he genuinely regrets....