Andre Popovitch
The Typechecker
This is an interview-oriented podcast about programming languages, PL theory, and anything else I find interesting :)
Autor
Andre Popovitch
Kategorie
Podcast-Website
Neueste Folge
14. Sep 2025
Wo hören?
Podcasts in der App Replaio Radio Bald verfügbarPodcasts kommen bald in die App. Installiere sie jetzt und erlebe als Erster einen ganz neuen Blick auf Podcasts
Kostenlos installieren
Android 5 Mio.+ Downloads · Bewertung 4,8
iOS bald
Folgen
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.
Ähnliche Podcasts
Höre den Podcast The Typechecker in Replaio
Radio und Podcasts in einer App - kostenlos und ohne Anmeldung. Installiere sie noch heute und verpasse den Start nicht
Replaio ist kein Herausgeber von Podcasts; die Namen der Sendungen, Cover und Audioinhalte gehören ihren Autoren und werden über öffentliche RSS-Feeds verbreitet
