Programming Language Design Videos Hacker News Recommends — Page 3

talk#2353

Four Languages from Forty Years Ago - Scott Wlaschin

NDC Conferences

“Check out this fantastic talk by Scott Wlaschin to get a sampling of truly different language paradigms”

2 HN recommenders · 2019–2022

tutorial#2398

A Tour of Prolog

The Power of Prolog

“check out this video introduction by Markus Triska about what makes Prolog unique”

2 HN recommenders · 2022–2024

demo#2447

Living Computation: Robust-first programming in ULAM

Dave Ackley

“I think the best place to start is this demo of a network switch made out of cells”

2 HN recommenders · 2015–2025

talk#2472

Chuck Moore's Fireside Chat 2011

GreenArraysInc

“I was blown away by this 2011 video of Charles Moore talking about his CPU design and running code”

2 HN recommenders · 2013–2017

demo#2482

Self: The Movie;

Jecel Assumpção Jr

“This is a good demo of what could be done in the Self environment”

2 HN recommenders · 2013–2024

talk#2512

2023 LLVM Dev Mtg - Mojo 🔥: A system programming language for heterogenous computing

LLVM

“this video totally changed my view”

2 HN recommenders · 2023–2026

lecture#2515

Computer Science - Brian Kernighan on successful language design

University of Nottingham

“This is an excellent talk on designing successful programming language by Brian Kernighan”

3 HN recommenders · 2015–2022

talk#2519

Why Static Typing Came Back • Richard Feldman • GOTO 2022

GOTO Conferences

“It gives the major reasons why one would prefer one over the other”

2 HN recommenders · 2023–2024

talk#2561

Philip Wadler - Propositions as Types (Lambda Days 2016)

Erlang Solutions

“This is a very good lecture series[4].”

2 HN recommenders · 2016–2021

talk#2562

Dynamic Languages Wizards Series - Panel on Language Design

Eduardo Cavazos

“I'd also highly recommend that anyone interested in this kind of thing listen to all three of the Dynamic Languages Wizards Series panels”

1 HN recommenders · 2014–2025

talk#2574

"How to Think about Parallel Programming: Not!" - Guy L. Steele Jr. (Strange Loop 2010)

Strange Loop Conference

“It's a fantastic talk in its own right”

2 HN recommenders · 2022–2024

talk#2599

Edward Kmett - Type Classes vs. the World

Boston Haskell

“Ed Kmett's fantastic "Typeclasses v. the World" talk covers”

2 HN recommenders · 2015–2024

talk#2624

Keynote. Professor Steven G. Johnson | JuliaCon 2019

The Julia Programming Language

“really interesting, informative, entertaining and well delivered.”

2 HN recommenders · 2019–2022

interview#2701

Guido van Rossum: Python and the Future of Programming | Lex Fridman Podcast #341

Lex Fridman

“I recommend this interview to get a slightly better glimpse of the guy”

2 HN recommenders · 2022–2025

talk#2738

"Pixie - A Lightweight Lisp with 'Magical' Powers" by Timothy Baldridge

Strange Loop Conference

“There's a talk by the author online worth it”

2 HN recommenders · 2016–2017

talk#2785

Psp collections: views and more by Paul Phillips

AI Council

“Then I watched this Paul Phillips talk, which convinced me that the problems were deep, not superficial”

2 HN recommenders · 2014–2018

talk#2792

"Eve" by Chris Granger

Strange Loop Conference

2 HN recommenders · 2016–2023

demo#2836

Imba is Underrated: Building a counter in 49 seconds

We Deserve Less

“It demonstrates how CSS styling, code, and HTML works together in this language”

2 HN recommenders · 2021–2023

interview#2839

The Origins of APL - 1974

Catherine Lathwell

“a video from 1974, where Iverson, Falkoff, and others discuss the origins of APL. It was a pleasure to watch.”

2 HN recommenders · 2012–2026

talk#2901

"Code is the Easy Part" by Evan Czaplicki

elm-conf

“great talk by Evan Czaplicki and his approach to Elm development”

2 HN recommenders · 2016–2020

talk#2960

"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference

“for a motivating talk and explanation on what program synthesis is try this one”

2 HN recommenders · 2018–2024

talk#2972

Jonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - Updated

LambdaConf

“he has said that he doesn't like Rust because he feels that satisfying the borrow-checker slows down iteration time”

2 HN recommenders · 2025–2026

talk#2986

Parallelism, Concurrency, and Asynchrony in Perl 6 / Jonathan Worthington

yapcasia

“I recommend a look at a couple of videos to get started too”

2 HN recommenders · 2015–2016

talk#3041

01 The History of Standard ML: Ideas, Principles, Culture

ICFP Video

“You can hear a bunch more about the full history of development of SML and interaction with OCaml here”

2 HN recommenders · 2016–2022

talk#3047

"Cursorless: A spoken language for editing code" by Pokey Rule (Strange Loop 2023)

Strange Loop Conference

