Type Theory Forall

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

Listen Later

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
          • Idris Language
          • Biblio
            • ...more
            View all episodesView all episodes
            Download on the App Store
            Type Theory ForallBy Pedro Abreu
            • 4.8
            • 4.8
            • 4.8
            • 4.8
            • 4.8

            4.8

            13 ratings

            More shows like Type Theory Forall

            View all
            Marketplace by Marketplace

            Marketplace

            8,801 Listeners

            The Knowledge Project by Shane Parrish

            The Knowledge Project

            2,672 Listeners

            The Changelog: Software Development, Open Source by Changelog Media

            The Changelog: Software Development, Open Source

            288 Listeners

            Conversations with Tyler by Mercatus Center at George Mason University

            Conversations with Tyler

            2,461 Listeners

            The Quanta Podcast by Quanta Magazine

            The Quanta Podcast

            544 Listeners

            CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

            CoRecursive: Coding Stories

            189 Listeners

            Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas by Sean Carroll

            Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

            4,167 Listeners

            Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

            Machine Learning Street Talk (MLST)

            101 Listeners

            Dwarkesh Podcast by Dwarkesh Patel

            Dwarkesh Podcast

            551 Listeners

            The Rest Is History by Goalhanger

            The Rest Is History

            15,506 Listeners

            The Haskell Interlude by Haskell Podcast

            The Haskell Interlude

            14 Listeners

            Software Unscripted by Richard Feldman

            Software Unscripted

            29 Listeners

            Oxide and Friends by Oxide Computer Company

            Oxide and Friends

            67 Listeners

            Past Present Future by David Runciman

            Past Present Future

            347 Listeners

            Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

            Sharp Tech with Ben Thompson

            97 Listeners