![Type Theory Forall artwork](https://is5-ssl.mzstatic.com/image/thumb/Podcasts124/v4/ed/de/43/edde43db-febe-b892-3a30-358ebe2e2c07/mza_16532267942080647912.png/100x100bb.jpg)
#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes
Type Theory Forall
English - July 13, 2023 15:20 - 2 hours - 105 MB - ★★★★★ - 6 ratingsTechnology Science type theory programming languages academia Homepage Download Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed
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
https://dsbd-appcontrol.github.io/
https://border-patrol.github.io/
Cool People
Rachit Nigam
Clement Pit-Claudel
Software