Best Foundations In Art Theory And Education Podcasts (2025)

1
#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer 2:25:22

Play Pause

23h ago2:25:22

2:25:22

Derek Dreyer is a professor at the Max Planck Institute, in 2024 he was awarded the ACM Fellowship, in 2017 he got the ACM Sigplan Robin Milner Young Researcher Award. And has participated or lead greatly influential work, such as the RustBelt Project and Iris. In this episode Derek shares his experience going to Grad School at CMU, how even a grea…

1
Hegel vs. Kant 14:12

14d ago14:12

14:12

In this episode, I explain Hegel's criticisms of Kant philosophical efforts and their shortcoming in accounting for the actual operation of the faculties of understanding and reason in the world, in The Phenomenology of Spirit. Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neon…

1
Immanuel Kant's "Metaphysical Foundations of Natural Science" 1:02:20

19d ago1:02:20

1:02:20

In this episode, I cover Immanuel Kant's "Metaphysical Foundations of Natural Science." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: ht…

1
Immanuel Kant's "Prolegomena to any Future Metaphysics" 1:11:02

1M ago1:11:02

1:11:02

In this episode, I cover Immanuel Kant's "Prolegomena to any Future Metaphysics." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://…

1
Cedric Robinson's "Black Marxism" (Part 3 of 3) 50:20

2M ago50:20

50:20

In this episode, I cover part two of Cedric Robinson's "Black Marxism." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secure.eve…

1
#52 Why is Haskell so special - Lennart Augustsson 1:30:31

2M ago1:30:31

1:30:31

Lennart Augustsson has spent the last four decades quietly — and sometimes mischievously — shaping the way we think about code. He co-authored Lazy ML in the early 80s, wrote A Compiler for LML back in 1984, and was behind HBC, the first publicly available Haskell compiler. If you've used Haskell, worked with hardware described in Bluespec, or play…

1
Cedric Robinson's "Black Marxism" (Part 2 of 3) 54:23

2M ago54:23

54:23

In this episode, I cover part two of Cedric Robinson's "Black Marxism." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secure.eve…

1
Cedric Robinson's "Black Marxism" (Part 1 of 3) 1:01:38

3M ago1:01:38

1:01:38

In this episode, I cover part one of Cedric Robinson's "Black Marxism." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secure.eve…

1
#51 s/Coq/Rocq - Nicolas Tabareau 1:42:05

3M ago1:42:05

1:42:05

In this episode we talk with Nicolas Tabareau, the Head of Gallinette, one of the main teams which develop the Rocq theorem Prover at Inria. The original idea of this interview is to talk about the rebranding from Coq into Rocq, which is very exciting to our community. However, Nicolas has such a prolific research career that I couldn’t miss the op…

1
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra 2:06:47

4M ago2:06:47

2:06:47

Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded system using FP and currently is a Professor at the University of Utrecht and co-host of the Haskel…

1
José Vasconcelos' "The Cosmic Race" with Dr. Alison Posey 1:03:27

4M ago1:03:27

1:03:27

In this episode, I'm joined by Dr. Alison Posey, Postdoctoral Researcher in Duke University's Department of Romance Studies (Spanish) to discuss José Vasconcelos' "The Cosmic Race." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief an…

1
[Fre] Défaire le Suicidisme avec Alexandre Baril 1:17:43

4M ago1:17:43

1:17:43

Dans cet épisode, Alexandre Baril, professeur agrégé de travail social à l'Université d'Ottawa, me rejoint pour discuter de son nouveau livre, Défaire le Suicidisme. Vous pouvez accéder gratuitement à la version anglaise du livre ci-dessous. Cet épisode aborde des sujets délicats tels que le suicide, l'automutilation et la violence systémique. Veui…

1
[Eng] Undoing Suicidism with Alexandre Baril 1:02:22

4M ago1:02:22

1:02:22

In this episode, I'm joined by Alexandre Baril, Associate professor of Social Work at the University of Ottawa to discuss his book, Undoing Suicidism. You can access the English version of the book for free below. This episode discusses sensitive subject matter including suicide, self harm, and systemic violence. Please listen with care. You will a…

1
Karl Marx's "18th Brumaire of Louis Bonaparte" 46:56

5M ago46:56

46:56

In this episode, I cover Karl Marx's "18th Brumaire of Louis Bonaparte." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secure.ev…

1
Jasbir K. Puar's "Terrorist Assemblages" (Part 2 of 2) 1:04:25

5M ago1:04:25

1:04:25

In this episode, I cover from chapter two to the end of Jasbir K. Puar's "Terrorist Assemblages." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Al…

1
Homonationalism | Jasbir K. Puar | Keyword 12:10

5M ago12:10

12:10

In this episode, I explain Jasbir K. Puar's notion of "homonationalism." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secure.ev…

