Tech Talk: Bartosz Milewski on Category Theory

Tech Talk: Bartosz Milewski on Category Theory

Tech Talks are in-depth technical discussions.

Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers.

The world of functional programming is rife with terminology imported from abstract algebra and Category Theory. In fact, it may be one of the most valid criticisms of functional programming is the use of Category-Theoretic terminology that can be unwelcoming to newcomers.

Category theory can also be a tool to teach us to see software development in a different light and it can teach us to build better software. Bartosz is also just an interesting person, if you haven't heard of him yet, you are in for a treat.

Bartosz's Website

Blog Series

Book

Lecture Series

https://corecursive.com/035-bartosz-milewski-category-theory/

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(115)

Chat: 2020 Year End

Chat: 2020 Year End

Welcome to the year-end episode. Today is all the bonus questions. Often times I have questions that I want to ask guests, but they don't quite fit the overall theme of the episode. So today we're goi...

1 Tammi 202134min

Story: Frontiers of Performance with Daniel Lemire

Story: Frontiers of Performance with Daniel Lemire

Did you ever meet somebody who seemed a little bit different than the rest of the world? Maybe they question things that others wouldn't question or said things that others would never say. Daniel i...

1 Joulu 202047min

Story: The Birth of Unix with Brian Kernighan

Story: The Birth of Unix with Brian Kernighan

As Brian Kernighan said "UNIX since the start has become a vehicle for creating and using programming languages." Brian initiated work on what would become the UNIX system. He helped develop it to run...

1 Marras 202051min

Story: To The Assembly

Story: To The Assembly

How do CPUs work? How do compilers work? How does high-level code get translated into machine code? Today's guest is Matt Godbolt and he knows the answers to these questions. How he became an expert i...

1 Loka 202041min

Story: Memento Mori

Story: Memento Mori

Preparing our minds for the inevitable - death is pressing. After facing terminal cancer, Kate Gregory reminded herself that this event can still become inspiring by focusing on the positive. In this ...

1 Syys 202040min

Story: We are teaching Functional Programming Wrong

Story: We are teaching Functional Programming Wrong

Today Richard Feldman shares his story of going from javascript developer to elm developer to functional programming teacher.  Along the way, Richard finds that people are teaching functional programm...

3 Elo 202046min

Story: Software That Doesn't Suck With Jim Blandy

Story: Software That Doesn't Suck With Jim Blandy

Building Subversion Software is just the tool and it should get out of your way. In this episode, we will discuss Jim Blandy's insights on how to build and recognize improvements for a great developer...

1 Heinä 202037min

Story: Unproven Tech Case Study with Sean Allen

Story: Unproven Tech Case Study with Sean Allen

Choosing The Right Tool For the Job Choosing the right programming language or framework for a project can be key to the success of the project. In today's episode, Sean Allen Sean shares a story of p...

10 Kesä 202039min

Suosittua kategoriassa Politiikka ja uutiset

uutiscast
aikalisa
viisupodi
ootsa-kuullut-tasta-2
politiikan-puskaradio
rss-ootsa-kuullut-tasta
rss-vaalirankkurit-podcast
tervo-halme
rss-podme-livebox
rss-asiastudio
rss-pinnalla
aihe
the-ulkopolitist
et-sa-noin-voi-sanoo-esittaa
rss-kaikki-uusiksi
rss-ulkopoditiikkaa
yksilla-raahessa-podcast
lotta-paakkunainen
rss-hyvaa-huomenta-bryssel
rss-girls-finish-f1rst