Conal Elliott: Efficient automatic differentiation made easy via category theory

  Рет қаралды 4,090

Topos Institute

Topos Institute

Күн бұрын

Пікірлер: 2
@maximetournier8716
@maximetournier8716 4 жыл бұрын
Nice talk. IIUC by customizing the Riesz representation (the dot/dotˆ{-1} isomorphisms) you'll get preconditioned gradients, which can speed up optimizations.
@miketurner3461
@miketurner3461 4 жыл бұрын
What is the proof/intuition that differentiating a program isn't directly computable without recipes?
Tarmo Uustalu: Monad-comonad interaction laws, monad algebras, comonad coalgebras
1:21:04
Tarmo Uustalu: Monad-comonad interaction laws, monad algebras, comonad coalgebras
Topos Institute
Рет қаралды 963
The Simple Essence of Automatic Differentiation - Conal Elliott
1:30:45
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
Рет қаралды 15 М.
Каха и дочка
00:28
Каха и дочка
К-Media
Рет қаралды 3,4 МЛН
We Attempted The Impossible 😱
00:54
We Attempted The Impossible 😱
Topper Guild
Рет қаралды 56 МЛН
BAYGUYSTAN | 1 СЕРИЯ | bayGUYS
36:55
BAYGUYSTAN | 1 СЕРИЯ | bayGUYS
bayGUYS
Рет қаралды 1,9 МЛН
Try this prank with your friends 😂 @karina-kola
00:18
Try this prank with your friends 😂 @karina-kola
Andrey Grechka
Рет қаралды 9 МЛН
David Jaz Myers: Homotopy type theory for doing category theory
1:04:01
David Jaz Myers: Homotopy type theory for doing category theory
Topos Institute
Рет қаралды 6 М.
Category Theory for the Working Hacker by Philip Wadler
50:52
Category Theory for the Working Hacker by Philip Wadler
Lambda World
Рет қаралды 94 М.
What is Automatic Differentiation?
14:25
What is Automatic Differentiation?
Ari Seff
Рет қаралды 120 М.
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
56:34
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Johns Hopkins University
Рет қаралды 40 М.
Keynote: Automatic Differentiation for Dummies
1:04:57
Keynote: Automatic Differentiation for Dummies
ECOOP
Рет қаралды 12 М.
The Probability Monad
46:40
The Probability Monad
Compose Conference
Рет қаралды 8 М.
2024 MIT Integration Bee - Finals
1:09:25
2024 MIT Integration Bee - Finals
MIT Integration Bee
Рет қаралды 755 М.
John Baez: "Symmetric Monoidal Categories A Rosetta Stone"
28:42
John Baez: "Symmetric Monoidal Categories A Rosetta Stone"
Topos Institute
Рет қаралды 7 М.
2023 MIT Integration Bee - Finals
28:09
2023 MIT Integration Bee - Finals
MIT Integration Bee
Рет қаралды 2,1 МЛН
Two MIT Professors ACCIDENTALLY discovered this simple SECRET TO LEARNING
5:10
Two MIT Professors ACCIDENTALLY discovered this simple SECRET TO LEARNING
Python Programmer
Рет қаралды 147 М.
Каха и дочка
00:28
Каха и дочка
К-Media
Рет қаралды 3,4 МЛН