“If you want a general overview of cursorless, along with seeing what it looks like in practice, the talk from Strange Loop this year was great”

2 HN recommenders · 2023–2026

talk#3048

Mountain West Ruby 2012 Capability vs. Suitability by Gary Bernhardt

Confreaks

“Very nearly exactly what you're describing”

2 HN recommenders · 2015–2023

talk#3053

Going Native 2012 Keynote Stroustrup

savage309

“Very good talk about the ideas behind C++ 11”

2 HN recommenders · 2012–2025

talk#3055

Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023

Code Sync

“the Verse project from Unreal is extremely interesting imo, and has much wider scope/implications.”

3 HN recommenders · 2023–2024

talk#3106

The Forgotten Art of Structured Programming - Kevlin Henney [C++ on Sea 2019]

cpponsea

2 HN recommenders · 2021–2022

talk#3116

What's Bad About Julia | Jeff Bezanson | JuliaCon 2019

The Julia Programming Language

“A good opportunity to point out this Juliacon 2019 video: What's Bad About Julia ( ) TL;DR: Julia is not that bad.”

2 HN recommenders · 2019–2026

talk#3145

"A Little Taste of Dependent Types" by David Christiansen

Strange Loop Conference

“Here's an intro to dependent types from David Christiansen”

2 HN recommenders · 2018–2023

talk#3244

2017 LLVM Developers’ Meeting: “Implementing Swift Generics ”

LLVM

“there's a very nice talk on how Swift's generics compile.”

2 HN recommenders · 2017–2026

talk#3290

"Hedy: A Gradual programming language" by Felienne Hermans (Strange Loop 2022)

Strange Loop Conference

“One of the themes they talk about is the difference between "easy to learn" and "easy to teach" which I found insightful.”

2 HN recommenders · 2022–2024

talk#3294

"Datafun: a functional query language" by Michael Arntzenius

Strange Loop Conference

“Also be sure to watch Datafun author Michael Arntzenius's Strangeloop talk.”

2 HN recommenders · 2018–2025

interview#3321

Simon Peyton Jones - Haskell is useless

bunidanoable

“I'm hoping that Rust will fit in the "useful and safe" sweet spot in Simon Peyton Jones's diagram here”

2 HN recommenders · 2012–2024

talk#3342

Geo Carncross: How to program computers (kos)

Justin Cormack

“For those who want to see it in action, there's actually a talk about kOS on YouTube”

2 HN recommenders · 2015–2020

talk#3358

Perl 6 for Mere Mortals

Curtis “Ovid” Poe

“Here's a talk I gave at FOSDEM explaining how day-to-day Perl 6 is fairly straightforward and easier than people think”

2 HN recommenders · 2015

talk#3471

Keynote: The Last Hope for Scala's Infinity War - John A. De Goes

Scalapeño

“John De Goes describes pain points quite accurately in Scalapeno keynote”

2 HN recommenders · 2018–2021

talk#3494

Google I/O 2011: Java Puzzlers - Scraping the Bottom of the Barrel

Google for Developers

“Java Puzzlers by Joshua Bloch and Jeremy Manson are pretty entertaining.”

2 HN recommenders · 2015–2018

commentary#3513

Jonathan Blow on scripting languages

Jeru Sanders

“Jonathan Blow has a great talk on the redundancy of scripting languages in game engines.”

1 HN recommenders · 2020–2022

demo#3647

Data-Oriented Demo: SOA, composition

Jonathan Blow

“He gives a fantastic walkthrough on his approach to structure packing in the data-oriented demo[1].”

1 HN recommenders · 2015–2020

demo#3754

TypeScript types can run DOOM

Michigan TypeScript

“I must link this wonderful video about TypeScript types running... DOOM.”

1 HN recommenders · 2025

talk#3758

Ada, Past Present and Future

AdaCore

1 HN recommenders · 2018–2024

talk#3767

Carbon Language Successor Strategy: From C++ Interop to Memory Safety - Chandler Carruth - CppNow 23

CppNow

“Talks like better reflect more recent plans around this topic.”

1 HN recommenders · 2023–2024

talk#3785

NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)

AdaCore

“The HN community may be interested in this 1 hour presentation [1] on Nvidia's adoption of Ada”

1 HN recommenders · 2022–2026

talk#3833

[#36] Zig Roadmap 2024 - Andrew Kelley

Zig SHOWTIME

“Check out the Q&A in this video to hear it from the man himself, it's the first question”

1 HN recommenders · 2024–2025

talk#3899

Breaking Down Programming Paradigms: APL's Surprising Learning Curve // Aaron Hsu // Dyalog '17

Dyalog User Meetings

“Lots of good commentary not in the slides.”

1 HN recommenders · 2018–2019

talk#3957

(ninth RacketCon): Andrew Blinn – Fructure: A Structured Editing Engine in Racket

Racket

“Andrew Blinn gave a neat talk[1] pertaining to structured editing at Racketcon”

2 HN recommenders · 2019–2021