What is a Monad? – Math vs Computer Science

115,314 views

About this video

Hand-picked by a BrighterTube curator · found via Reddit r/learnprogramming thread: What are the YouTube channels you watch as a software developer? · 82% confidence

Compares the category-theory definition of a monad (an endofunctor with unit and multiplication) with the Haskell programmer's version, and shows exactly where the two line up.

What a monad is, comparing the mathematical and the programming meaning.

Programming & CS Science & Math

Video by Sheafification of G, played through YouTube's embedded player.

25:55

One second to compute the largest Fibonacci number I can Sheafification of GProgramming & CS

921K views

10:13

Can programmers do math? What is a real number, really?Sheafification of GScience & Math

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math

Intro25.1M views

Transformers, the tech behind LLMs | Deep Learning Chapter 5 3Blue1BrownProgramming & CS

Intro11.6M views

24:26

The Beauty of Bézier Curves Freya HolmérProgramming & CS

2.23M views

1:13:50

The Continuity of Splines Freya HolmérProgramming & CS

1.89M views

The Most Underrated Algorithm VeritasiumProgramming & CS

10.7M views

Coding Adventure: Simulating Fluids Sebastian LagueProgramming & CS

2.66M views

8:38

Diffie-Hellman Key Exchange Art of the ProblemProgramming & CS

938K views

A Better Default Colormap for Matplotlib | SciPy 2015 | Nathaniel Smith and Stéfan van der Walt EnthoughtProgramming & CS

Advanced177K views

16:31

Public Key Cryptography: RSA Encryption Art of the ProblemProgramming & CS

996K views

Category Theory 1.1: Motivation and Philosophy Bartosz MilewskiProgramming & CS

394K views

25:55

One second to compute the largest Fibonacci number I can

Sheafification of G

921K views

How fast you can compute huge Fibonacci numbers, and the algorithms that make it fast.

10:13

Can programmers do math? What is a real number, really?

Sheafification of G

A 10-minute video from Sheafification of G: “Can programmers do math? What is a real number, really?”.

But what is a neural network? | Deep learning chapter 1

3Blue1Brown

Intro25.1M views

Builds up what a neural network actually is — neurons as numbers, layers, weights and biases — using handwritten-digit recognition as the running example.

Transformers, the tech behind LLMs | Deep Learning Chapter 5

3Blue1Brown

Intro11.6M views

How transformer models (the 'T' in GPT) turn text into vectors and predict the next token, step by step.

24:26

The Beauty of Bézier Curves

Freya Holmér

2.23M views

Freya Holmér builds Bézier curves from linear interpolation up, covering de Casteljau's algorithm, derivatives, arc length and their use in games and graphics.

1:13:50

The Continuity of Splines

Freya Holmér

1.89M views

A follow-up on splines: the different kinds of continuity (C and G), and how Hermite, Catmull-Rom, B-splines and NURBS trade them off.

The Most Underrated Algorithm

Veritasium

10.7M views

The history and inner workings of the Fast Fourier Transform, from nuclear test detection to everyday signal processing.

Coding Adventure: Simulating Fluids

Sebastian Lague

2.66M views

Building a fluid simulation step by step with smoothed-particle hydrodynamics.

8:38

Diffie-Hellman Key Exchange

Art of the Problem

938K views

Art of the Problem explains Diffie–Hellman key exchange with the paint-mixing analogy and then the modular-arithmetic version.

A Better Default Colormap for Matplotlib | SciPy 2015 | Nathaniel Smith and Stéfan van der Walt

Enthought

Advanced177K views

Nathaniel Smith and Stéfan van der Walt explain colour perception and perceptual uniformity, and how they designed viridis, Matplotlib's new default colormap.

16:31

Public Key Cryptography: RSA Encryption

Art of the Problem

996K views

How RSA public-key encryption works, from one-way functions through Euler's totient to the full algorithm.

Category Theory 1.1: Motivation and Philosophy

Bartosz Milewski

394K views

The first lecture of Bartosz Milewski's Category Theory for Programmers: why abstraction and composition matter, and what category theory offers programmers.