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
Videos shared and discussed on Hacker News, with original community evidence and topic labels.
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