Andre Popovitch
The Typechecker
This is an interview-oriented podcast about programming languages, PL theory, and anything else I find interesting :)
Auteur
Andre Popovitch
Catégorie
Site du podcast
Dernier épisode
14 sept. 2025
Où écouter ?
Les podcasts dans l'appli Replaio Radio Bientôt disponibleLes podcasts arrivent très bientôt dans l'appli. Installe-la dès maintenant et découvre en avant-première une toute nouvelle façon de vivre les podcasts
Installe-la gratuitement
Android 5 M+ de téléchargements · note de 4,8
iOS bientôt
Épisodes
SPJ: Pursuing a Trick a Long Way, Just To See Where It Goes 14.09.2025 1:09:45
Interview with Simon Peyton Jones
Towards Fearless SIMD with Raph Levien 05.05.2025 52:51
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...
Granule (feat. Dr. Dominic Orchard) 03.05.2020 21:06
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/ .
Cone (Feat. Jon Goodwin) 03.05.2020 13:34
Today I have Jon Goodwin to discuss his Cone programming language - distinguished by "do it your way" memory management.
Podcasts similaires
Écoute le podcast The Typechecker sur Replaio
La radio et les podcasts dans une seule appli - gratuite, sans inscription. Installe-la dès aujourd'hui et ne rate pas le lancement
Replaio n'est pas éditeur de podcasts ; les noms des émissions, les visuels et l'audio appartiennent à leurs auteurs et sont diffusés via des flux RSS publics
