Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
Confreaks
Recommended by 18 •
Classic
Play allComputation and complexity
399 videos • 310 hr 44 min
Part of Computer science. Ordered by how many people recommended each video and for how long; 88 are classics.
1 2 D/A and A/D | Digital Show and Tell (Monty Montgomery @ xiph.org)
FL Studio
Recommended by 15 •
Classic3 4 5 6 7 8 9 Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
MIT OpenCourseWare
Recommended by 11 •
Classic10 11 12 Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
Fullstack Academy
Recommended by 9 •
Classic13 14 15 16 17 18 On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019]
PapersWeLove
Recommended by 8 •
Classic19 Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
Recommended by 8 •
Hidden gem20 21 "We Really Don't Know How to Compute!" - Gerald Sussman (2011)
Strange Loop Conference
Recommended by 7 •
Classic22 23 24 Eigenvectors and eigenvalues | Chapter 14, Essence of linear algebra
3Blue1Brown
Recommended by 6 •
Classic25 26 27 The more general uncertainty principle, regarding Fourier transforms
3Blue1Brown
Recommended by 7 •
Classic28 Joscha Bach: Artificial Consciousness and the Nature of Reality | Lex Fridman Podcast #101
Lex Fridman
Recommended by 6 •
29 30 Why do prime numbers make these spirals? | Dirichlet’s theorem and pi approximations
3Blue1Brown
Recommended by 7 •
Classic31 32 33 34 35 36 Pythagoras' theorem (a) | Math History | NJ Wildberger
Insights into Mathematics
Recommended by 6 •
Classic37 38 39 A Quick Look at Impredicativity (Simon Peyton Jones)
Chalmers Functional Programming Seminar Series
Recommended by 4 •
Hidden gem40 41 42 43 44 45 46 47 48 Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
MIT OpenCourseWare
Recommended by 6 •
Classic49 50 Why Greatness Cannot Be Planned — Kenneth Stanley
Machine Learning Street Talk
Recommended by 4 •
Classic51 Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
Recommended by 4 •
Hidden gem52 53 "Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
Recommended by 4 •
Classic54 Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
Erlang Solutions
Recommended by 4 •
Classic55 How our voting system (and IRV) betrays your favourite candidate
The Center for Election Science
Recommended by 5 •
Classic56 Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
Recommended by 4 •
Classic57 58 How Quantum Computers Break Encryption | Shor's Algorithm Explained
minutephysics
Recommended by 5 •
Classic59 60 61 62 63 64 65 66 67 68 69 70 71 Entanglement and Complexity: Gravity and Quantum Mechanics
Stanford Institute for Theoretical Physics
Recommended by 4 •
Classic72 Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
Recommended by 4 •
73 74 Stanford Seminar - Concatenative Programming: From Ivory to Metal
Stanford Online
Recommended by 3 •
Hidden gem75 76 Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem77 78 79 80 Why do competitors open their stores next to one another? - Jac de Haan
TED-Ed
Recommended by 3 •
Classic81 Computer Scientist Explains One Concept in 5 Levels of Difficulty | WIRED
WIRED
Recommended by 3 •
Classic82 83 84 Ali Rahimi's talk at NIPS(NIPS 2017 Test-of-time award presentation)
ObservantVids
Recommended by 3 •
Classic85 86 87 88 89 Alejandro Serrano Mena on Why Functors and Applicatives Compose but Monads Don't
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem90 91 Consciousness in Artificial Intelligence | John Searle | Talks at Google
Talks at Google
Recommended by 3 •
92 93 Keynote presentation by Hal Abelson and Gerald Sussman at the fourteenth RacketCon
Racket
Recommended by 2 •
Hidden gem94 Quantum Computing Expert Explains One Concept in 5 Levels of Difficulty | WIRED
WIRED
Recommended by 3 •
95 Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
Lex Fridman
Recommended by 3 •
96 97 98 99 100 101 102 103 104 105 Alejandro Serrano: Category Theory Through Functional Programming (part 1/3) - λC 2017
LambdaConf
Recommended by 2 •
Hidden gem106 107 108 109 110 111 Compose Conference - Pi-Forall: How to use and implement a dependently-typed language
NYC Haskell User's Group
Recommended by 2 •
Hidden gem112 113 114 115 116 117 Stephanie Weirich on From System F to Typed Assembly Language
Papers We Love Philadelphia
Recommended by 2 •
Hidden gem118 119 120 Roger Penrose: Physics of Consciousness and the Infinite Universe | Lex Fridman Podcast #85
Lex Fridman
Recommended by 3 •
121 122 123 124 What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
Institute for Advanced Study
Recommended by 3 •
125 126 127 128 129 In search of software perfection - 2016 Milner Award lecture by Dr Xavier Leroy.
The Royal Society
Recommended by 2 •
Hidden gem130 Category Theory Explained for Haskell Programmers – Part 1 | Jencel Panic | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem131 Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Lex Fridman
Recommended by 3 •
Classic132 133 134 135 Douglas Lenat: Cyc and the Quest to Solve Common Sense Reasoning in AI | Lex Fridman Podcast #221
Lex Fridman
Recommended by 3 •
136 137 138 Duolingo -- the next chapter in human computation | Luis von Ahn | TEDxCMU 2011
TEDx Talks
Recommended by 3 •
139 140 141 142 143 144 145 146 David Christiansen - Coding for Types: The Universe Patern in Idris - Curry On
Curry On!
Recommended by 2 •
Hidden gem147 148 149 150 151 152 153 Edward Gibson: Human Language, Psycholinguistics, Syntax, Grammar & LLMs | Lex Fridman Podcast #426
Lex Fridman
Recommended by 2 •
154 155 156 157 Stanford Seminar - Generalized Reversible Computing and the Unconventional Computing Landscape
Stanford Online
Recommended by 2 •
Hidden gem158 159 160 161 162 163 164 165 166 167 168 169 Computation and the Fundamental Theory of Physics - with Stephen Wolfram
The Royal Institution
Recommended by 1 •
170 Designing Dependently-Typed Programming Languages - Lecture 1 - Stephanie Weirich
Hadi Moshayedi
Recommended by 2 •
Hidden gem171 172 173 174 175 176 TEDxCaltech - Scott Aaronson - Physics in the 21st Century: Toiling in Feynman's Shadow
TEDx Talks
Recommended by 1 •
177 178 179 180 181 Monads are Monoids in the Category of Endofunctors - a Scala 3 Journey, No Psychobabble
Rock the JVM
Recommended by 1 •
182 183 184 185 186 Ruslan Shevchenko at #ScalaUA - From Akka to Labelled Transition Systems
ScalaUA Conference
Recommended by 1 •
187 188 189 "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna
Strange Loop Conference
Recommended by 2 •
190 191 192 193 194 Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory
Institut Henri Poincaré
Recommended by 2 •
Hidden gem195 196 197 Scott Fleischman: Agda from Nothing: Order in the Types - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
198 MuniHac 2024 - So, Oct. 13 - Niki Vazou: Liquid Haskell: Verification with Refinement Types
TNG Technology Consulting GmbH
Recommended by 1 •
199 200 Game Of Life without executing instructions - Page Fault Liberation Army
masterfreek64
Recommended by 1 •
201 202 Some Infinities ARE Bigger Than Other Infinities (Diagonalization)
Undefined Behavior
Recommended by 1 •
203 The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006
Antithesis
Recommended by 1 •
204 205 Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
206 207 208 209 210 211 Lightning Talk: Turing Completeness Is Overrated: and here's why - Ben Deane - CppNow 2022
CppNow
Recommended by 1 •
212 213 214 215 216 RustBelt: Logical Foundations for the Future of Safe Systems Programming
Talks with Harley
Recommended by 1 •
217 218 219 220 221 222 223 224 Clutching at Random Straws, Matt Parker | LMS Popular Lectures 2010
London Mathematical Society
Recommended by 2 •
Classic225 Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
Recommended by 2 •
226 227 228 229 AI Ethics, Impossibility Theorems and Tradeoffs - Chris Stucchio | Crunch 2018
CraftHub Events
Recommended by 2 •
Hidden gem230 Session Types for Me and You and Everyone We Know! - Zeeshan Lakhani
Maitria Alex Harms
Recommended by 2 •
Classic231 232 233 234 Explaining "theorems for free" and parametricity, for practicing programmers. With code in Scala
Sergei Winitzki
Recommended by 1 •
235 236 237 238 239 240 241 [Tutorial Fest @ POPL'23] Using a Proof Assistant to Teach PL Theory, Without the Overhead
ACM SIGPLAN
Recommended by 1 •
242 243 244 Peter LeFanu Lumsdaine, What are we thinking when we present a type theory?
HoTTEST
Recommended by 1 •
245 Quantum Computing and the Limits of the Efficiently Computable - 2011 Buhl Lecture
Carnegie Mellon University
Recommended by 1 •
246 247 Secrets of type driven program synthesis - Edwin Brady | Lambda Days 2021
Code Sync
Recommended by 2 •
Hidden gem248 249 A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
A Byte of Code
Recommended by 2 •
250 251 252 253 The Mathematician's Weapon | An Intro to Category Theory, Abstraction and Algebra
Eyesomorphic
Recommended by 1 •
254 255 Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On
Curry On!
Recommended by 1 •
256 257 258 Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
Institute for Advanced Study
Recommended by 1 •
259 2017 03 09 - Joachim Breitner - Why use theorem provers when we have compilers
Simon Meier
Recommended by 1 •
260 261 Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)
Stanford Online
Recommended by 1 •
Classic262 263 264 Jeremy G. Siek - Crash Course on Notation in Programming Language Theory (Part 1) - λC 2018
LambdaConf
Recommended by 1 •
265 266 267 [Online Meetup] Problem Solving Using the TypeScript Compiler - Gal Schlezinger
Wix Engineering Tech Talks
Recommended by 1 •
268 269 270 271 272 273 Lecture 2 | The Universal Approximation Theorem
Carnegie Mellon University Deep Learning
Recommended by 1 •
274 275 Category Theory For Beginners: Functors And The Category Of Categories
Richard Southwell
Recommended by 1 •
276 Andrew Appel: Turing, Gödel, and Church at Princeton in the 1930s
princetonacademics
Recommended by 1 •
277 278 F-algebras or: How I Learned to Stop Worrying and Love the Type System
NYC Haskell User's Group
Recommended by 1 •
279 280 281 #54 - The Goal of Science is to Communicate Ideas! - Philip Wadler
Type Theory Forall
Recommended by 1 •
282 283 284 285 286 287 288 PLSE Seminar Series: Amal Ahmed, "Compositional Compiler Verification for a Multi-Language World"
UW PLSE
Recommended by 1 •
289 290 291 "Shaping our children's education in computing" by Simon Peyton Jones
Strange Loop Conference
Recommended by 2 •
Hidden gem292 Monads - Part 2 - Tacit Programming - Automatic / Point-Free Kleisli Composition
DevInsideYou
Recommended by 1 •
293 294 295 296 297 298 299 300 A Beginner's Guide to TLA+ Exploring State Machines & Proving Correctness | Jeff Weiss | Code BEAM V
Code Sync
Recommended by 1 •
301 302 Pijul: Version-Control Post-Git • Pierre-Étienne Meunier • GOTO 2023
GOTO Conferences
Recommended by 1 •
303 304 305 306 307 Another Taste of Verse | Simon Peyton Jones | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 1 •
Recent pick308 309 310 311 312 The Lighthill debate on Artificial Intelligence: "The general purpose robot is a mirage"
Pierre-Yves Oudeyer
Recommended by 2 •
Classic313 314 315 "Evidence-Oriented Programming" by Andreas Stefik
Strange Loop Conference
Recommended by 2 •
Hidden gem316 Why can't computers use base 3 instead of binary? Voltage states explained.
Basics Explained, H3Vtux
Recommended by 1 •
317 Constructing Logic Gates, Circuits, and Adders in Civilization 3 Using Barbarians
Lucien Maloney
Recommended by 1 •
318 319 320 321 322 323 Claude Shannon - Father of the Information Age
University of California Television (UCTV)
Recommended by 2 •
Classic324 325 326 327 328 329 330 331 Donald Knuth: Programming, Algorithms, Hard Problems & the Game of Life | Lex Fridman Podcast #219
Lex Fridman
Recommended by 1 •
332 Astonishing discovery by computer scientist: how to squeeze space into time
Chalk Talk
Recommended by 1 •
333 334 335 336 337 338 339 340 341 342 343 344 Database and Its Applications Full Course | Introduction to Database Management System
Computer Education For all
Recommended by 2 •
345 Towards a formal theory of computer insecurity: a language-theoretic approach
Dartmouth
Recommended by 2 •
Classic346 347 348 349 Artificial Life, Open-Ended Evolution, and the Origins of Biological Complexity
Santa Fe Institute
Recommended by 2 •
Hidden gem350 TS Meetup #5.5 - Tițian Cericova-Dragomir - Understanding Variance in the TypeScript Type System
Prisma
Recommended by 2 •
Hidden gem351 352 Scott Aaronson - Quantum Computing and Information
Center for Science of Information NSF STC
Recommended by 2 •
Classic353 354 355 356 357 358 359 360 361 362 363 364 365 Marcus Hutter: Universal Artificial Intelligence, AIXI, and AGI | Lex Fridman Podcast #75
Lex Fridman
Recommended by 1 •
366 367 368 Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
Recommended by 1 •
369 370 371 372 373 374 375 376 377 378 379 Stanford CS109 Probability for Computer Scientists I Counting I 2022 I Lecture 1
Stanford Online
Top upload •
380 Understanding the Structure of Reasoning in Language Models
Simons Institute for the Theory of Computing
Top upload •
381 382 383 384 Stanford EE274: Data Compression I 2023 I Lecture 1 - Course Intro, Lossless Data Compression Basics
Stanford Online
Top upload •
385 386 387 My Favorite Expanders | Richard M. Karp Distinguished Lecture
Simons Institute for the Theory of Computing
Top upload •
388 World Models and the Emergence of a “First-Person” Perspective in an AI
Simons Institute for the Theory of Computing
Top upload •
389 390 391 392 Questions for Theory in the New Age of Machine Learning
Simons Institute for the Theory of Computing
Top upload •
393 AI’s Models of the World, and Ours | Theoretically Speaking
Simons Institute for the Theory of Computing
Top upload •
394 Optimal Spectral Gaps | Richard M. Karp Distinguished Lecture
Simons Institute for the Theory of Computing
Top upload •
395 396 397 John Feminella on Impossibility of Distributed Consensus with One Faulty Process
PapersWeLove
Top upload •
398 Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
Simons Institute for the Theory of Computing
Top upload •
399
