The Typechecker

Andre Popovitch
  • 0,0 (0)
  • ОБРАЗОВАНИЕ

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

Выпуски

  1. 14.09.2025

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

    Interview with Simon Peyton Jones

    1 ч. 10 мин.

  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 мин.

  3. 03.05.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 мин.

  4. 03.05.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 мин.
  • Выпусков: 4

Об этом подкасте

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

Информация

  • Автор
    Andre Popovitch
  • Годы выхода
    2020 - 2025
  • Выпуски
    4
  • Ограничения
    Без ненормативной лексики
  • Авторские права
    © Andre Popovitch
  • Сайт подкаста
    The Typechecker