#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
#31 Discussing Problems in PL and Academia - Jan de Muijnck-HughesUpdate: 2023-07-13
Description
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
Comments
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel
Download from Google Play
Download from App Store
United States00:00
00:00
x
