Free as in Monads

About this video

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

Explores monads as programming concept with functional programming depth. Advanced language and category theory foundations.

A 53-minute video from InfoQ: “Free as in Monads”.

Programming & CS Philosophy

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

Part of Emerging Languages and Development Trends

Consciousness in Artificial Intelligence | John Searle | Talks at Google Talks at GooglePhilosophy

481K views

Seymour Papert 1983 Cynthia SolomonLectures

28.2K views

Joscha: Computational Meta-Psychology media.ccc.dePhilosophy

85.2K views

Joscha: From Computation to Consciousness (31c3)Joscha BachPhilosophy

28.5K views

The Value of Values with Rich Hickey InfoQProgramming & CS

144K views

Rust's Journey to Async/Await InfoQProgramming & CS

89.7K views

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

Intro25.1M views

Let's build GPT: from scratch, in code, spelled out.Andrej KarpathyProgramming & CS

8.21M views

The spelled-out intro to neural networks and backpropagation: building micrograd Andrej KarpathyProgramming & CS

Intro4.41M views

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

Intro11.6M views

58:19

Irving Finkel | The Ark Before Noah: A Great Adventure The Institute for the Study of Ancient CulturesHistory

Intro5.09M views

24:26

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

2.23M views

Consciousness in Artificial Intelligence | John Searle | Talks at Google

Talks at Google

481K views

John Searle argues that syntax isn't semantics — the Chinese Room — and that computation alone can't produce consciousness, then takes questions from Google engineers.

Seymour Papert 1983

Cynthia Solomon

28.2K views

A 1983 excerpt of Seymour Papert, creator of Logo, on children learning abstract ideas by acting out the turtle.

Joscha: Computational Meta-Psychology

media.ccc.de

85.2K views

Joscha Bach's 32C3 talk on computational meta-psychology: how a mind could be built from computational principles and what that says about motivation and consciousness.

Joscha: From Computation to Consciousness (31c3)

Joscha Bach

28.5K views

Cognitive scientist Joscha Bach outlines a computational account of mind, from how minds model the world to how consciousness might arise.

The Value of Values with Rich Hickey

InfoQ

144K views

Rich Hickey argues for programming with immutable values instead of mutable places, and what that means for data, interfaces and systems.

Rust's Journey to Async/Await

InfoQ

89.7K views

Steve Klabnik walks through how Rust's design evolved toward async/await, including the alternatives tried and dropped.

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.

Let's build GPT: from scratch, in code, spelled out.

Andrej Karpathy

8.21M views

Building a GPT-style language model from scratch in code, following 'Attention Is All You Need'.

The spelled-out intro to neural networks and backpropagation: building micrograd

Andrej Karpathy

Intro4.41M views

Building micrograd, a tiny autograd engine, to understand backpropagation completely.

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.

58:19

Irving Finkel | The Ark Before Noah: A Great Adventure

The Institute for the Study of Ancient Cultures

Intro5.09M views

Irving Finkel of the British Museum tells how he decoded a cuneiform tablet describing a round ark, and what Mesopotamian flood stories reveal about the Genesis account.

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.