<ul dir="ltr"><li><a target="_blank" href="https://en.wikipedia.org/wiki/Heyting_algebra">Heyting Algebra</a></li><li><a target="_blank" href="https://youtu.be/aZjhqkD6k6w?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_">Category Theory</a> - Bartosz Milewski</li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Marcel_Proust">Marcel Proust</a></li></ul>

Heyting AlgebraCategory Theory - Bartosz MilewskiMarcel Proust

<ul><li><a href="https://en.wikipedia.org/wiki/Heyting_algebra" rel="noopener noreferrer">Heyting Algebra</a></li><li><a href="https://youtu.be/aZjhqkD6k6w?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_" rel="noopener noreferrer">Category Theory</a> -&nbsp;Bartosz Milewski</li><li><a href="https://en.wikipedia.org/wiki/Marcel_Proust" rel="noopener noreferrer">Marcel Proust</a></li></ul>

Is that Sirius Black?

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share Is that Sirius Black?

Sign up to save your podcasts

Is that Sirius Black?

Is that Sirius Black?