function composition
1:07:10Brian Beckman: Don't fear the Monad
415K views • 13 years ago
jasonofthel33t
Microsoft's Brian Beckman gives an hour-long, whiteboard-style walk through monads, building from function composition and monoids using school-level math. It is aimed at practicing programmers rather than category theorists.
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
227K views • 9 years ago
Fullstack Academy
Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.
2:51:44ADHD: Essential Ideas for Parents - Dr. Russell Barkely
702K views • 13 years ago
ADHDtips
Dr. Russell Barkley gives a nearly three-hour lecture of essential ideas about ADHD for parents, covering what ADHD is, its effects on executive function, motivation and emotion, and how it affects children.
2:51:44Essential Ideas for Parents
1.1M views • 14 years ago
Jason Salotti
Dr. Russell Barkley's roughly three-hour lecture on ADHD for parents of affected children. It explains what ADHD is and how the ADHD brain differs.
1:04:16Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
170K views • 9 years ago
Churchill College, University of Cambridge
Simon Peyton Jones gives Churchill College's annual computer science lecture on Haskell's birth and evolution. He covers the most influential ideas, from laziness to monads and type system evolution, plus current developments and guesses about the future.
1:09:24Effective ML
30K views • 10 years ago
Jane Street
Yaron Minsky of Jane Street gave this talk to Harvard's OCaml-based CS51 class in 2010. It collects advice on being an effective ML programmer in an industrial setting.
1:14:16Arithmetic, Population and Energy - FULL LENGTH
191K views • 14 years ago
kip399
Physicist Albert Bartlett's full-length lecture on how steady exponential growth in population and energy use collides with finite resources. It uses examples like bacteria in a bottle and covers peak oil.
1:20:33Lecture 1 | Convex Optimization I (Stanford)
753K views • 18 years ago
Stanford
The introductory lecture of Stephen Boyd's Stanford Convex Optimization I course (EE 364A). It outlines convex sets, functions and problems, and the course's coverage of least-squares, linear and semidefinite programming, duality and interior-point methods.
1:28:4414. Limbic System
2M views • 15 years ago
Stanford
Robert Sapolsky's Stanford lecture on the limbic system as the emotional part of the nervous system, covering its role in decision making, links to the cortex and the functions of its subparts.
1:06:43Scott Aaronson | How Much Math Is Knowable?
58K views • 1 year ago
Harvard CMSA
Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function. He covers recent work on Busy Beaver values.