Alejandro Serrano: Category Theory Through Functional Programming (part 2/3) - λC 2017

Why it's on BrighterTube

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Instructs on category theory applied to functional programming. Part 2 develops categorical thinking for programming abstractions.

What you'll learn

A 56-minute video from LambdaConf: “Alejandro Serrano: Category Theory Through Functional Programming (part 2/3) - λC 2017”.

Programming & CS Science & Math

Video by LambdaConf, played through YouTube's embedded player.

Part of LambdaConf 2017 - Winter Retreat

1:02:16

Andre van Delft: Programming with Algebra Part 2 - λC 2016 LambdaConfProgramming & CS

53:52

Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017 LambdaConfProgramming & CS

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math25.1M views

Transformers, the tech behind LLMs | Deep Learning Chapter 5 3Blue1BrownProgramming & CS11.6M views

24:26

The Beauty of Bézier Curves Freya HolmérProgramming & CS2.23M views

1:13:50

The Continuity of Splines Freya HolmérProgramming & CS1.89M views

The Most Underrated Algorithm VeritasiumProgramming & CS10.7M views

Coding Adventure: Simulating Fluids Sebastian LagueProgramming & CS2.66M views

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

8:38

Diffie-Hellman Key Exchange Art of the ProblemProgramming & CS938K views

JPEG DCT, Discrete Cosine Transform (JPEG Pt2)- Computerphile ComputerphileProgramming & CS697K views

16:31

Public Key Cryptography: RSA Encryption Art of the ProblemProgramming & CS996K views

1:02:16

Andre van Delft: Programming with Algebra Part 2 - λC 2016

LambdaConf

A 62-minute video from LambdaConf: “Andre van Delft: Programming with Algebra Part 2 - λC 2016”.

53:52

Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017

LambdaConf

A 54-minute video from LambdaConf: “Alejandro Serrano: Category Theory Through Functional Programming (part 3/3) - λC 2017”.

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

3Blue1Brown25.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

3Blue1Brown11.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ér2.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ér1.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

Veritasium10.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 Lague2.66M views

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

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

Enthought177K 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.

8:38

Diffie-Hellman Key Exchange

Art of the Problem938K views

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

JPEG DCT, Discrete Cosine Transform (JPEG Pt2)- Computerphile

Computerphile697K views

Computerphile explains the discrete cosine transform at the heart of JPEG compression.

16:31

Public Key Cryptography: RSA Encryption

Art of the Problem996K views

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