CoRecursive: Coding Stories – Details, episodes & analysis

Podcast details

Technical and general information from the podcast's RSS feed.

CoRecursive: Coding Stories

Adam Gordon Bell - Software Developer

News

Education

Frequency: 1 episode/27d. Total Eps: 117

The stories and people behind the code. Hear stories of software development from interesting people.

Site

RSS

Recent rankings

Latest chart positions across Apple Podcasts and Spotify rankings.

Apple Podcasts

No recent rankings available

Spotify

No recent rankings available

Shared links between episodes and podcasts

Links found in episode descriptions and other podcasts that share them.

See all

https://corecursive.com/subscribe
58 shares
https://corecursive.com/newsletter
58 shares
https://corecursive.com/donate
55 shares

https://www.youtube.com/watch?v=HUEvRyemKSg
1 share
https://www.youtube.com/watch?v=RV997YRIMZs
1 share
https://www.youtube.com/watch?v=9LfmrkyP81M
1 share

https://github.com/twitter/summingbird
1 share
https://github.com/twitter/algebird
1 share
https://github.com/gcc-mirror/gcc
1 share

RSS feed quality and score

Technical evaluation of the podcast's RSS feed quality and structure.

See all

RSS feed quality

To improve

Score global : 52%

Publication history

Monthly episode publishing history over the past years.

Year

Latest published episodes

Recent episodes with titles, durations, and descriptions.

See all

Story: Godbolt's Rule - When Abstractions Fail

Episode 116

Tuesday, November 4, 2025 • Duration 44:13

What do you do when your code breaks and the only fix is to dig into the runtime below?

Matt Godbolt lives for that. Tile-based renderers, color-coded scanlines, zero-copy NICs—each story is a clue that leads past the abstraction to the real machine. He shares the rule that guides him: master your layer, learn the one below, and know the outline of the layer under that.

Matt Godbolt's journey proves the real breakthroughs are hideen behind the abstrations where you are comfortable and familiar.

Read moreCollapse

Story: Risk Rolls Downhill - The Software Bug That Sent People to Prison

Episode 115

Thursday, October 2, 2025 • Duration 54:58

What if a software bug drained your savings, ruined your reputation, and nobody believed it wasn't your fault?

Scott Darlington took over a village post office, hoping to give his family a steady life. But the software system kept showing cash shortfalls he couldn't explain. Each time, the Post Office told him the numbers were right and made him pay the difference out of his own pocket.

Eventually it became too much and actions Scott took to protect himself lead to his arrest and public shaming.

How do you build trust in systems when the people behind them refuse to admit they're broken?

Read moreCollapse

Story: Leaving Stripe

Episode 107

Thursday, January 2, 2025 • Duration 51:45

What if leaving your dream job was the way to discover your true self?

Jon de la Motte failed his first Stripe interview, but he didn't give up. It was his dream job, a company that connected with his father's work in finance with his software ambitions.

At Stripe, Jon faced challenges. He joined a risky JavaScript infrastructure team and struggled to find his footing. Eventually he found his way, built a great team and then it all started to fall apart again.

Discover how Jon's journey reshaped his life and what it means to balance personal and professional priorities.

Read moreCollapse

Tech Talk: Dependent Types in Haskell with Stephanie Weirich

Episode 15

Wednesday, June 13, 2018 • Duration 58:44

Tech Talks are in-depth technical discussions.

At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere.

Yet key look up in the dictionary was validated at compile time. It was a compile time error to access elements that didn't exist. Also the dictionary was heterogeneous, the elements had different types, and it was all inferred and validated at compile time.

What I was seeing was Dependent types in Haskell. In today's interview Stephanie Weirich explains her efforts to add dependent types to haskell and how that example worked.

Shows Notes:

Read moreCollapse

Tech Talk: Micro Services vs Monoliths With Jan Machacek

Episode 14

Wednesday, June 6, 2018 • Duration 01:06:33

Tech Talks are in-depth technical discussions.

I don't know a lot about micro services. Like how to design them and what the various caveats and anti-patterns are. I'm currently working on a project that involves decomposing a monolithic application into separate parts, integrated together using Kafka and http.

Today I talk to coauthor of upcoming book, Reactive Systems Architecture : Designing and Implementing an Entire Distributed System. If you want to learn some of the hows and whys of building a distributed system, I think you'll really enjoy this interview. The insights from this conversation are already helping me.

Contact
- Jan Machacek is the CTO at Cake Solutions.
Videos
- long lived micro services
- Book - Reactive System Architecture

