The Typechecker

Andre Popovitch
  • 0.0 (0)
  • EDUCATION

This is an interview-oriented podcast about programming languages, PL theory, and anything else I find interesting :)

Episodes

  1. 09/14/2025

    SPJ: Pursuing a Trick a Long Way, Just To See Where It Goes

    Interview with Simon Peyton Jones

    1h 10m

  2. 05/05/2025

    Towards Fearless SIMD with Raph Levien

    Raph's new blog post: https://linebender.org/blog/towards-fearless-simd/A transcript is available here: https://www.popovit.ch/interviews/raph-levien-simdRaph's 2018 Fearless SIMD blog post: https://raphlinus.github.io/rust/simd/2018/10/19/fearless-simd.htmlWe cover what SIMD is, its applications, challenges when using it in Rust, and potential future improvements to make SIMD programming more accessible and safer.

    53 min

  3. 05/03/2020

    Granule (feat. Dr. Dominic Orchard)

    This episode was recorded in August of 2019 so not everything you hear will necessarily be up to date. Granule is a functional programming language with a very powerful graded modal type system. An update that will extend it to also support dependent types is being developed. Learn more about Granule at https://granule-project.github.io/.

    21 min

  4. 05/03/2020

    Cone (Feat. Jon Goodwin)

    Today I have Jon Goodwin to discuss his Cone programming language - distinguished by "do it your way" memory management.

    14 min
  • 4 Episodes

About

This is an interview-oriented podcast about programming languages, PL theory, and anything else I find interesting :)

Information

  • Creator
    Andre Popovitch
  • Years Active
    2020 - 2025
  • Episodes
    4
  • Rating
    Clean
  • Copyright
    © Andre Popovitch
  • Show Website
    The Typechecker