Tech Talk: Bartosz Milewski on Category Theory

Tech Talk: Bartosz Milewski on Category Theory

Author: Adam Gordon Bell - Software Developer August 15, 2019 Duration: 53:33

Tech Talks are in-depth technical discussions.

Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers.

The world of functional programming is rife with terminology imported from abstract algebra and Category Theory. In fact, it may be one of the most valid criticisms of functional programming is the use of Category-Theoretic terminology that can be unwelcoming to newcomers.

Category theory can also be a tool to teach us to see software development in a different light and it can teach us to build better software. Bartosz is also just an interesting person, if you haven't heard of him yet, you are in for a treat.

Bartosz's Website

Blog Series

Book

Lecture Series

https://corecursive.com/035-bartosz-milewski-category-theory/


In CoRecursive: Coding Stories, host Adam Gordon Bell sits down with software developers to explore the human narratives woven into the technology we build. This isn't a technical interview focused on syntax or best practices, but a deeper dive into the pivotal moments, creative struggles, and personal insights that shape how code comes to life. Each conversation reveals the context behind decisions, the stories of failure and breakthrough, and the often-overlooked human elements that define our craft. As a software developer himself, Adam guides these discussions with genuine curiosity, pulling out anecdotes and reflections you won't hear anywhere else. The podcast lives in the intersection of News, Education, and How-To, but through the lens of lived experience. You'll hear about the origins of influential projects, the rationale behind unconventional solutions, and the personal journeys that lead developers to their philosophies. Listening feels like pulling up a chair with thoughtful peers, offering a richer understanding of the profession that goes far beyond the screen. This is where the abstract becomes concrete, through the stories and people behind the code.
Author: Language: English Episodes: 100

CoRecursive: Coding Stories
Podcast Episodes
Story: Serenity OS [not-audio_url] [/not-audio_url]

Duration: 41:29
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. But actually,…
Chat: The Internet Is Made of Duct Tape [not-audio_url] [/not-audio_url]

Duration: 42:23
Today, I have two of my favorite guests together: Krystal Maughan and Don McKay. We are going to be sharing strange and interesting facts about computing. I'm super pumped about this because, sometimes, I learn something…
Story: Cocoa Culture [not-audio_url] [/not-audio_url]

Duration: 44:22
The last episode, I said I wasn't sure there was such a thing as culture, but that's not the case. Every place I've worked has been a bit different, and often those differences had huge impacts on the software we built.…
Story: Leaving Debian [not-audio_url] [/not-audio_url]

Duration: 40:27
Today's story is an insider view of Debian. One of the oldest Linux distributions and probably one of the longest-running volunteer-based open-source projects. Joey Hess is my guest, and he dedicated significant parts of…
Story: The Original Remote Developer [not-audio_url] [/not-audio_url]

Duration: 41:27
Today's episode is about remote work. Well, sort of. I found someone with a different perspective on remote work and a fantastic story to share, Paul Lutus. I think that he might be the original remote software developer…
Chat: Quines, Polygot Code, and Other Fun Computations [not-audio_url] [/not-audio_url]

Duration: 1:01:24
Today, previous guest and my neighbor Don Mckay and I will discuss items from the endless fascinating Cursed Computer Iceberg Meme. The Iceberg is a giant list of "the peculiarities and weirdness of computers." We each a…
Story: Full-Time Open Source [not-audio_url] [/not-audio_url]

Duration: 46:15
Today's show: How to Quit Your Job and Work on Open Source Full Time. This story has it all, balancing open source work and full-time employment, building up enough supporters and enough savings to leave your job. The ha…
Story: The Untold Story of SQLite [not-audio_url] [/not-audio_url]

Duration: 38:35
On today's show, I'm talking to Richard Hipp about surviving becoming core infrastructure for the world. SQLite is everywhere. It's in your web browser, it's in your phone, it's probably in your car, and it's definitely…
Story: From Competitive Programming to APL [not-audio_url] [/not-audio_url]

Duration: 53:42
Today on the show, we have solving algorithmic programming problems. You know when you interview for a job to write CSS and they ask you to reverse a binary tree on the whiteboard using C and in constant memory space? It…
Story: Ethereum Rescue [not-audio_url] [/not-audio_url]

Duration: 34:58
Today I talk to Dan Robinson about trying to get someone their money back on Ethereum. He's going to be battling this murky world of blockchain high-frequency bots. Along the way, we'll learn how trades are executed on E…