The Typechecker

https://is1-ssl.mzstatic.com/image/thumb/Podcasts113/v4/64/a8/7a/64a87acd-3098-5584-6e06-ea23251157d7/mza_15718386642385547186.jpg/600x600bb.jpg

The Typechecker

Andre Popovitch

4 episodes

4 days ago

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

Education

RSS

All content for The Typechecker is the property of Andre Popovitch and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

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

Education

Episodes (4/4)

The Typechecker

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

Interview with Simon Peyton Jones

1 month ago

1 hour 9 minutes 45 seconds

The Typechecker

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.

6 months ago

52 minutes 51 seconds

The Typechecker

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/.

5 years ago

21 minutes 6 seconds

The Typechecker

Cone (Feat. Jon Goodwin)

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

5 years ago

13 minutes 34 seconds