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
            Hanselminutes with Scott Hanselman by Scott Hanselman

            Hanselminutes with Scott Hanselman

            383 Listeners

            The Quanta Podcast by Quanta Magazine

            The Quanta Podcast

            530 Listeners

            ChinaTalk by Jordan Schneider

            ChinaTalk

            288 Listeners

            CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

            CoRecursive: Coding Stories

            190 Listeners

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

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

            4,175 Listeners

            Iowa Type Theory Commute by Aaron Stump

            Iowa Type Theory Commute

            19 Listeners

            Dwarkesh Podcast by Dwarkesh Patel

            Dwarkesh Podcast

            505 Listeners

            Signals and Threads by Jane Street

            Signals and Threads

            72 Listeners

            The Haskell Interlude by Haskell Podcast

            The Haskell Interlude

            13 Listeners

            Software Unscripted by Richard Feldman

            Software Unscripted

            29 Listeners

            The Rest Is Politics by Goalhanger

            The Rest Is Politics

            3,070 Listeners

            Oxide and Friends by Oxide Computer Company

            Oxide and Friends

            63 Listeners

            The Rest Is Money by Goalhanger

            The Rest Is Money

            182 Listeners

            BG2Pod with Brad Gerstner and Bill Gurley by BG2Pod

            BG2Pod with Brad Gerstner and Bill Gurley

            474 Listeners