Skip to main content

I spend 2 hours at the gym, 6 days a week, and so end up burning through podcasts pretty quickly. I've recently completed the FoC, Array Cast and Type Theory Forall catalogues.

- https://futureofcoding.org/episodes
- https://www.arraycast.com
- https://www.typetheoryforall.com

Any suggestions for other nerdy fun podcasts of the same style?

Type Theory Forall - Episodes

Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.
www.typetheoryforall.com
This entry was edited (1 year ago)
in reply to Devine Lu Linvega

wakest ⁂
wakest ⁂
• •
I am quite surprised you are a gym person, I wouldn't have guessed that
in reply to wakest ⁂

Devine Lu Linvega
Devine Lu Linvega
• •
@liaizon it's a winter thing, I only have 2 weeks more to go before we cast off.
@wakest ⁂
Unknown parent

Devine Lu Linvega
Devine Lu Linvega
• •
@jbauer excellent! thank you, I'll grab a couple in each, if you have favourites in there I should check out first, please highlight a couple for me. Otherwise, I'll started a the top.
@Sickly Jek
Unknown parent

Devine Lu Linvega
Devine Lu Linvega
• •
@jbauer thanks!
@Sickly Jek
Unknown parent

Devine Lu Linvega
Devine Lu Linvega
• •
@jbauer ah yeah, okay. The latest CoRecursive seemed pretty.. dry. The latest Software Unscripted looks much more like my jam ^^
@Sickly Jek
in reply to Devine Lu Linvega

inscript
inscript
• •
if every discipline had an Ivan and Jimmy to work through the history of influential papers, the world would be a better place.
in reply to Devine Lu Linvega

Theo
Theo
• •
@jbauer the one called lisp in space from CoRecursive is pretty great. A nice reminder on how code made today often is way less impressive and interesting than the experiments from the 70s/80s.
@Sickly Jek
in reply to Devine Lu Linvega

Rasmus Andersson
Rasmus Andersson
• •
I enjoyed almost every episode of https://corecursive.com
The first (oldest) episodes of https://www.internethistorypodcast.com were entertaining, too

CoRecursive - CoRecursive Podcast

Welcome to CoRecursive. A Podcast where each episode someone shares the fascinating story behind a piece of software being built. Adam Gordon Bell is the host.
Adam Gordon Bell (CoRecursive Podcast)
in reply to Rasmus Andersson

Devine Lu Linvega
Devine Lu Linvega
• •
@rsms I listened to one from corecursive this morning from the classics section. It was great. I'll go through them, got any favorites?
@Rasmus Andersson
in reply to Devine Lu Linvega

Rasmus Andersson
Rasmus Andersson
• •

the only one that immediately comes to mind is the interview with @awesomekling

https://corecursive.com/serenity-os-with-andreas-kling/

But generally, I get excited whenever there’s a new cocursive episode. It “scores higher” than other shows I’m subscribed to. NPR Short Wave is another show where I’ve w joyed almost every ep. Usually listen to one over lunch while looking out a window.


Serenity OS - CoRecursive Podcast

How would you build an operating system? My answer is I wouldn't. First off, I don't know how. And the second thing is it seems like to large of a task. It took thousands of developers to build Windows XP.
Adam Gordon Bell (CoRecursive Podcast)
@users/awesomekling
in reply to Devine Lu Linvega

geography
geography
• •
this is very new so only one episode so far (on #gleam), but it was very good! https://pod.link/developer-voices

Developer Voices

Listen to some of the smartest developers we know talk about what they're working on, how they're trying to move the world of software development forward, and what you can learn from it.
pod.link
#gleam
in reply to Devine Lu Linvega

Joe Germuska
Joe Germuska
• •

thanks for these! Future of Coding looks right up my alley.

I don't listen to that many coding podcasts but something else I've really been enjoying is the Many Minds podcast, about all kinds of thinking: human, animal, computer... https://disi.org/manyminds/


Podcast - DISI

The Diverse Intelligences Summer Institute (DISI) is building a new community: a vibrant network of early-career scholars who are devoted to bold, transdisciplinary inquiry into the origins, nature, and future of intelligences.
Diverse Intelligences Summer Institute (DISI)
in reply to Devine Lu Linvega

Alexander Cobleigh
Alexander Cobleigh
• •

muse's podcast has some really good interviews in their backlog 😀

https://museapp.com/podcast/


Metamuse podcast

Tools for thought, product design, and how to have good ideas. A podcast hosted by Mark McGranaghan and Adam Wiggins.
museapp.com
in reply to Devine Lu Linvega

Garth Kidd
Garth Kidd
• •
you might have already seen this but this one Oxide and Friends recording about hardware “bringup” and the difficulty of supplying power to and cooling a large, fussy chip was a fun and wild ride through half a dozen specialities… read the show notes for the vaguest idea then jump in for the ride share.transistor.fm/s/4fd8383d

Lo, thar be cookies on this site to keep track of your login. By clicking 'okay', you are CONSENTING to this.

⇧