53:22y combinatorTalk
Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
17 HN recommenders
Search results
- Category: Mathematics & Theoretical CS
Results for “functional programming”
30 videos53:22
7:48
1:07:10
46:46category theoryLecture
Category Theory 1.1: Motivation and Philosophy
Bartosz Milewski
11 HN recommenders
42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
1:06:00immutable data structuresTalk
CppCon 2017: Juan Pedro Bolivar Puente “Postmodern immutable data structures”
CppCon
5 HN recommenders
1:02:15lambda calculusLecture
Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
5 HN recommenders
9:43
40:50
3:26:34lambda calculusTutorial
David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
PyCon 2019
4 HN recommenders
31:11immutable data in reactTalk
React.js Conf 2015 - Immutable Data and React
Meta Developers
5 HN recommenders
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
11:32
1:01:47parallel algorithmsTalk
Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
4 HN recommenders
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
43:23dependent typesTalk
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
1:06:45concurrency modelsTalk
Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
3 HN recommenders
40:39
1:36:54
56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2 HN recommenders
36:14program synthesisTalk
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
3 HN recommenders
38:36dependent typesTalk
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
2 HN recommenders
1:14:51lisp in quantum computingTalk
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
3 HN recommenders
43:31smt solvers and program verificationTalk
Analyzing Programs with Z3
Compose Conference
2 HN recommenders
Sources and selection
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes