| Title |
Duration
| Published |
Consumed |
|
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
|
02:13:31 |
2024-11-06 22:00
|
|
|
#43 PL in the Industry and Summer Schools - Patrick and Eric
|
01:01:30 |
2024-09-13 15:00
|
|
|
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
|
01:52:49 |
2024-08-29 14:00
|
|
|
#41 The Value of PL (and) Education - Satnam Singh
|
01:41:04 |
2024-08-15 14:00
|
|
|
#40 Secure Voting - Joe Kiniry
|
01:08:54 |
2024-07-15 14:45
|
|
|
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen
|
01:49:42 |
2024-06-13 22:30
|
|
|
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen
|
01:55:58 |
2024-05-16 23:30
|
|
|
#37 Compilers, Staging, Futamura Projections - Guannan Wei
|
01:53:20 |
2024-03-11 22:30
|
|
|
#37 Compilers, Staging, Futamura Projections - Guannan Wei
|
01:53:20 |
2024-03-11 19:30
|
|
|
#37 Compilers, Staging, Futamura Projections - Guannan Wei
|
01:53:20 |
2024-03-11 19:30
|
|
|
#36 Behind the Person Behind this Podcast - Pedro Abreu
|
01:49:55 |
2023-12-26 16:00
|
|
|
#36 Behind the Person Behind this Podcast - Pedro Abreu
|
01:49:55 |
2023-12-26 16:00
|
|
|
#36 Behind the Person Behind this Podcast - Pedro Abreu
|
01:49:55 |
2023-12-26 15:00
|
|
|
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
|
01:21:29 |
2023-12-04 12:30
|
|
|
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
|
01:21:29 |
2023-12-04 12:30
|
|
|
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael
|
01:21:29 |
2023-12-04 11:30
|
|
|
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
|
01:28:27 |
2023-10-16 14:10
|
|
|
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
|
01:28:27 |
2023-10-16 14:10
|
|
|
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke
|
01:28:27 |
2023-10-16 14:10
|
|
|
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
|
02:05:07 |
2023-09-09 16:40
|
|
|
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
|
02:05:07 |
2023-09-09 16:40
|
|
|
#33 Z3 and Lean, the Spiritual Journey - Leo de Moura
|
02:05:07 |
2023-09-09 16:40
|
|
|
#32 TyDe Systems - Jan de Muijnck-Hughes
|
01:41:23 |
2023-07-22 17:50
|
|
|
#32 TyDe Systems - Jan de Muijnck-Hughes
|
01:41:23 |
2023-07-22 17:50
|
|
|
#32 TyDe Systems - Jan de Muijnck-Hughes
|
01:41:23 |
2023-07-22 17:50
|
|
|
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
|
02:09:59 |
2023-07-13 17:20
|
|
|
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
|
02:09:59 |
2023-07-13 17:20
|
|
|
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
|
02:09:59 |
2023-07-13 17:20
|
|
|
#30 Actors, GADTs and Burnout - Dan and Pedro
|
01:44:52 |
2023-05-31 01:30
|
|
|
#30 Actors, GADTs and Burnout - Dan and Pedro
|
01:44:52 |
2023-05-31 01:30
|
|
|
#30 Actors, GADTs and Burnout - Dan and Pedro
|
01:44:52 |
2023-05-31 00:30
|
|
|
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
|
01:24:19 |
2023-04-09 23:30
|
|
|
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
|
01:24:19 |
2023-04-09 23:30
|
|
|
#29 Can PL theory make you a better software engineer? - Jimmy Koppel
|
01:24:19 |
2023-04-09 22:30
|
|
|
#28 Formally Verifying Smart Contracts - Pruvendo
|
01:10:40 |
2023-02-15 17:00
|
|
|
#28 Formally Verifying Smart Contracts - Pruvendo
|
01:10:40 |
2023-02-15 17:00
|
|
|
#28 Formally Verifying Smart Contracts - Pruvendo
|
01:10:40 |
2023-02-15 15:00
|
|
|
#27 Formalizing an OS: The seL4 - Gerwin Klein
|
01:58:40 |
2023-02-04 23:45
|
|
|
#27 Formalizing an OS: The seL4 - Gerwin Klein
|
01:58:40 |
2023-02-04 23:45
|
|
|
#27 Formalizing an OS: The seL4 - Gerwin Klein
|
01:58:40 |
2023-02-04 21:45
|
|
|
#26 Mechanizing Modern Mathematics - Kevin Buzzard
|
02:15:31 |
2023-01-16 21:30
|
|
|
#26 Mechanizing Modern Mathematics - Kevin Buzzard
|
02:15:31 |
2023-01-16 21:30
|
|
|
#26 Mechanizing Modern Mathematics - Kevin Buzzard
|
02:15:31 |
2023-01-16 19:30
|
|
|
#25 Formally Verifying the Tezos Codebase - Formal Land
|
01:01:32 |
2022-11-21 17:05
|
|
|
#25 Formally Verifying the Tezos Codebase - Formal Land
|
01:01:32 |
2022-11-21 17:05
|
|
|
#25 Formally Verifying the Tezos Codebase - Formal Land
|
01:01:32 |
2022-11-21 15:05
|
|
|
#24 The History of Isabelle - Lawrence Paulson
|
01:38:02 |
2022-10-07 00:05
|
|
|
#24 The History of Isabelle - Lawrence Paulson
|
01:38:02 |
2022-10-07 00:05
|
|
|
#24 The History of Isabelle - Lawrence Paulson
|
01:38:02 |
2022-10-06 23:05
|
|
|
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
|
01:13:05 |
2022-09-24 13:15
|
|
|
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
|
01:12:13 |
2022-09-24 13:15
|
|
|
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
|
01:12:13 |
2022-09-24 13:15
|
|
|
#22 Impredicativity, LEM, Realizability and more - Cody Roux
|
02:19:23 |
2022-08-12 17:15
|
|
|
#22 Impredicativity, LEM, Realizability and more - Cody Roux
|
02:19:23 |
2022-08-12 17:15
|
|
|
#22 Impredicativity, LEM, Realizability and more - Cody Roux
|
02:19:23 |
2022-08-12 17:15
|
|
|
#21 Denotational Design - Conal Elliott
|
03:07:26 |
2022-08-04 21:30
|
|
|
#21 Denotational Design - Conal Elliott
|
03:07:26 |
2022-08-04 21:30
|
|
|
#21 Denotational Design - Conal Elliott
|
03:07:26 |
2022-08-04 21:30
|
|
|
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
|
01:37:28 |
2022-06-28 02:00
|
|
|
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
|
01:37:28 |
2022-06-28 02:00
|
|
|
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
|
01:37:28 |
2022-06-27 18:20
|
|
|
#19 Experience Report: Learning Coq - Patrick and Supun
|
01:51:39 |
2022-06-04 17:40
|
|
|
#19 Experience Report: Learning Coq - Patrick and Supun
|
01:51:39 |
2022-06-04 17:40
|
|
|
#19 Experience Report: Learning Coq - Patrick and Supun
|
01:51:39 |
2022-06-04 17:40
|
|
|
#18 Gödel's Incompleteness Theorems - Cody Roux
|
02:50:14 |
2022-05-19 20:30
|
|
|
#18 Gödel's Incompleteness Theorems - Cody Roux
|
02:50:14 |
2022-05-19 20:30
|
|
|
#18 Gödel's Incompleteness Theorems - Cody Roux
|
02:50:14 |
2022-05-19 20:30
|
|
|
#17 The Lost Elegance of Computation - Conal Elliott
|
03:32:38 |
2022-05-10 01:00
|
|
|
#17 The Lost Elegance of Computation - Conal Elliott
|
03:32:38 |
2022-05-10 01:00
|
|
|
#17 The Lost Elegance of Computation - Conal Elliott
|
03:32:38 |
2022-05-10 01:00
|
|
|
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
|
01:36:53 |
2022-04-02 18:20
|
|
|
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
|
01:35:53 |
2022-04-02 18:20
|
|
|
#16 Agda, K Axiom, HoTT, Rewrite Theory - Jesper Cockx
|
01:35:53 |
2022-04-02 18:20
|
|
|
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
|
01:17:36 |
2022-03-27 17:15
|
|
|
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
|
01:17:36 |
2022-03-27 17:15
|
|
|
#15 Coq Projects, Agda, Idris, Kind - Nitin and Eric
|
01:17:36 |
2022-03-27 17:15
|
|
|
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
|
00:56:30 |
2022-02-12 21:20
|
|
|
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
|
00:56:30 |
2022-02-12 21:20
|
|
|
#14 POPL, Parametricity, Scala, DOT - Nitin and Eric
|
00:56:30 |
2022-02-12 19:20
|
|
|
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
|
01:39:30 |
2021-12-23 22:40
|
|
|
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
|
01:39:30 |
2021-12-23 22:40
|
|
|
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
|
01:39:30 |
2021-12-23 20:40
|
|
|
#12 Tenure, Sexism and ADHD - Talia Ringer
|
01:05:53 |
2021-11-10 22:30
|
|
|
#12 Tenure, Sexism and ADHD - Talia Ringer
|
01:05:53 |
2021-11-10 22:30
|
|
|
#12 Tenure, Sexism and ADHD - Talia Ringer
|
01:05:53 |
2021-11-10 20:30
|
|
|
#11 FP, Monads, GHC, and beyond - Alejandro Serrano
|
01:07:12 |
2021-10-04 20:38
|
|
|
#11 FP, Monads, GHC, and beyond - Alejandro Serrano
|
01:07:12 |
2021-10-04 20:38
|
|
|
#11 FP, Monads, GHC, and beyond - Alejandro Serrano
|
01:07:12 |
2021-10-04 19:38
|
|
|
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
|
01:16:30 |
2021-07-15 16:50
|
|
|
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
|
01:16:30 |
2021-07-15 16:50
|
|
|
#10 Classical Logic vs Intuitionistic Logic - Thorsten Altenkirch and Anupam Das
|
01:16:30 |
2021-07-15 15:50
|
|
|
#9 Logic and Proof Theory - Anupam Das
|
00:57:20 |
2021-05-28 12:30
|
|
|
#9 Logic and Proof Theory - Anupam Das
|
00:57:20 |
2021-05-28 12:30
|
|
|
#9 Logic and Proof Theory - Anupam Das
|
00:57:20 |
2021-05-28 11:30
|
|
|
#8 Cedille - Chris Jenkins
|
01:05:42 |
2021-05-11 04:30
|
|
|
#8 Cedille - Chris Jenkins
|
01:05:42 |
2021-05-11 04:30
|
|
|
#8 Cedille - Chris Jenkins
|
01:05:42 |
2021-05-11 04:30
|
|
|
#7 Hacking Isabelle's Internals - Daniel Matichuk
|
01:20:52 |
2021-04-16 04:15
|
|
|
#7 Hacking Isabelle's Internals - Hacking Isabelle's Internals
|
01:20:52 |
2021-04-16 04:15
|
|
|
#7 Hacking Isabelle's Internals - Dan Matichuk
|
01:20:52 |
2021-04-16 04:15
|
|
|
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
|
00:39:13 |
2021-03-29 06:00
|
|
|
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
|
00:39:13 |
2021-03-29 06:00
|
|
|
#6 All The Dumb Questions on Gradual Types - Zeina Migeed
|
00:39:13 |
2021-03-29 06:00
|
|
|
#5 The History of Coq'Art - Yves Bertot
|
01:11:46 |
2021-02-27 13:50
|
|
|
#5 The History of Coq'Art - Yves Bertot
|
01:11:46 |
2021-02-27 13:50
|
|
|
#5 The History of Coq'Art - Yves Bertot
|
01:11:45 |
2021-02-27 05:00
|
|
|
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
|
01:14:23 |
2021-02-15 13:01
|
|
|
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
|
01:14:23 |
2021-02-15 13:01
|
|
|
#4 Theorem Provers, Functional Programming and Companies - Eric Bond
|
01:14:22 |
2021-02-15 05:00
|
|
|
#3 ML for PL and Mental Health - Dan Zheng
|
01:08:01 |
2021-02-01 13:57
|
|
|
#3 ML for PL and Mental Health - Dan Zheng
|
01:08:01 |
2021-02-01 13:57
|
|
|
#3 ML for PL and Mental Health - Dan Zheng
|
01:08:01 |
2021-02-01 05:00
|
|
|
#2 Grad School Life - Rajan Walia and John Sarracino
|
01:16:31 |
2021-01-10 13:45
|
|
|
#2 Grad School Life - Rajan Walia and John Sarracino
|
01:16:31 |
2021-01-10 13:45
|
|
|
#2 Grad School Life - Rajan Walia and John Sarracino
|
00:57:55 |
2021-01-10 05:00
|
|
|
#1 What is PL research? - Prof. Ben Delaware
|
00:57:56 |
2020-12-23 13:42
|
|
|
#1 What is PL research? - Prof. Ben Delaware
|
00:57:56 |
2020-12-23 13:42
|
|
|
#1 What is PL research? - Prof. Ben Delaware
|
00:57:55 |
2020-12-23 05:00
|
|
|
#0 Cool Internships in PL - Pedro Abreu
|
00:31:59 |
2020-12-14 13:08
|
|
|
#0 Cool Internships in PL - Pedro Abreu
|
00:31:59 |
2020-12-14 13:08
|
|
|
#0 Cool Internships in PL - Believe or not there are quite a few companies interested in Programming Languages Research.
|
00:31:59 |
2020-12-14 05:00
|
|
