Best PL Project Podcasts (2024)

1
Champions League Draw 🥶 24:36

1M ago24:36

24:36

The boys went in depth as they discussed the champions league draw 2:00 - Arsenal chances vs Bayern 2:50- Arsenals worries against Bayern over the years 5:15- Barca v Psg 6:10- Mbabeast 6:50- Wan bissaka v Mbappe 9:00- Champions league draws going either way10:00- Madrid’s X factor / Real Madrid v Man city 15:00- Arsenal’s 11 v Bayern’s 11 21:32- S…

1
#37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20

2M ago1:53:20

1:53:20

In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…

1
ATA Ep.6 Kitchen Dwellers at The Troubadour 44:26

2M ago44:26

44:26

Tell you about my night seeing the Kitchen Dwellers at The Troubadour in LA. Hype up the band and their new album Seven Devils. Enjoy this episode and please share it with your friends and let me know what you think! Kitchen Dwellers new album https://open.spotify.com/album/4i1OzJPnWsZoEyjNX1tHZL?si=oO5IMzucTzeVibRvYv9LgA Podcast website. https://a…

1
ATA Ep. 5 Sam Grisman Project at The Troubadour 39:19

2M ago39:19

39:19

This episode I give you a rundown on my experience seeing The Sam Grisman Project in LA at The Troubadour. First time at this venue, very intimate acoustic setting for this show. Please check out this band and support them. Thank you for listening. Please rate this episode and send me an email: aftertheafterspod@gmail.com Intro song: Stealin by Sam…

1
ATA Ep. 4 Same Same But Different Festival 2023 Recap: Griz, What So Not, EazyBaked, Louis The Child, Big Wild 50:27

2M ago50:27

50:27

This episode I talk about my experience at Same Same But Different Music Festival 2023 in Souther California at Lake Perris. My 3rd year in a row attending. I showed up solo and my buddy met me there. Get some insight on attending a music festival solo. This was Griz's last festival set before hiatus. Shout out to The Giving Tree art car. Please ra…

1
Mbappe X PL Title Race 25:55

2M ago25:55

25:55

On Todays Episode the boys discussed the latest happenings in the football world from the Mbappe saga to the intense premier league title race

1
AFCON 2023 Knockout Stages ⚔️ 36:50

3M ago36:50

36:50

Listen to the Boys as they take an in depth look into each of the Round of 16 knockout games at the AFCON

1
AFCON SPECIAL 20:32

4M ago20:32

20:32

The African Cup of Nations kicks off tonight, listen to the boys give their analysis on the competition OUTLINE 2:55- Zaza’s Hot take 3:59- Morroco 5:49- European players performances in afcon 6:13- Golden boot 8:43- Favorite to win the competition 9:35- Onana 13:09 - Salah’s stamp 13:40- Ivory Coast Tuff 15:40- player of the tournament…

1
Title race Intense 22:10

4M ago22:10

22:10

As the Premier League's title race intense, featuring tight contests between clubs like Man City, Liverpool, and Arsenal, showcasing fierce competition for the championship.

1
Imaminaki - A2 Tunnel Trance 5:36

4M ago5:36

5:36

A2 Tunnel TranceBy LDH

1
Imaminaki - B1 FA-17 8:22

4M ago8:22

8:22

B1 FA-17By LDH

1
Imaminaki - B2 DIT Thrust 8:25

4M ago8:25

8:25

B2 DIT Thrustvochels von Thorau a.k.a. DJ KnallerBy LDH

1
Imaminaki - A1 Autran (Filthy Basement Mix) 10:34

4M ago10:34

10:34

A1 Autran (Filthy Basement Mix)By LDH

1
#36 Behind the Person Behind this Podcast - Pedro Abreu 1:49:55

4M ago1:49:55

1:49:55

In this episode we celebrate 3 years of existence of this podcast byreflecting on the journey so far, what is my philosophy, how do Iapproach the interviews, my overall goals for the show, and some of our plansfor the future. In order to achieve this, I first take a detour and tell you a little moreabout my personal history, and my carreer in type …

1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 1:21:29

5M ago1:21:29

1:21:29

In this episode we talk with Eduardo Rafael. He isself-thaught programming languages enthusiast, youtuber, twitch streamer,multi-skilled programmer that has worked in different aspects of computerscience such as PL, operating systems, blockchain, and many other stuff. Inthis conversation we talk about his experience as a developer and hacker thatdi…

