Bookmarks
The most important talk on programming by Jonathan Blow
Jonathan Blow critiques modern software practices and argues for simpler, more efficient programming models, discussing language and tooling design principles that could redefine future development.
APL vs BQN vs Uiua
Walk-through comparing array-oriented languages APL, BQN and Uiua by re-implementing and refactoring the standard-deviation algorithm, highlighting language semantics, combinators and idiomatic coding patterns.
Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)
Simon Peyton Jones discusses small-core language design in Haskell and the new Verse language, delving into functional-logic programming concepts and their educational implications.
Jonathan Blow on the Design of Jai
Jonathan Blow outlines the design philosophy, type system, and compilation goals of his Jai programming language, offering insights into modern language design trade-offs.
Jonathan Blow - The Gauntlet
Jonathan Blow’s talk “The Gauntlet” critiques contemporary software practices and outlines design principles and language-level features (drawn from his Jai work) aimed at more robust, maintainable systems.
"Boundaries of Language Design" with Andrew Kelley & Ginger Bill
In-depth discussion with two language designers on compiler construction and programming-language paradigms—relevant, expert-level content.
C++26 Preview - Jeffrey Garland - C++Now 2024
Conference talk previewing upcoming C++26 language features—directly relevant technical content for software engineers.
C3 with Christoffer Lerno -- His career and how he brought us the C3 language -- Conversation #6
Long-form technical interview with the creator of the C3 programming language covering language design and the speaker’s engineering career.
A Type System From Scratch – Robert Widmann
Technical presentation on building a type system from scratch, relevant to language and compiler enthusiasts.