1
Jasbir K. Puar's "Terrorist Assemblages" (Part 1 of 2) 1:05:13

6M ago1:05:13

1:05:13

In this episode, I cover the introduction and chapter one of Jasbir K. Puar's "Terrorist Assemblages." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children…

1
#49 Self-Education in PL - Ryan Brewer 2:23:47

6M ago2:23:47

2:23:47

Ryan Brewer is a college dropout who has an incredible blog about PL, Category Theory and Logic. He better define his goal as making Formal Theory more accessible outside the ivory tower of academia, and easier to put into practice where it matters. He has a couple of very interesting main projects, such as the first Cedille 2 Interpreter, Saber VM…

1
Noam Chomsky and Edward Herman's "Manufacturing Consent" (Part 3 of 3) 48:57

6M ago48:57

48:57

In this episode, I cover the chapter 5 to the end of Noam Chomsky and Edward Herman's "Manufacturing Consent." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East …

1
Who Pushes the Buttons Leaves a Fingerprint: A Conversation with Dr. Angela J. Aguayo about documentary media production, participatory media, and stories of resistance 30:11

6M ago30:11

30:11

Recorded: February 22, 2025 Published: February 25, 2025 Time: 30:11 Audio edited by: Anthony Albidrez Music clip “Jumpstart,” Koni Zulow, age 15 For more on her work: https://media.illinois.edu/media-cinema-studies/aguayo-angelaBy Prof. Phaedra C. Pezzullo, host

1
Noam Chomsky and Edward Herman's "Manufacturing Consent" (Part 2 of 3) 42:46

7M ago42:46

42:46

In this episode, I cover chapters 2-4 of Noam Chomsky and Edward Herman's "Manufacturing Consent." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's A…

1
“What is getting in the way of care?”: Dr. Renée Lertzman, environmental psychology consultant, reflects on theories of change 32:36

7M ago32:36

32:36

Recorded: February 6, 2025 Published: February 12, 2025 Time: 32:34 Audio edited by: Anthony Albidrez Music clip “Bounce,” created by Koni Zulow, age 14 Quadrants of Engagement Quiz: https://projectinsideout.net/the-quadrant-of-engagement/ Project InsideOut: https://projectinsideout.net/getting-started/…

1
A Deep Dive into Colorado plastic policy with Rosie Briggs, Public Education & Engagement Senior Manager, Eco-Cycle 51:58

7M ago51:58

51:58

Recorded: Nov 12, 2024 Published: February 3, 2025 Time: 51:58 Audio edited by: Anthony Albidrez Music clip “Bounce,” created by Koni Zulow, age 14 For more on Eco-Cycle, go to their websiteBy Prof. Phaedra C. Pezzullo, host

1
Noam Chomsky and Edward Herman's "Manufacturing Consent" (Part 1 of 3) 49:41

7M ago49:41

49:41

In this episode, I cover the preface and chapter one of Noam Chomsky and Edward Herman's "Manufacturing Consent." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle Ea…

1
Dr. Deepti Ganapathy on India's single-use plastic ban, climate communication 38:02

7M ago38:02

38:02

Recorded: October 29, 2024 Published: January 27, 2025 Time: 38:02 Audio edited by: Anthony Albidrez Music clip “Bounce,” created by Koni Zulow, age 14 For more on her work, go to: https://www.climatechangecommunication.org/all/team_member/deepti-ganapathy/By Prof. Phaedra C. Pezzullo, host

1
#48 Bell Labs - David MacQueen 2:10:12

7M ago2:10:12

2:10:12

In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years. Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. …

1
Rosemary Salomone's "The Rise of English" (Part 2 of 2) 1:12:09

8M ago1:12:09

1:12:09

In this episode, I cover the second half of Rosemary Salomone's "The Rise of English" Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: http…

1
#47 The History of LCF, ML and HOPE - David MacQueen 2:05:04

8M ago2:05:04

2:05:04

David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Professor at Chicago University for 23 years. He is one of the designers of SML, one of the fathers of HOPE the programming language that introduced the notion of Algebraic Datatypes. So this interview was very special to me personally where I could get to hear all t…

1
Rosemary Salomone's "The Rise of English" (Part 1 of 2) 59:02

8M ago59:02

59:02

In this episode, I cover the first half of Rosemary Salomone's "The Rise of English." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: http…

1
“Consensually amplifying stories”, Prof. Catalina de Onís, award-winning book author, children’s book coauthor, film producer and much more. 25:08

9M ago25:08

25:08

Recorded: October 17, 2024 Published: December 16, 2024 Time: 25:06 mins Audio edited by: Anthony Albidrez Music clip “Bounce,” created by Koni Zulow, age 14 Website: https://catalinadeonis.wordpress.com/By Prof. Phaedra C. Pezzullo, host

1
Wendy Chun's "Software and Memory" (Part 2 of 2) 48:02

