Programming Should Eat Itself
Nada Amin on metaprogramming taken to its logical extreme — almost an hour of live coding through interpreters of interpreters, where the line between programs and data dissolves.

Propositions as Types
Philip Wadler on the Curry–Howard correspondence — the deep, surprising equivalence between mathematical proofs and computer programs.

Transducers
Hickey extracts the essence of map and filter from the collections they were trapped in — and shows what falls out when transformations become first-class, context-free things.

Simple Made Easy
Rich Hickey emphasizes simplicity's virtues, and argues that we conflate easy with simple — at a real cost.

Stop Writing Dead Programs
Jack Rusher argues that most of our languages are still, accidentally, designed around the punchcard — and shows what a living programming environment could look like instead.

Observability for Emerging Infra
Why the metrics-and-logs playbook from the LAMP era falls apart the moment your system becomes a dynamic mesh of services you can't predict in advance.

Turning the Database Inside Out with Apache Samza
Kleppmann argues we've been thinking about databases backwards: the log is the source of truth, and the database is just a materialized view of it.