Jan Vitek - Getting everything wrong without doing anything right!
On the perils of large-scale analysis of Github data Curry On! 2019 - LONDON
▶︎
Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On
▶︎
Tomas Petricek - The search for fundamental software engineering principles
▶︎
The Next Programming Language - Douglas Crockford - code::dive 2022
▶︎
John Mumm - A CRDT Primer: Defanging Order Theory
!['Declarative Thinking, Declarative Practice' - Kevlin Henney [ ACCU 2016 ]](https://i.ytimg.com/vi/nrVIlhtoE3Y/hqdefault.jpg?sqp=-oaymwE9CNACELwBSFryq4qpAy8IARUAAAAAGAElAADIQj0AgKJDeAHwAQH4Af4JgALQBYoCDAgAEAEYZSBMKFcwDw==&rs=AOn4CLBsz-0DcdCm-NyRqyvlFwSJ6ZLj1A)
▶︎
'Declarative Thinking, Declarative Practice' - Kevlin Henney [ ACCU 2016 ]
▶︎
Simon Marlow - Glean - facts about code
▶︎
Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
▶︎
Yann LeCun on What Comes After LLMs
▶︎
Category Theory, The essence of interface-based design - Erik Meijer
▶︎
Joe Armstrong - Keynote: The Forgotten Ideas in Computer Science - Code BEAM SF 2018
![On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]](https://i.ytimg.com/vi/43XaZEn2aLc/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLD0fVMInZ5nups5fZcY74n2jXitrg)
▶︎
On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
▶︎
Type-Driven Development in Idris — Edwin Brady
▶︎
MIT Just Revealed the AI Bubble's Fatal Flaw
▶︎
John Mumm - Safely Sharing Data - Reference Capabilities in the Pony Programming Language
▶︎
Ron Pressler - Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
▶︎
Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026
▶︎
"The Mess We're In" by Joe Armstrong
▶︎
Why Isn't Functional Programming the Norm? – Richard Feldman
▶︎
Growing a Language, by Guy Steele
▶︎