Functional Programming Videos Hacker News Recommends — Page 4

interview#2640

Crash Bandicoot Co-Creator Andy Gavin: Extended Interview | Ars Technica

Ars Technica

“I recently watched and loved this extended interview with him about making Crash Bandicoot”

4 HN recommenders · 2020–2024

talk#2734

Stuart Sierra - Components Just Enough Structure

ClojureTV

“it is a tiny clojure framework but the ideas should be thought provoking”

2 HN recommenders · 2014–2015

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

demo#2756

Lisp Editing in the 80s - Interlisp SEdit

thoughtupquick

“Dan Ingalls (one of the original authors of Smalltalk) in a 2017 demo of Smalltalk 76”

2 HN recommenders · 2019–2021

talk#2761

Kilim: Fast, lightweight, cheap message passing in Java.

Google TechTalks

“Kilim's author did a nice Google Talk”

2 HN recommenders · 2009–2012

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#2822

Physics in Clojure - Colin Smith

ClojureTV

“The Strange Loop talk [3] is a good showcase of the power and simplicity of these kind of systems.”

2 HN recommenders · 2019–2023

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#2906

Elm Europe 2017 - Richard Feldman - Scaling Elm Apps

Elm Europe

“Just watch rfeldman's talks about how to structure large Elm projects”

2 HN recommenders · 2019–2022

talk#2928

"Make the Back-End Team Jealous: Elm in Production" by Richard Feldman

Strange Loop Conference

“Watch this conference to get a sense of what Elm does.”

2 HN recommenders · 2015–2017

talk#2969

The Maximal Graph - Wilker Silva

ClojureTV

“Just watch the last part of Wilker Silva's The Maximal Graph talk to see the potential”

2 HN recommenders · 2019–2020

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#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#3063

SICP: o fim de uma era

Computação Raiz

“we can't mention SICP without referencing this (relatively recent) video”

2 HN recommenders · 2023–2025

talk#3118

The Do's and Don'ts of Error Handling • Joe Armstrong • GOTO 2018

GOTO Conferences

“it's well worth listening to this talk, which is conceptual and not code-centric”

2 HN recommenders · 2018–2022

talk#3139

"Agility & Robustness: Clojure spec" by Stuart Halloway

Strange Loop Conference

“He offers a chart that shows the strengths and weaknesses of strict typing versus unit tests versus the run-time checks offered by Spec. It's worth a look.”

2 HN recommenders · 2016–2022

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

tutorial#3196

Marco Baringer's SLIME Tutorial Video

손주일 (Cecil)

“This is what the lisp repl is like. There's not much else like it”

2 HN recommenders · 2019–2024

talk#3232

Web Development in Emacs, Common Lisp and Clojurescript - Emacs SG

Engineers.SG

“This video also has great examples of other crazy interactive development workflows and is worth watching in its entirety”

2 HN recommenders · 2018–2022

talk#3239

"Systems that run forever self-heal and scale" by Joe Armstrong (2013)

Strange Loop Conference

“is a great talk too.”

2 HN recommenders · 2023

talk#3279

Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing

Arthur Gleckler

“About the application of Lisp on quantum hardware.”

3 HN recommenders · 2017–2019

talk#3283

Introducing Nx - José Valim | Lambda Days 2021

Code Sync

“I recommend you watching José’s talk introducing Elixir Nx”

2 HN recommenders · 2021

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#3353

ElixirConf 2021 - Isaac Yonemoto - Zig (heart) Elixir

ElixirConf

“The creator of Zigler has a talk from ElixirConf 2021 on how he made Zig NIFs behave nicely”

2 HN recommenders · 2021–2025

talk#3428

Analyzing Programs with Z3

Compose Conference

“the best one I've found as an entry point was the approach they use in Cryptol”

2 HN recommenders · 2016–2021

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

lecture#3653

Lecture 7A: Metacircular Evaluator, Part 1

MIT OpenCourseWare

“But mostly it just makes me happy - it's infectious and weird.”

1 HN recommenders · 2020–2023

lecture#3662

Lecture 1B | MIT 6.001 Structure and Interpretation, 1986

MIT OpenCourseWare

“I don't think it's possible to do any better than this”

1 HN recommenders · 2015–2017

talk#3707

Succinct Data Structures

Edward Kmett

“one of his many talks that left me with an incredibly lasting impression”

1 HN recommenders · 2017–2025

talk#3777

Friday evening lightning talks

Next Day Video

1 HN recommenders · 2013–2026

talk#3832

CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization

European Lisp Symposium

“no wonder CANDO is impressive, the scope and fields involved are pretty rare”

2 HN recommenders · 2016–2019

demo#3859

Live ClojureScript Game Editor

ibdknox

“These are couple of good examples”

1 HN recommenders · 2012–2016

talk#3866

Lucas Cavalcanti & Edward Wible - Exploring four hidden superpowers of Datomic

ClojureTV

“It's worthwhile watching Nubank's talk on how they manage these things with Datomic on the backend”

1 HN recommenders · 2015–2024

talk#3870

Glenn Vanderburg - Cló: The Algorithms of TeX in Clojure

ClojureTV

“The video goes into this better than the InfoQ article.”

1 HN recommenders · 2014–2017

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

talk#4053

Category Theory, The essence of interface-based design - Erik Meijer

FooCafe

“Erik Meijer Explains it well”

1 HN recommenders · 2016–2022

talk#4139

SymbolicsTalk28June2012

Mike Lambert

“If you only have 15 minutes, he gives another demo here”

1 HN recommenders · 2021–2024

talk#4151

Andy Keep - Writing a Nanopass Compiler

ClojureTV

“Andrew Keep has a great talk on this approach [2].”

1 HN recommenders · 2016–2026

explainer#4190

What is PLUS times PLUS?

2swap

“I also liked the one on lambda calculus.”

1 HN recommenders · 2025–2026

talk#4196

Escape from the Heap: Low-Level Programming in Common Lisp

Arthur Gleckler

“Ahmon Dancy talked about his experience doing DB programming for Allegro”

1 HN recommenders · 2016–2020

talk#4216

Pacific Northwest Scala 2013 We're Doing It All Wrong by Paul Phillips

Confreaks

“Anyone seriously considering Scala should listen to his talk”

2 HN recommenders · 2013–2020

talk#4278

Type-Driven Development in Idris — Edwin Brady

Scala World

“Something like that is likely the future of programming!”

1 HN recommenders · 2019–2024

talk#4282

Types are like the Weather, Type Systems are like Weathermen - Matthias Felleisen

ClojureTV

“Matthias Felleisen, one of the developers of Racket, recently gave a talk about the motivation behind typed Racket”

1 HN recommenders · 2016–2021

talk#4283

APL at Julia's Speed | Shashi Gowda | JuliaCon 2016

The Julia Programming Language

“I thought it was a pretty neat way to run APL.”

1 HN recommenders · 2016–2019

talk#4326

Parsing with Derivatives

Stanford

“he also gave a great talk on parsing with derivatives”

1 HN recommenders · 2016–2023

talk#4334

The Remote Agent Experiment: Debugging Code from 60 Million Miles Away

Google TechTalks

“Ron Garret talks about DS1, a project in the 90s where a small team used Lisp”

1 HN recommenders · 2012–2024