1
Episode 16: Karen Erickson 38:59

6M ago38:59

38:59

Join Kristie Wurglitz and Maureen Brandywine as we talk to Karen Erickson. Karen Erickson, Ph.D. is the Director of the Center for Literacy and Disability Studies, a Professor in the Division of Speech and Hearing Sciences, and the Yoder Distinguished Professor in the Department of Allied Health Sciences, School of Medicine at the University of Nor…

1
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 1:28:27

7M ago1:28:27

1:28:27

Andrew Marmaduke is a PhD Candidate from the University of Iowa, he worksunder Aaron Stump and has been working on revamping the theorem proverCedille 2. In this episode we tackle fundamental questions about thefoundations of the theorem provers, Cedille and Cedille 2. Links Andrew's Website AndrasKovacs' Smalltt Failure of Normalization in Impredi…

1
Episode 15: Jimmy Casas 59:24

7M ago59:24

59:24

Jimmy served twenty-two years as a school leader. He is a best selling author, speaker, leadership coach, and a state and national award winning principal. Under Jimmy’s leadership, Bettendorf High School was named one of the best high schools in the country three times by Newsweek and U.S. News and World Report. JImmy was named the 2012 Iowa Princ…

1
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura 2:05:07

8M ago2:05:07

2:05:07

Not satisfied with implementing one of the most popular automated theoremprovers, Z3, Leo de Moura also tackles another extremely hard problem inour field and implements a brand new interactivetheorem prover from scratch, Lean. In this episode we dive into the mind andphilosophy of this man. Links Leo's Website Lean Z3 The Church of Logic Podcast…

1
#32 TyDe Systems - Jan de Muijnck-Hughes 1:41:23

10M ago1:41:23

1:41:23

In this episode we continue our conversation with Jan de Muijnck-Hughes aResearch Associate at Glasgow University. He works using all sorts of fancytype systems mostly targeted for hardware specification, particularly withthe aid of the theorem prover Idris. This episode we start by talking alittle about Impostor Syndrome in academia and how he has…

1
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes 2:09:59

10M ago2:09:59

2:09:59

In this episode we have a deep conversation with Jan de Muijnck-Hughes, talksabout all the cool research he has done with idris, hardware and different kindsof interesting type systems such as session types, quantitative types and gradedtypes. In the second half we discuss all the different kinds of problems thathas been going on in PL academia lat…

1
ATA Ep. 3 Phish Hollywood Bowl & Life Updates 40:03

10M ago40:03

40:03

This Episode we discuss our weekend seeing Phish at the Hollywood Bowl in LA 4/21/2023-4/23/2023. Then we give brief update on ourselves. tried to keep it short and sweet. Hope you enjoy! Support the showBy Hudsen and Satori Mertz

1
#30 Actors, GADTs and Burnout - Dan and Pedro 1:44:52

11M ago1:44:52

1:44:52

In this episode we have over Dan Plyukhin, a PhD Candidate fromthe University of Illinois Urbana-Champaign. We talk about Dan’s research is in the field of parallelism, morespecifically garbage collection in the presence of actors. Then we also talk about Pedro's research on translating GADTs from OCaml to Coq,and the burnout process that lead him …

1
ATA Ep 2. Daily Bread LA Convo & PL Return 42:21

1y ago42:21

42:21

Second episode of After The Afters Podcast. Lil Suh & DJ F*ck Em talk about their time seeing Daily Bread Music at The Moroccan Lounge in LA and we talk random convo. At the end of the episode we touch up on the return of Pretty Lights Music, his tour and the struggle getting tickets the first day they released. Support the show…

1
#29 Can PL theory make you a better software engineer? - Jimmy Koppel 1:24:19

1y ago1:24:19

1:24:19

Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where heteaches engineers to write better code! In this interview we talk about howto make better code, how the knowledge of computer science theory andprogramming languages can help engineers to achieve that, and much more! Links Jimmy's Personal Website Jimmy's Twitter Mirdin's Websit…

1
ATA Ep 1 Boogie T at The Observatory & Random Convo with Hud & Lil Suh 44:57

1y ago44:57

44:57

