Angeline Aguinaldo: Diary of a software engineer using categories

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

Topos Institute

Topos Institute

Күн бұрын

Пікірлер: 5
@ApprendreSansNecessite
@ApprendreSansNecessite 3 жыл бұрын
It is very motivating to see category theory presented in a pragmatic way.
@alexandrezani
@alexandrezani 3 жыл бұрын
This was very interesting. I would have loved to see a deeper dive into a specific example showing where CT came in and how it helped solve a problem.
@aleksandarbakic3812
@aleksandarbakic3812 3 жыл бұрын
Very interesting! Can we get the slides attached here?
@wdobni
@wdobni Жыл бұрын
ghastly...just ghastly...not quite nonsense but close enough for government work
Programming with Categories - Lecture 0
46:25
Topos Institute
Рет қаралды 29 М.
David Spivak: Categorical Databases
1:09:41
Topos Institute
Рет қаралды 6 М.
Маусымашар-2023 / Гала-концерт / АТУ қоштасу
1:27:35
Jaidarman OFFICIAL / JCI
Рет қаралды 390 М.
Counter-Strike 2 - Новый кс. Cтарый я
13:10
Marmok
Рет қаралды 2,8 МЛН
Вопрос Ребром - Джиган
43:52
Gazgolder
Рет қаралды 3,8 МЛН
David Jaz Myers: "Three Realisms and The Idea of Sheaves"
38:52
Topos Institute
Рет қаралды 7 М.
Paolo Perrone - Tutorial on Markov Categories
1:28:06
Applied Category Theory
Рет қаралды 952
Programming with Categories - Lecture 1
50:29
Topos Institute
Рет қаралды 27 М.
Simon Sinek's Advice Will Leave You SPEECHLESS 2.0 (MUST WATCH)
20:43
Alpha Leaders
Рет қаралды 2,5 МЛН
A Philosophy of Software Design | John Ousterhout | Talks at Google
1:01:40
one year of studying (it was a mistake)
12:51
Jeffrey Codes
Рет қаралды 204 М.
A Sensible Introduction to Category Theory
26:20
Oliver Lugg
Рет қаралды 454 М.