Type Theory Forall

#32 TyDe Systems - Jan de Muijnck-Hughes

Listen Later

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
    • 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,769 Listeners

          The Knowledge Project by Shane Parrish

          The Knowledge Project

          2,685 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,455 Listeners

          The Quanta Podcast by Quanta Magazine

          The Quanta Podcast

          548 Listeners

          CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

          CoRecursive: Coding Stories

          188 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,178 Listeners

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

          Machine Learning Street Talk (MLST)

          97 Listeners

          Dwarkesh Podcast by Dwarkesh Patel

          Dwarkesh Podcast

          564 Listeners

          The Rest Is History by Goalhanger

          The Rest Is History

          15,686 Listeners

          The Haskell Interlude by Haskell Podcast

          The Haskell Interlude

          15 Listeners

          Software Unscripted by Richard Feldman

          Software Unscripted

          29 Listeners

          Oxide and Friends by Oxide Computer Company

          Oxide and Friends

          65 Listeners

          Past Present Future by David Runciman

          Past Present Future

          327 Listeners

          Sharp Tech with Ben Thompson by Andrew Sharp and Ben Thompson

          Sharp Tech with Ben Thompson

          95 Listeners