Propositions as Types
Philip Wadler·2015·Strange Loop·49 minPhilip Wadler on the Curry–Howard correspondence — the deep, surprising equivalence between mathematical proofs and computer programs.
Simple Made Easy
Rich Hickey·2011·Strange LoopRich Hickey emphasizes simplicity's virtues, and argues that we conflate easy with simple — at a real cost.
Stop Writing Dead Programs
Jack Rusher·2022·Strange LoopJack 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.
Transducers
Rich Hickey·2014·Strange LoopHickey 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.
Programming Should Eat Itself
Nada Amin·2014·Strange LoopNada 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.
The Mess We're In
Joe Armstrong·2014·Strange LoopJoe Armstrong, the creator of Erlang, on why our software is in such a state — and a handful of unfashionable ideas about what to do about it.
Observability for Emerging Infra
Charity Majors·2017·Strange LoopWhy 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.