Join Lil Suh & Huddy(aka DJ F*ck Em) in their First production of the After The Afters Podcast. This episode we discuss seein DJ Producer Boogie T on St. Pattys Day at The Observatory, the drowning death at Okechobee Music Festival 2023, and MORE!!!! Support the showBy Lil Suh & Huddy

1
#28 Formally Verifying Smart Contracts - Pruvendo 1:10:40

1y ago1:10:40

1:10:40

In this episode we host another company that does formal method in thecontext of the Everscale Blockchain, and Solidity smart contracts.How and why they use formal methods in this context? Who are their clients?What are the caveats? Links Pruvendo's Website Pruvendo's Linkdin Pruvendo's TwitterBy Pedro Abreu

1
#26 Mechanizing Modern Mathematics - Kevin Buzzard 2:15:31

1+ y ago2:15:31

2:15:31

Kevin Buzzard has been very passionate spreading the word amongmathematicians to use theorem provers mechanize theorems of modernmathematics. In this conversation we will talk about his vision in teachingundergrads to use the Lean theorem prover, what is the Xena Project, his viewof how theorem provers can change the way we do mathematics, and much…

1
#27 Formalizing an OS: The seL4 - Gerwin Klein 2:15:31

1+ y ago2:15:31

2:15:31

Kevin Buzzard has been very passionate spreading the word amongmathematicians to use theorem provers mechanize theorems of modernmathematics. In this conversation we will talk about his vision in teachingundergrads to use the Lean theorem prover, what is the Xena Project, his viewof how theorem provers can change the way we do mathematics, and much…

1
CMIYC 14: Interoception Curriculum with Kelly Maher 24:31

1+ y ago24:31

24:31

Join us for an exciting interview with Kelly Maher with NSSEO District Coach Kristie Wurglitz and Kirk School Occupational Therapist Julie Hollamby. In this episode, we dive deeper into Interoception discussing how to utilize this with students, where to start, steps to support staff, replacing compliance with curiosity, and increasing motivation a…

1
#25 Formally Verifying the Tezos Codebase - Formal Land 1:01:32

1+ y ago1:01:32

1:01:32

In this episode we partner with Formal Land, a company that works in formallyverifying the Tezos codebase! I have worked with them in the past developingnew features to their source-to-source compiler CoqOfOcaml. In this episode wetalk about their work with Tezos and how their techniques are applicable toother codebases as well! For this we talk wi…

1
#24 The History of Isabelle - Lawrence Paulson 1:38:02

1+ y ago1:38:02

1:38:02

In this episode we interview Lawrence Paulson, one of the creating fathers ofIsabelle. We talk about the development process, how it drew inspirations andideas from LCF and Boyer Moore. What tools were used, it’s strenghts andweaknesses, and all about the historical context at the time! We also brieflytalk about his formalization of the Gödel's Inc…

1
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich 1:12:13

1+ y ago1:12:13

1:12:13

In this episode we talk about Sigplan, the organization behind the mostimportant conferences and proceedings in our field. What is the SIGPLAN? Whatexactly does it do? How is it organized? How are things published? To answerthese and many other questions we talk with Jens Palsberg, a professor atUCLA, who is the past chair of the SIGPLAN. And also …

1
#22 Impredicativity, LEM, Realizability and more - Cody Roux 2:19:23

1+ y ago2:19:23

2:19:23

In this episode Cody Roux teaches some interesting concepts that people careabout in Mathematics and Logic as a way to try to understand what is going onin the universe around us! In particular we will try to explain concepts suchas Impredicativity, Excluded Middle, Group Theory, Model Theory, KripkeModels, Realizability, The Markov Principle, Cut …

1
A new season 43:16

1+ y ago43:16

43:16

The new season is upon us and the boys discussed about what teams expectations should be for the season

1
#21 Denotational Design - Conal Elliott 3:07:26

1+ y ago3:07:26

3:07:26

In this episode Conal Elliott gives a more concrete presentationon what is Denotational Design is and how to use it in practice. It is a continuation of episode #17, in which we had an in-depth philosophicalconversation to explain why he believes thatDenotational Design is a superior form of reasoning in the realm of computerscience. We also contin…

1
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica 1:37:28

2y ago1:37:28

1:37:28

