Stop Writing Dead Programs
Jack Rusher·2022·Strange Loop·41 minJack 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.
Propositions as Types
Philip Wadler·2015·Strange LoopPhilip 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.
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.
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.
10 Things I Regret About Node.js
Ryan Dahl·2018·JSConfEURyan Dahl revisits the design decisions he wishes he could undo in Node — and uses the postmortem to introduce Deno.