Play allLanguage design and type systems
756 videos • 646 hr 53 min
Part of Programming languages. Ordered by how many people recommended each video and for how long; 108 are classics.
1 2 3 How Python was Shaped by leaky Internals, Armin Ronacher, Flask framework
Видео с мероприятий {speach!
Recommended by 16 •
Classic4 5 William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
Recommended by 14 •
Classic6 7 8 9 10 "The Economics of Programming Languages" by Evan Czaplicki (Strange Loop 2023)
Strange Loop Conference
Recommended by 13 •
11 "Stop Writing Dead Programs" by Jack Rusher (Strange Loop 2022)
Strange Loop Conference
Recommended by 12 •
12 The Unreasonable Effectiveness of Multiple Dispatch | Stefan Karpinski | JuliaCon 2019
The Julia Programming Language
Recommended by 12 •
13 14 15 16 Clasp: Common Lisp using LLVM and C++ for Molecular Metaprogramming
Google TechTalks
Recommended by 9 •
Classic17 18 Evan Czaplicki - Let's be mainstream! User focused design in Elm - Curry On
Curry On!
Recommended by 10 •
Classic19 20 "Unison: a new distributed programming language" by Paul Chiusano
Strange Loop Conference
Recommended by 9 •
Classic21 Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
Recommended by 9 •
Classic22 Joe Armstrong & Alan Kay - Joe Armstrong interviews Alan Kay
Erlang Solutions
Recommended by 8 •
Classic23 24 25 Computer Science - Brian Kernighan on successful language design
University of Nottingham
Recommended by 7 •
Classic26 27 28 On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove
Recommended by 8 •
Classic29 30 Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley
Recurse Center
Recommended by 7 •
31 Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
Recommended by 8 •
Hidden gem32 33 Scale By The Bay 2018: Bryan Cantrill, Rust and Other Interesting Things
FunctionalTV
Recommended by 8 •
Classic34 Expert to Expert: Rich Hickey and Brian Beckman - Inside Clojure
jasonofthel33t
Recommended by 6 •
Classic35 36 Zig 2026: No-AI Policy, $670K Foundation, Left GitHub & Why Zig Isn’t 1.0 - Andrew Kelley Explains
JetBrains
Recommended by 7 •
Recent pick37 38 39 40 41 Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
Recommended by 6 •
42 43 44 45 46 Lambda World 2018 - Introduction to the Unison programming language - Rúnar Bjarnason
Lambda World
Recommended by 5 •
Hidden gem47 48 #Gamelab2018 - Jon Blow's Design decisions on creating Jai a new language for game programmers
Gamelab Conference
Recommended by 5 •
Classic49 50 51 Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
Recommended by 5 •
Hidden gem52 Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
Erlang Solutions
Recommended by 4 •
Classic53 ElixirConf 2023 - José Valim - The foundations of the Elixir type system
ElixirConf
Recommended by 4 •
54 A Quick Look at Impredicativity (Simon Peyton Jones)
Chalmers Functional Programming Seminar Series
Recommended by 4 •
Hidden gem55 56 Dconf 2014 Day 2 Keynote: The Last Thing D Needs -- Scott Meyers
The D Language Foundation
Recommended by 5 •
Classic57 "An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
Strange Loop Conference
Recommended by 5 •
Hidden gem58 59 60 "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
Recommended by 5 •
Classic61 62 63 64 65 66 67 Alto System Project: Dan Ingalls demonstrates Smalltalk
Computer History Museum
Recommended by 4 •
Classic68 69 Co-Creator of Haskell: Useless vs Useful Languages, Rust vs C, Functional Programming | Simon Jones
Ryan Peterman
Recommended by 3 •
Recent pick70 2016 - On The Shoulders Of Giants - Damian Conway
The Perl and Raku Conference - Greenville, SC 2026
Recommended by 4 •
Classic71 72 73 74 SPJ: Pursuing a Trick a Long Way, Just To See Where It Goes
André Popovitch
Recommended by 3 •
Hidden gem75 "Agility & Robustness: Clojure spec" by Stuart Halloway
Strange Loop Conference
Recommended by 4 •
Classic76 Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341
Lex Fridman
Recommended by 4 •
77 "Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
Recommended by 4 •
Classic78 Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
Recommended by 4 •
Classic79 Design Patterns vs Anti pattern in APL by Aaron W Hsu at FnConf17
ConfEngine
Recommended by 4 •
Classic80 81 82 83 "Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge
Strange Loop Conference
Recommended by 4 •
84 85 86 87 88 89 "Hackett: a metaprogrammable Haskell" by Alexis King
Strange Loop Conference
Recommended by 3 •
Hidden gem90 91 92 93 94 95 RacketCon 2013: Dan Liebgold - Racket on the Playstation 3? It's Not What you Think!
Racket
Recommended by 4 •
Classic96 MountainWest RubyConf 2014 - But Really, You Should Learn Smalltalk
Confreaks
Recommended by 4 •
Classic97 98 99 100 "A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
Recommended by 4 •
Classic101 102 "Let's Build a Hygienic Macro Expander" by Matthew Flatt
Strange Loop Conference
Recommended by 3 •
Classic103 Stanford Seminar - Concatenative Programming: From Ivory to Metal
Stanford Online
Recommended by 3 •
Hidden gem104 105 Introducing a Memory-Safe Successor Language in Large C++ Code Bases - John McCall - CppNow 2023
CppNow
Recommended by 4 •
Hidden gem106 107 Taking Vector Transposes Seriously | Jiahao Chen | JuliaCon 2017
The Julia Programming Language
Recommended by 3 •
Classic108 109 110 111 112 113 ATS: Why Linear Types are the Future of Systems Programming
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem114 115 116 117 Martin Odersky - Scala's Role in the Programming Languages Ecosystem
Scala Days Conferences
Recommended by 2 •
Hidden gem118 Aaron Hsu - Do Programming Language Features Deliver on their Promises
LambdaConf
Recommended by 3 •
Hidden gem119 Dart Extension Methods Tutorial (incl. Generic Extensions, Properties & Operators)
Reso Coder
Recommended by 2 •
Hidden gem120 Can Haskell Become a Great Language for Data Science? | Michael Chanvinda | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem121 122 123 124 Interview and AMA with Louis Pilfold - Creator of Gleam (Unedited)
Exercism
Recommended by 3 •
Hidden gem125 José Valim - What's Ahead for Elixir? (ElixirConfEU 2016)
Erlang Solutions
Recommended by 2 •
Hidden gem126 127 (ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket
Racket
Recommended by 3 •
Hidden gem128 129 "Datafun: a functional query language" by Michael Arntzenius
Strange Loop Conference
Recommended by 3 •
Classic130 1 07 High Performance Client Side Web Applications through Haskell EDSLs
ICFP Video
Recommended by 2 •
Hidden gem131 132 133 134 135 136 Keep Betting on JavaScript - Kyle Simpson
JavaScript Conferences by GitNation
Recommended by 2 •
Hidden gem137 138 139 2022-03-26 --- Factor in 2022 --- John Benediktsson & Doug Coleman
Silicon Valley Forth Interest Group
Recommended by 2 •
Hidden gem140 141 142 Dynamic Languages Wizards Series - Panel on Language Design
Eduardo Cavazos
Recommended by 2 •
Classic143 Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On
Curry On!
Recommended by 3 •
Hidden gem144 145 C++Now 2017: Ryan Newton "Haskell taketh away: limiting side effects for parallel programming"
CppNow
Recommended by 2 •
146 Alexis King on "Delimited Continuations, Demystified" @ZuriHac2023
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem147 148 Swift Type System Introduction (Lecture)
Richard Topchii - Swift and Apple Platforms
Recommended by 2 •
Hidden gem149 150 151 152 What's Bad About Julia | Jeff Bezanson | JuliaCon 2019
The Julia Programming Language
Recommended by 3 •
Classic153 154 155 Common Lisp for the Curious Clojurian - Alan Dipert - Scicloj meeting 19
Sci Cloj
Recommended by 2 •
Hidden gem156 157 158 Compose Conference - Pi-Forall: How to use and implement a dependently-typed language
NYC Haskell User's Group
Recommended by 2 •
Hidden gem159 160 161 De-fragmenting C++: Making Exceptions and RTTI More Affordable and Usable - Herb Sutter CppCon 2019
CppCon
Recommended by 3 •
Classic162 Ron Pressler - Pull Push: Please stop polluting our imperative languages with pure concepts-Curry On
Curry On!
Recommended by 3 •
Classic163 164 04 An Optimizing Compiler for a Purely Functional Web Application Language
ICFP Video
Recommended by 2 •
Hidden gem165 Programming in Modern C with a Sneak Peek into C23 - Dawid Zalewski - ACCU 2023
ACCU Conference
Recommended by 2 •
166 167 Main Stage - Tent | JuliaCon Global 2026 | Day 1
The Julia Programming Language
Recommended by 2 •
Hidden gem168 169 Keynote: Why Functional Programming Matters - John Hughes, Mary Sheeran (Lambda Days 2017)
Erlang Solutions
Recommended by 2 •
Hidden gem170 171 Allen School Distinguished Lecture: Pat Hanrahan (May 16, 2023)
Paul G. Allen School
Recommended by 2 •
Hidden gem172 CppCon 2019: David Stone - Removing Metaprogramming From C++, Part 1 of N: constexpr Function Params
CppCon
Recommended by 2 •
Hidden gem173 174 Code Europe 2022 Keynote by Walter Bright "Programming Language Ideas That Work And Don't Work"
Code Europe
Recommended by 2 •
Hidden gem175 176 177 "Swift as C++ Successor in FoundationDB" by Konrad Malawski (Strange Loop 2023)
Strange Loop Conference
Recommended by 3 •
Hidden gem178 179 180 181 182 Edwin Brady Tells Us What's New in Idris 2
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem183 T-Dose 2014, Zimbu Designing a Programming Language From Experience, Bram Moolenaar
CityTV.nl
Recommended by 2 •
Hidden gem184 185 186 187 The hidden superpowers of linear types: how linear types control the future and prevent bugs
Modular
Recommended by 2 •
Hidden gem188 Executable Grammars: Seeking the minimal extensible self-compiling compiler
Stanford
Recommended by 2 •
Hidden gem189 190 191 Pony: High-Performance, Memory-Safe Actors (with Sean Allen)
Developer Voices
Recommended by 2 •
Hidden gem192 193 01 Effective Programming: bringin algebraic effects and handlers to OCaml
ICFP Video
Recommended by 2 •
Hidden gem194 Ask Me Anything with Richard Gabriel, hosted by Stephen Kell
ACM SIGPLAN
Recommended by 2 •
Hidden gem195 Keynote: Gang of None? Design Patterns in Elixir - José Valim | ElixirConf EU 2024
Code Sync
Recommended by 2 •
196 197 198 199 200 201 Clasp: Common Lisp using LLVM and C++ for Designing Molecules
Google TechTalks
Recommended by 2 •
Classic202 203 204 205 206 Keynote. Fortress Features and Lessons Learned | Guy Steele | JuliaCon 2016
The Julia Programming Language
Recommended by 2 •
Hidden gem207 dotJS 2018 - Anders Hejlsberg - TypeScript: Static types for JavaScript
dotconferences
Recommended by 2 •
Hidden gem208 209 210 Category Theory, The essence of interface-based design - Erik Meijer
FooCafe
Recommended by 2 •
Classic211 212 213 ShapeRank: Rank Polymorphism Meets Reactive Streams@REBLS21
Gilad Bracha
Recommended by 2 •
Hidden gem214 215 216 "Boundaries of Language Design" with Andrew Kelley & Ginger Bill
Mr. 4th Programming
Recommended by 2 •
217 218 219 220 Going structural with Named Tuples by Jamie Thompson | Scalar Conference 2025
SoftwareMill
Recommended by 2 •
Hidden gem221 222 223 224 Shoulders of Giants: Languages Kotlin learned from - Andrey Breslav - GeekOUT 2018
Andrey Breslav
Recommended by 2 •
Hidden gem225 226 Procedural Programming: It Never Went Away — Kevlin Henney | Build Stuff
Build Stuff - #1 Software Dev Conf
Recommended by 2 •
227 "Typed Clojure in Practice" by Ambrose Bonnaire Sergeant
Strange Loop Conference
Recommended by 2 •
Hidden gem228 229 230 231 An Introduction to Functional Imperative Programming in Flix • Magnus Madsen • GOTO 2023
GOTO Conferences
Recommended by 2 •
Hidden gem232 233 Jonathan Worthington - RakuAST - Raku Keynote
The Perl and Raku Conference - Greenville, SC 2026
Recommended by 1 •
234 235 David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
Curry On!
Recommended by 2 •
Hidden gem236 ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier
Malcolm Wallace
Recommended by 2 •
Classic237 238 239 240 241 Martin Odersky on the Future of Scala, Learning, Teaching and the Quest for the Perfect Language
Rock the JVM
Recommended by 1 •
242 C++ is NOT a superset of C: tentative definitions, implicit conversions, implicit declarations &more
Fred Overflow
Recommended by 1 •
243 A Hitchhiker's Guide to Linearity by Daniel Marshall | Lambda Days 2023
Code Sync
Recommended by 2 •
Hidden gem244 245 Hylo - The Safe Systems and Generic-programming Language Built on Value Semantics - Dave Abrahams
cpponsea
Recommended by 2 •
Hidden gem246 247 248 2023 LLVM Dev Mtg - Mojo 🔥: A system programming language for heterogenous computing
LLVM
Recommended by 2 •
Recent pick249 250 251 Keynote. Professor Steven G. Johnson | JuliaCon 2019
The Julia Programming Language
Recommended by 2 •
Hidden gem252 "How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)
Strange Loop Conference
Recommended by 2 •
Hidden gem253 254 255 1 Problem, 16 Programming Languages (C++ vs Rust vs Haskell vs Python vs APL...)
code_report
Recommended by 2 •
Classic256 Function Composition in Programming Languages - Conor Hoekstra - CppNorth 2023
CppNorth
Recommended by 2 •
Hidden gem257 258 259 260 261 262 Kotlin 102 - Beyond the Basics • Hadi Hariri • GOTO 2018
GOTO Conferences
Recommended by 2 •
Hidden gem263 264 265 "Hazel: A Live Functional Programming Environment with Typed Holes" by Cyrus Omar
Strange Loop Conference
Recommended by 2 •
Hidden gem266 From Turbo Pascal to Delphi to C# to TypeScript, an interview with PL legend Anders Hejlsberg
Context Free
Recommended by 1 •
267 268 269 270 271 272 273 274 275 The Shape(less) of Type Class Derivation in Scala 3 - Miles Sabin
Scala Days Conferences
Recommended by 1 •
276 "Towards Language Support for Distributed Systems" by Heather Miller
Strange Loop Conference
Recommended by 2 •
Hidden gem277 278 279 280 Scott Lystig Fritchie - The wide world of almost-actors: comparing the Pony to BEAM languages
Code Sync
Recommended by 2 •
Classic281 How Designing Carbon C++ Interop Taught me About C++ Variadics & Bound Members - Chandler Carruth
CppNorth
Recommended by 2 •
Hidden gem282 283 284 Designing Dependently-Typed Programming Languages - Lecture 1 - Stephanie Weirich
Hadi Moshayedi
Recommended by 2 •
Hidden gem285 286 287 288 Scala Was an Experiment That Changed Programming - Martin Odersky | The Marco Show
IntelliJ IDEA, a JetBrains IDE
Recommended by 1 •
Recent pick289 290 291 292 293 Simon Peyton Jones on Haskell, Verse, Strong Type Systems and Tasteful Abstractions
Rock the JVM
Recommended by 1 •
294 295 296 297 298 299 300 301 Kotlin Language Features in 2.0 and Beyond - Michail Zarečenskij
Kotlin by JetBrains
Recommended by 1 •
302 Why we can't have nice things in Kotlin | Vsevolod Tolstopyatov
Kotlin by JetBrains
Recommended by 1 •
303 304 SIGGRAPH 2021 Significant New Researcher Award Talk by Jonathan Ragan-Kelley
Jonathan Ragan-Kelley
Recommended by 1 •
305 306 307 308 309 Functional Programmers Paris - Building a language, in Haskell, with an LLVM backend
Daniel Gazard
Recommended by 1 •
310 DConf 2016 Day 2 Keynote: Spelunking D Compiler Internals -- Walter Bright
The D Language Foundation
Recommended by 2 •
Hidden gem311 Martin Odersky: How To Abstract Over Context
summit - community learning experiences
Recommended by 1 •
312 313 314 315 316 317 micro.sphere.it #4 Scala: Countdown to Scala 3 by Martin Odersky
Sphereit by VirtusLab
Recommended by 1 •
318 319 Moving Towards Dialogue: Collaborating with your computer using typed holes! by Vaibhav Sagar
Confreaks
Recommended by 1 •
320 321 322 323 324 325 ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons
Malcolm Wallace
Recommended by 2 •
Classic326 327 328 Alternatives to C & C++ for Embedded Systems, Game Engines, & Other Manually Managed Memory Domains
Lantertronics
Recommended by 1 •
329 330 "Everything I Have Learned I Have Learned From Someone Else" by David Nolen (2013)
Strange Loop Conference
Recommended by 1 •
331 ML 2021 - Composing UNIX with Effect Handlers: A Case Study in Effect Handler Oriented Programming
ACM SIGPLAN
Recommended by 1 •
332 "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
Recommended by 2 •
333 334 335 336 337 338 339 340 341 342 343 344 Part 3 - ZIO[_, Error, _] & Variance - Getting Started with #ZIO in #Scala3
DevInsideYou
Recommended by 1 •
345 346 347 Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory
Institut Henri Poincaré
Recommended by 2 •
Hidden gem348 349 350 Into the Core Squeezing Haskell into nine Constructors - Simon Peyton Jones | ZuriHac 2022
OST – Ostschweizer Fachhochschule
Recommended by 1 •
351 352 353 José Valim, creator of Elixir: building language from curiosity, not trends | Evil Martians podcast
Evil Martians
Recommended by 1 •
354 355 "Rusty Runtimes: Building Languages In Rust" by Aditya Siram
Strange Loop Conference
Recommended by 2 •
Hidden gem356 The Unison Language and its Scala-based Runtime—Paul Chiusano
Scala World
Recommended by 2 •
Hidden gem357 358 359 360 Set Theoretic Types in Elixir with José Valim | S14E07 Elixir Wizards Podcast by SmartLogic
SmartLogic
Recommended by 1 •
361 362 The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006
Antithesis
Recommended by 1 •
363 364 365 366 367 368 369 370 "Monad I Love You Now Get Out Of My Type System" by Gjeta Gjyshinca (Strange Loop 2022)
Strange Loop Conference
Recommended by 1 •
371 372 373 374 375 The functional journey of C# - Mads Torgersen - NDC Copenhagen 2022
NDC Conferences
Recommended by 1 •
376 377 378 José Valim on Elixir, AI Tools, Gradual Type Systems, and Being a Prolific Open-Source Contributor
Rock the JVM
Recommended by 1 •
379 380 381 382 Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022
CppNow
Recommended by 1 •
383 Residential Programming without Mutable State - Thomas Getgood
Clojure/north
Recommended by 2 •
Hidden gem384 385 386 RustBelt: Logical Foundations for the Future of Safe Systems Programming
Talks with Harley
Recommended by 1 •
387 388 389 Compile time reference counting & Lifetime Analysis in Lobster
Wouter van Oortmerssen
Recommended by 1 •
390 391 392 393 394 395 396 397 398 399 Mountain West Ruby 2012 Capability vs. Suitability by Gary Bernhardt
Confreaks
Recommended by 2 •
Classic400 401 "Hedy: A Gradual programming language" by Felienne Hermans (Strange Loop 2022)
Strange Loop Conference
Recommended by 2 •
Hidden gem402 403 404 Parallelism, Concurrency, and Asynchrony in Perl 6 / Jonathan Worthington
yapcasia
Recommended by 2 •
Hidden gem405 406 Session Types for Me and You and Everyone We Know! - Zeeshan Lakhani
Maitria Alex Harms
Recommended by 2 •
Classic407 TypeScript, C# and Turbo Pascal with Anders Hejlsberg
The Pragmatic Engineer
Recommended by 1 •
Recent pick408 409 410 411 Martin Odersky： Where Are We With Scala's Capabilities? [Scala Days 2025 Keynote]
Scala Days Conferences
Recommended by 1 •
412 413 414 415 416 clojureD 2018: "Implementing Clojure on a new VM - A Walkthrough" by Juan Facorro
:clojureD
Recommended by 1 •
417 418 419 420 421 422 423 424 425 426 [Tutorial Fest @ POPL'23] Using a Proof Assistant to Teach PL Theory, Without the Overhead
ACM SIGPLAN
Recommended by 1 •
427 428 429 430 431 432 Iterators and Ranges: Comparing C++ to D to Rust - Barry Revzin - [CppNow 2021]
CppNow
Recommended by 1 •
433 434 435 436 Louis Pilfold on Building Gleam - Static Types on the BEAM
BEAM There, Done That
Recommended by 1 •
Recent pick437 Peter LeFanu Lumsdaine, What are we thinking when we present a type theory?
HoTTEST
Recommended by 1 •
438 439 440 441 442 443 444 445 446 447 Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021
Code Sync
Recommended by 2 •
Hidden gem448 449 450 Consistently Inconsistent - Conor Hoekstra @code_report - Meeting C++ 2019 Secret Lightning Talks
Meeting Cpp
Recommended by 1 •
451 Haoyi Li - The Making of the com.lihaoyi Ecosystem | Scala Days 2023 Seattle
Scala Days Conferences
Recommended by 1 •
452 453 454 455 456 457 458 459 Scale By The Bay 2018: Martin Odersky, Opening Keynote: New Functional Constructs in Scala 3
FunctionalTV
Recommended by 1 •
460 461 462 463 464 465 KotlinConf 2018 - Kotlin and TornadoFX: The Next Frontier in Modern (Meta)Programming by Amanda
JetBrains
Recommended by 1 •
466 467 468 469 470 471 Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
Institute for Advanced Study
Recommended by 1 •
472 473 474 475 An intro to Scheme, Common Lisp, Emacs Lisp, Clojure and Racket for the Summer of Sexps!
Exercism
Recommended by 1 •
476 Some History of Functional Programming Languages - David Turner (Lambda Days 2017)
Erlang Solutions
Recommended by 1 •
477 478 479 480 Jeremy G. Siek - Crash Course on Notation in Programming Language Theory (Part 1) - λC 2018
LambdaConf
Recommended by 1 •
481 482 483 The Evils of Non-native Programming - Ep 7 - Jeff and Casey Show 2013
jeffandcaseyshow
Recommended by 1 •
484 485 486 487 488 [Online Meetup] Problem Solving Using the TypeScript Compiler - Gal Schlezinger
Wix Engineering Tech Talks
Recommended by 1 •
489 June 2025 Community Meeting: Mojo in bioinformatics and accelerating particle physics
Modular
Recommended by 1 •
490 491 492 493 494 495 Structures de contrôle : de « goto » aux effets algébriques (14) - Xavier Leroy (2023-2024)
Mathématiques et informatique - Collège de France
Recommended by 2 •
Hidden gem496 497 The programming language after Kotlin – with the creator of Kotlin
The Pragmatic Engineer
Recommended by 1 •
498 A Racket Perspective on Research, Education, and Production - Matthew Flatt
ClojureTV
Recommended by 1 •
499 C++ as Assembly 2.0 - Hello Nim - Viktor Kirilov - code::dive 2019
code::dive conference
Recommended by 1 •
500 501 502 503 504 505 506 507 508 509 510 511 Opening Ceremony & Rob Rix - “Languages all the way down” @ ZuriHac 2020
Zürich Friends of Haskell
Recommended by 1 •
512 Herb Sutter - Bridge to NewThingia: How to answer "why will yours succeed, when others have failed?"
Dev Around The Sun
Recommended by 1 •
513 514 515 516 517 518 519 520 521 Keynote: Making Capabilities Safe and Convenient - Martin Odersky | Lambda Days 2025
Code Sync
Recommended by 1 •
522 523 524 525 526 527 528 529 530 531 532 CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
European Lisp Symposium
Recommended by 2 •
Hidden gem533 534 535 536 537 538 Compose Conference - Modularity and Abstraction in Functional Programming
NYC Haskell User's Group
Recommended by 1 •
539 540 Scala metaprogramming, reflection beyond mirrors by Kalin Rudnicki
Func Prog Sweden
Recommended by 1 •
541 542 #54 - The Goal of Science is to Communicate Ideas! - Philip Wadler
Type Theory Forall
Recommended by 1 •
543 544 How to write code that works with Clojure and ClojureScript using reader conditionals
Volodymyr Kozieiev – Clojure(Script) tutorials
Recommended by 1 •
545 546 547 From Exceptions to Rich Errors: Rethinking Error Handling in Kotlin I Michail Zarečenskij
NLJUG
Recommended by 1 •
548 549 550 551 552 553 C is So Back: Unbreaking the Charter - Björkus Dorkus - NDC TechTown 2023
NDC Conferences
Recommended by 1 •
554 555 556 557 Enums are MISUNDERSTOOD (not terrible): Josh Goldberg, typescript-eslint maintainer
Michigan TypeScript
Recommended by 1 •
558 559 KotlinConf 2019: Unlock Power of Kotlin DSL for Kubernetes by Fedor Korotkov
JetBrains
Recommended by 1 •
560 MicroHs, a tiny Haskell Compiler – Lennart Augustsson (Language Pioneer & Compiler Expert)
OST – Ostschweizer Fachhochschule
Recommended by 1 •
561 562 563 564 Functional Scala - Adventures in Type-safe Error Handling by Jacob Wang
Scala in the City
Recommended by 1 •
565 566 567 568 Arne Martin Aurlien: Implement an Esoteric Programming Language for Fun | JSConf EU 2014
JSConf
Recommended by 2 •
569 Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen
ClojureTV
Recommended by 2 •
Hidden gem570 Simon Peyton Jones - A History of Haskell: being lazy with class
Microsoft Research
Recommended by 2 •
Hidden gem571 Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17
Dyalog User Meetings
Recommended by 2 •
Hidden gem572 ICFP 2014: Safe Zero-Cost Coercions for Haskell - Richard A. Eisenberg
Malcolm Wallace
Recommended by 2 •
Hidden gem573 574 575 JetBrains Connect, Ep. 4 – "Why Kotlin?" with Bruce Eckel and Svetlana Isakova
JetBrains
Recommended by 1 •
576 577 578 579 580 581 Alexander Thiemann - SuperRecord: Practical Anonymous Records for Haskell
Curry On!
Recommended by 1 •
582 583 584 585 586 587 588 "Understanding TypeScript's Structural Type System" by Drew Colthorp
Strange Loop Conference
Recommended by 1 •
589 590 591 592 Compose :: Melbourne 2017 - George Wilson - Type Class: The Ultimate Ad Hoc
Compose Conference
Recommended by 1 •
593 594 595 596 597 @rae: How to program in types with length-indexed vectors: Part 1
Tweag by Modus Create
Recommended by 1 •
598 599 600 601 602 603 604 605 606 607 608 What were they thinking? Language design choices that seem wrong, until they don't. - Bill Wagner
NDC Conferences
Recommended by 1 •
609 Racket: A Programming-Language Programming Language • Robby Findler • YOW! 2015
GOTO Conferences
Recommended by 1 •
610 611 612 613 const, final, dynamic, var... when and why? | Dart & Flutter tutorial
David Serrano
Recommended by 1 •
614 Unison, from a Scala perspective by Olivier Mélois | Scalar Conference 2025
SoftwareMill
Recommended by 1 •
615 616 617 618 Reflection: Compile-Time Introspection of C++ - Andrew Sutton [ ACCU 2021 ]
ACCU Conference
Recommended by 1 •
619 620 621 622 623 Toward safe, flexible, and efficient software in Common Lisp - European Lisp Symposium 2025
Almighty Lisp
Recommended by 1 •
624 "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant
Strange Loop Conference
Recommended by 1 •
625 Dave Abrahams — What I learned about language and library design by working on Swift
C++ Russia — Конференция по разработке на Cpp
Recommended by 1 •
626 627 Repurposing Scala's Pattern Matching for Deeply Embedded | Functional World #15
Scalac
Recommended by 1 •
628 629 630 Keynote. Professor Heather Miller | JuliaCon 2019
The Julia Programming Language
Recommended by 2 •
Hidden gem631 Another Taste of Verse | Simon Peyton Jones | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 1 •
Recent pick632 633 "Evidence-Oriented Programming" by Andreas Stefik
Strange Loop Conference
Recommended by 2 •
Hidden gem634 Keynote: Over a Century of Programming - Mike Williams, Joe Armstrong, Robert Virding
Erlang Solutions
Recommended by 2 •
Hidden gem635 (fifth RacketCon): Alexis King — Generic Collections: One Interface to Rule Them All
Racket
Recommended by 2 •
Hidden gem636 Lambda World 2019 - Language-Oriented Programming with Racket - Matthias Felleisen
Lambda World
Recommended by 1 •
637 638 639 640 641 Lightning Talk: What's new in Gleam 1.11 - Giacomo Cavalieri | Lambda Days 2025
Code Sync
Recommended by 1 •
642 643 Humpday Q&A/AMA :: @MatanLurey and @kevmoo on Dart! :: 14th Sept 2022 :: #HumpdayQandA #Flutter
Flutter Community
Recommended by 2 •
Hidden gem644 645 What if everything was "Async", but nothing needed "Await"? | The Par Programming Language
Michal Štrba
Recommended by 1 •
646 647 The impact of differentiable programming: how ∂P is enabling new science in Julia
ACM SIGPLAN
Recommended by 1 •
648 Lang Team Design meeting 2020.01.13 -- dyn Trait and coherence
Rust Programming Language
Recommended by 1 •
649 650 651 652 Liam Randall- Shmoocon 2013: Bro IDS and the Bro Network Programming Language
Liam Randall
Recommended by 2 •
Hidden gem653 654 655 656 657 658 Designing The Lustre Web Framework (with Hayleigh Thompson)
Developer Voices
Recommended by 2 •
Hidden gem659 660 William Bowman: First class Prompt Engineering with llm lang! (This is a bad idea.)
Racket
Recommended by 2 •
Hidden gem661 662 663 664 665 666 Keynote: Rethinking our Adoption Strategy - Evan Czaplicki | Lambda Days 2025
Code Sync
Recommended by 1 •
667 668 History Is Written by the Winners: How C Programming Language Was Created And What Was Forgotten...
C/C++ Dublin User Group
Recommended by 1 •
669 Nim - First natively compiled language w/ hot code-reloading at runtime - Viktor Kirilov [ACCU 2019]
ACCU Conference
Recommended by 1 •
670 671 672 673 674 Bridging the Gap Between Languages (with Martin Johansen)
Developer Voices
Recommended by 2 •
Hidden gem675 How should a programming language handle exceptions? - Barbara Liskov
Dev Tools Made Simple
Recommended by 2 •
Hidden gem676 677 678 679 680 681 682 683 Gleam’s Interoperability with Erlang and Elixir - Raúl Chouza | Erlang Solutions Webinar
Erlang Solutions
Recommended by 1 •
684 685 Stuck macros: deterministically interleaving macro-expansion and typechecking
Compose Conference
Recommended by 1 •
686 687 R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
ACM SIGPLAN
Recommended by 1 •
688 689 690 691 Why the software community banned this coding construct
Dev Tools Made Simple
Recommended by 2 •
Hidden gem692 693 HGGW #18: Using Glamorous Toolkit for Scientific Notation - Konrad Hinsen & Tudor Girba
Glamorous Toolkit
Recommended by 2 •
Hidden gem694 CppCon 2018: Herb Sutter “Thoughts on a more powerful and simpler C++ (5 of N)”
CppCon
Recommended by 1 •
695 CppCon 2017: Michael Price “Function default arguments: Slingshot or Shotgun?”
CppCon
Recommended by 1 •
696 697 DConf 2013 Day 1 Talk 2: Copy and Move Semantics in D by Ali Cehreli
Andrei Alexandrescu
Recommended by 1 •
698 699 700 Reboot Develop 2017 - Jonathan Blow, Thekla Inc. / Making Game Programming Less Terrible
Reboot Develop
Recommended by 1 •
701 702 Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)
Developer Voices
Recommended by 1 •
703 Yesterday's Computer of Tomorrow: The Xerox Alto │Smalltalk-76 Demo
Computer History Museum
Recommended by 1 •
704 705 706 707 708 709 710 Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
Recommended by 1 •
711 712 Peter Munch-Ellingsen: Why I wrote my own keyboard firmware in Nim (NimConf 2021)
Nim Programming Language
Recommended by 1 •
713 714 715 716 717 718 719 720 721 722 "Probabilistic scripts for automating common-sense tasks" by Alexander Lew
Strange Loop Conference
Top upload •
723 724 725 The next big Thing - Andrei Alexandrescu - Meeting C++ 2018 Opening Keynote
Meeting Cpp
Recommended by 1 •
726 727 728 729 RustConf 2019 - The Symbiotic Relationship of C++ and Rust by Isabella Muerte
Rust Programming Language
Top upload •
730 The Past, Present and Future of Programming Languages - Kevlin Henney - NDC TechTown 2025
NDC Conferences
Recommended by 1 •
731 732 733 734 Procedural Programming: It’s Back? It Never Went Away - Kevlin Henney [ACCU 2018]
ACCU Conference
Top upload •
735 Keynote: Safety, Security, Safety and C / C++ - C++ Evolution - Herb Sutter - ACCU 2024
ACCU Conference
Top upload •
736 737 Keynote: Multithreaded Python without the GIL - presented by Sam Gross
EuroPython Conference
Top upload •
738 739 Bjarne Stroustrup - Keynote Meeting C++ 2016: What C++ is and what it will become
Meeting Cpp
Top upload •
740 The Jai Programming Language and What Can We Learn From It - Luca Sas [ACCU 2019]
ACCU Conference
Top upload •
741 742 743 744 KEYNOTE: De-fragmenting C++: Making exceptions more affordable and usable - Herb Sutter [ACCU 2019]
ACCU Conference
Top upload •
745 Software Abstraction in the Age of AI-Generated Code - Andrei Alexandrescu - ACCU 2026
ACCU Conference
Top upload •
746 747 748 749 750 751 `typing.Protocol`: type hints as Guido intended - presented by Luciano Ramalho
EuroPython Conference
Top upload •
752 753 754 What About the Natural Numbers? by José Manuel Calderón Trilla [PWLConf 2019]
PapersWeLove
Top upload •
755 756