Read moreCollapse

Tech Talk: Rust And Bitter C++ Developers With Jim Blandy

Episode 13

Wednesday, May 16, 2018 • Duration 01:02:53

Tech Talks are in-depth technical discussions.

Rust, the programming language, seems to be really trendy these days. Trendy to me means shows up a lot on hacker news. Rust is really interesting language though, and I think the growing popularity is deserved.

Today I talk with Jim Blandy, one of the authors of Programming Rust. We talk about what problems rust is trying to solve, the unique language features and type system of rust. It includes both algebraic data types, type classes, and generics. There is even a proposal somewhere for adding HKT. We also touch on why it is so hard to secure code. Jim works on Firefox and his insights into the difficulty of writing secure code are super interesting.

Show notes

Rust
Programming Rust Book
MESI protocol
Constraint-based Verification of Parameterized Cache Coherence Protocols Formal Methods in System Design
Rust Validation -
3d game demo - (not sure where this is, post in comments if you find it)
integer overflow

Read moreCollapse

Tech Talk: Erlang And Distributed Systems with Steven Proctor

Episode 12

Wednesday, May 2, 2018 • Duration 01:01:26

Tech Talks are in-depth technical discussions.

Today's interview is with Steven Proctor, the host of the functional geekery podcast. We talk about distributed programming in general and specifically how erlang supports distributed computing. We also talk about things he's learned about functional programming and applying FP principles to various non FP contexts.

Contact Proctor:

Read moreCollapse

Tech Talk: Purescript And Avocados with Justin Woo

Episode 10

Wednesday, April 4, 2018 • Duration 51:06

Tech Talks are in-depth technical discussions.

Purescript is a functional programming language that compiles to javascript. It is a strict haskell dialect that can run anywhere that javascript does.

Justin Woo is a self described Purescript evangelist and enthusiast. We talk about purescript vs elm and working with expressive type systems. Justin also had some great metaphors about phantom types and masking tape as well as avacados and testing.

Contact Justin:

Show notes:

Purescript
purescript training videos

My team at Tenable is hiring. We are a distributed team of scala developers working on static analysis of docker containers (among other things).

We are a team of smart people, working fairly autonomously on interesting problems. We are one of many teams working on interesting problems at Tenable. I think its a great place to work.

I am in Peterborough, in Canada, and our team has people working in the US, Ireland and the UK as well.

Here is the job posting:

https://www.linkedin.com/jobs/view/586241797/

Tell them Adam sent you, or you can email me directly at work abell at tenable.com or use this link to apply.

Tech Talk: Throw Away the Irrelevant with John A De Goes

Episode 9

Wednesday, March 21, 2018 • Duration 01:07:41

Tech Talks are in-depth technical discussions.

Today's interview is with John A De Goes. We talk about performance problems with monad transformer on the jvm, various flavours of IO monads and reasoning about polymorphic type signatures. On the lighter side of things, we discuss how to write technical articles well, flame wars and Zee vs Zed pronunciation.

Show Notes:

Read moreCollapse

Tech Talk: Total Swift Programming

Episode 7

Monday, February 12, 2018 • Duration 53:53

Tech Talks are in-depth technical discussions.

In simple terms, a total function is a function that produces a well defined output for all possible inputs. A total program is a program composed of only total functions.

A non-total, or partial function, would be a function that can fail given certain inputs. Such as taking the head of a list, which can fail if giving an empty list and is therefore non-total.

Total programming can be done in any language, however many languages make this easier. Some, going so far as to require proof of totality.

In this interview Andre Videla discusses how the swift program language encourages programming in a total style. He also discusses his love of Idris, proof assistants and how his research into haskell, idris and dependant types have made him a better swift programmer.

Links:

Total Programming In Swift

Read moreCollapse

CoRecursive: Coding Stories – Details, episodes & analysis

Podcast details

Recent rankings

Apple Podcasts

Spotify

Shared links between episodes and podcasts

RSS feed quality and score

Publication history

Latest published episodes

Related Shows Based on Content Similarities

Apple Podcasts

Spotify

Related Shows Based on Content Similarities

CoRecursive: Coding Stories – Details, episodes & analysis

Podcast details

Recent rankings

Apple Podcasts

Spotify

Shared links between episodes and podcasts

Other99+

Youtube23

Github17

RSS feed quality and score

Publication history

Latest published episodes

Similar podcasts and content

Related Shows Based on Content Similarities

Apple Podcasts

Spotify

Related Shows Based on Content Similarities

Other99+

Youtube23

Github17