#32 TyDe Systems - Jan de Muijnck-Hughes
#32 TyDe Systems - Jan de Muijnck-HughesUpdate: 2023-07-22
Description
In this episode we continue our conversation with Jan de Muijnck-Hughes a
Research Associate at Glasgow University. He works using all sorts of fancy
type systems mostly targeted for hardware specification, particularly with
the aid of the theorem prover Idris. This episode we start by talking a
little about Impostor Syndrome in academia and how he has learned to cope
with it and then we dive deeper into the technicalities of his research, in
particular his philosophy on Type Directed Design of Systems. We talk about
Session Types, Graded Types, Quantitative types, etc.
Don't forget to join our new discord channel!
If you like our show please consider donating any amount at ko-fi.
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