9M ago48:02

48:02

In this episode, I cover the second half of Wendy Chun's "Software and Memory." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://se…

1
"All Labor Involves Care": José Toscano Bravo, Exec Dir. Just Transition Alliance, on false vs labor-led solutions 50:11

9M ago50:11

50:11

Recorded: August 2024 Published: December 2, 2024 Time: 52:54 mins Audio edited by: Anthony Albidrez Music clips provided through Creative Commons: “Bees!” by Shane Ivers (https://www.silvermansound.com). Website: Just Transition AllianceBy Prof. Phaedra C. Pezzullo, host

1
Wendy Chun's "Software and Memory" (Part 1 of 2) 59:55

9M ago59:55

59:55

In this episode, I cover the first half of Wendy Chun's "Software and Memory" Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secu…

1
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot 1:03:36

9M ago1:03:36

1:03:36

In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk about Krivine, Kleene and Gödel Realizability Models, how it relates to the BHK interpretation and CPS Translations, and how it was all already part of Gödel's work in Dialectica! If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…

1
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot 1:21:41

9M ago1:21:41

1:21:41

In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf Type Theory, what are the properties we should care about in our type theory and why. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall Links Pierre-Marie's …

1
Oyèrónkẹ́ Oyěwùmí's "The Invention of Women" (Part 2 of 2) 29:08

10M ago29:08

29:08

In this episode, I cover chapters three, four, and five of Oyèrónkẹ́ Oyěwùmí's "The Invention of Women." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Childr…

1
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro 2:13:31

10M ago2:13:31

2:13:31

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/ty…

1
Oyèrónkẹ́ Oyěwùmí's "The Invention of Women" (Part 1 of 2) 39:44

10M ago39:44

39:44

In this episode, I cover chapters one and two of Oyèrónkẹ́ Oyěwùmí's "The Invention of Women." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Allia…

1
Compulsory Heterosexuality | Adrienne Rich | Keyword 12:55

10M ago12:55

12:55

In this episode, I explain Adrienne Rich's notion of "compulsory heterosexuality." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https:/…

1
Primitive Accumulation | Karl Marx | Keyword 11:04

10M ago11:04

11:04

In this episode, I explain Karl Marx's notion of "primitive accumulation." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https://secure.…

1
Ngũgĩ wa Thiong'o "Decolonising the Mind" (Part 2 of 2) 36:54

11M ago36:54

36:54

In this episode, I cover chapters 2, 3, and 4 of Ngũgĩ wa Thiong'o "Decolonising the Mind." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance…

1
Ngũgĩ wa Thiong'o "Decolonising the Mind" (Part 1 of 2) 43:36

11M ago43:36

43:36

In this episode, I cover the first chapter of Ngũgĩ wa Thiong'o "Decolonising the Mind." Part two will cover chapters 2, 3, and 4. Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-d…

1
Phenomenology | Kant, Heidegger, Merleau-Ponty, Ahmed | Keyword 24:11

11M ago24:11

24:11

In this episode, I explain phenomenology through the work of Immanuel Kant, Martin Heidegger, Maurice Merleau-Ponty, and Sara Ahmed. Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my…

1
Improve Your Writing Instantly 41:42

11M ago41:42

41:42

In this episode, I offer some tips and tricks to improve your writing. The book I reference: Kate Turabian's Student’s Guide to Writing College Papers, Fifth Edition *Sorry for the poor audio quality* If you want to support me, you can do that with these links: Patreon: https://www.patreon.com/theoryandphilosophy paypal.me/theoryphilosophy Twitter:…

1
#43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30

12M ago1:01:30

1:01:30

In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …

1
Michel Foucault's "The Discourse on Language" 17:45

12M ago17:45

17:45

In this episode, I present Michel Foucault's "The Discourse on Language" found attached to some editions of The Archaeology of Knowledge. I also take this opportunity to explain discourse analysis. Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United N…

1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49

1y ago1:52:49

1:52:49

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …

1
Michel Foucault's "The Archaeology of Knowledge" (Part 4/4) 51:13

1y ago51:13

51:13

In this episode, I cover part 4 of Michel Foucault's "The Archaeology of Knowledge" Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https:…

1
#41 The Value of PL (and) Education - Satnam Singh 1:41:04

1y ago1:41:04

1:41:04

Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…

1
Michel Foucault's "The Archaeology of Knowledge" (Part 3/4) 1:02:51

1y ago1:02:51

1:02:51

In this episode, I cover part 3 of Michel Foucault's "The Archaeology of Knowledge." Please consider donating to one of the following organizations: Palestinian Children's Relief Fund: https://pcrf1.app.neoncrm.com/forms/general United Nations Relief and Works Agency: https://donate.unrwa.org/gaza/~my-donation Middle East Children's Alliance: https…