In this episode, me and Eric Bond have a great conversation with Dan R.Ghica, a professor at Birmingham University and Director of the ProgrammingLanguage Research Lab of the Huaweii Research Centre Edinburgh.We talk about his work on both institutions, which includes topics such asCategory Theory, String Diagrams, and Game Semantics.We also briefl…

1
The right project attract the best players 42:05

2y ago42:05

42:05

On this episode the boys discussed about the projects of Arteta and ETH and also update on what is going on in the transfer window

1
#19 Experience Report: Learning Coq - Patrick and Supun 1:51:39

2y ago1:51:39

1:51:39

In today’s episode I invite two friends of mine Patrick Lafontaine and SupunAbeysinghe. We will talk about their experience learning Coq and we guideourselves in a survey that I gave all the 83 students in the class.The class was thought by my advisor Benjamin Delaware and I was his TA. Patrick researches compilers and have done work in particular …

1
#18 Gödel's Incompleteness Theorems - Cody Roux 2:50:14

2y ago2:50:14

2:50:14

In this episode Cody Roux talks about the Gödel's Incompleteness Theorems. We gothrough it’s underlying historical context, Hilbert’s Program, how it relateswith Turing, Church, Von Neumann, Termination and more. Links Cody's website Cody's dblp The Lady or the Tiger? - Short Story The Lady or the Tiger? - Amazon Logicomix An Introduction to Gödel'…

1
#17 The Lost Elegance of Computation - Conal Elliott 3:32:38

2y ago3:32:38

3:32:38

In this episode I had the pleasure to have an in-depth conversation with ConalElliott about his life, his work, his philosophy and his many opinions aboutresearch and the current state of PL Research and how it lead him to come withthe concept of Denotational Design. Conal got his PhD at CMU in the 90s underFrank Pfenning working on Higher-Order Un…

1
CMIYC 013 Elena Aguilar 32:22

2y ago32:22

32:22

Join us for an exciting interview with Elena Aguilar and NSSEO District Coaches Kristie Wurglitz and Beh Mand. In this episode, we talk through cultivating resilience through the pandemic, Coaching roles, lifelong learning, and how to create fun and engaging professional development opportunities.

1
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx 1:35:53

2y ago1:35:53

1:35:53

In this episode we interview Jesper Cockx, one of the core developers on Agda.We talk about the philosophy behind Agda, his work on pattern matching, theUniqueness of Identity of Proofs, UIP for short, and why it is inconsistentwith Homotopy Type Theory. Links Jesper's Website Jesper's Twitter: @agdakx Jesper's PhD Thesis Rewrite Theory paper Patte…

1
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric 1:17:36

2y ago1:17:36

1:17:36

In this episode me, Eric and Nitin continues our conversation started in thelast episode. This time we move our attention to the cool projects happeningin Coq, in particular commenting through the projects mentioned in AndrewAppel’s keynote “Coq’s Vibrant Ecosystem for verification engineering” thattook place in CPP’22 which is colocated with POPL …

1
Overthinking Pep🤔 32:22

2y ago32:22

32:22

The boys joined by a special guest, Hamilton discussed about the possible end of the Ronaldo-Messi era, UCL confirmed Roadmap to the final and upcoming El Classico Clash at the Bernabue.

1
CMIYC Summer Learning Opportunities 2022 17:56

2y ago17:56

17:56

Rylee Coteus and Nicole Burke discuss available trainings coming this summer.By NSSEO Professional Learning

1
CMIYC 011 What does a BCBA do? 43:02

2y ago43:02

43:02

Our NSSEO coaches discuss topics surrounding BCBABy NSSEO Professional Development

1
Champions league Nights who doesn’t love them?? 31:39

2y ago31:39

31:39

On this episode ZaZa and the boys talked about the champions league 1 set of knockout games and also spoke about the Premier league Top 4 race and league race

1
A Weekend of Joy and Disbelief 31:36

2y ago31:36

31:36

On this episode the boys talked about the top 4 race as it continues to heat up , and also the Manchester derby as many united fans were in disbelief to what they saw at the weekend.

1
Another Weekend 😱😱😱 38:10

2y ago38:10

38:10

Manchester derby🔥🔴🔵, Arsenal🔴 to qualify for the Champions league?, Abramovich decision to sell Chelsea🤬🔵 and the close Title race in Italy🇮🇹.

Podcasts Worth a Listen

PL Project Podcasts

Podcasts Worth a Listen

Quick Reference Guide