Programming Should Eat Itself
Nada Amin·2014·Strange Loop·38 minNada 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·2015·Strange LoopPhilip Wadler on the Curry–Howard correspondence — the deep, surprising equivalence between mathematical proofs and computer programs.
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.
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.
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.
Turning the Database Inside Out with Apache Samza
Martin Kleppmann·2015·Strange LoopKleppmann 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.