#37 Compilers, Staging, Futamura Projections
March 11th 2024
Guannan Wei
#36 Behind the Person Behind this Podcast
Dec 26th 2023
Pedro Abreu
#35 Teika, Self-Education and F***ing Floating Points
Dec 04th 2023
Eduardo Rafael
#34 Foundations of Theorem Provers and Cedille2
Oct 16th 2023
Andrew Marmaduke
#33 Z3 and Lean, the Spiritual Journey
Sep 9th 2023
Leo de Moura
#32 TyDe Systems
July 22th 2023
Jan de Muijnck-Hughes
#31 Discussing Problems in PL and Academia
July 13th 2023
Jan de Muijnck-Hughes
In this episode we have a deep conversation with Jan de Muijnck-Hughes, talks about all the cool research he has done with idris, hardware and different kinds of interesting type systems such as session types, quantitative types and graded types. In the second half we discuss all the different kinds of problems that has been going on in PL academia lately and what we can do as a community to address those issues.
Also, we have a discord channel now, join us!
If you like our show please consider donating any amount at ko-fi.
Errata:
- Jan mentions ‘Jeff Foster’ when, in fact, he meant Nate Foster
- This is the SIGCOMM ‘Call’: https://sigcomm.quest/
- Felinne Hermans did her PhD at Eindhoven and not Delft
Links
- Jan’s website
- Jan’s twitter
- Jan’s mastodon
- Writing and Speaking with Style
- Artifact Eval
- Andrej Bauer: Formalising Invisible Mathematics
- Hedy language (Felienne Hermans)
- Hermans’ Inaugural Lecture on making PL human and inclusive
- Epistemic Injustice
- Richard Eisenberg interview
- ‘Software Foundations’ but in Agda
- ‘System F for Fun & Profit’
- Reviewing
Project Pages
Cool People
Software
Download .mp3 (104.6M)Tweet