Tech Talk: Bartosz Milewski on Category Theory

Tech Talk: Bartosz Milewski on Category Theory

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/

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(115)

The Pre-Training Wall and the Treadmill After It

The Pre-Training Wall and the Treadmill After It

I've been confusing Don with frontier-lab links late at night for a bit. Ilya Sutskever told a NeurIPS audience that pre-training as we know it would unquestionably end. There's only one internet, and...

9 Maj 56min

Story: The Aging Programmer

Story: The Aging Programmer

Kate Gregory has been writing C++ for over forty years. Books, keynotes, a consulting firm she built from the ground up. At sixty-three, she's one of the most experienced programmers alive. She survey...

2 Apr 41min

From Hacker News to TikTok - How Algorithms Learned to Hook Us

From Hacker News to TikTok - How Algorithms Learned to Hook Us

Corey told me about his AI cat reel problem. He found these AI-genearted cat videos hilarious. Who makes these? He kept sending them to his wife. Then he tried to stop watching and he couldn't. So I w...

2 Mars 41min

Notes: The Universal Paperclip Clicker

Notes: The Universal Paperclip Clicker

Multiple VS Code windows. "Agent stopping" in a robot voice. A laptop stand on the treadmill so Claude can keep working while I run. The Big Rich sitting unread by the fireplace while I check if the m...

4 Feb 11min

Story: Inside Early Google - Race Conditions, Java Pain, and the Birth of AdWords

Story: Inside Early Google - Race Conditions, Java Pain, and the Birth of AdWords

Ron Garret left JPL for a 100-person startup he'd just discovered on Usenet. Four a.m. alarms. Burbank to San Jose on Southwest. A rented room in Susan Wojcicki's house. He expected the search engine ...

2 Jan 37min

Story: The Bug He Couldn't Name - A 15-Year Fight Inside One Developer's Mind

Story: The Bug He Couldn't Name - A 15-Year Fight Inside One Developer's Mind

Imagine facing a problem you can't name, something that feels bigger than any bug you've ever had to fix. How do you debug your own mind when you don't even know what's wrong? Burke Holland's story st...

2 Dec 202544min

Story: Godbolt's Rule - When Abstractions Fail

Story: Godbolt's Rule - When Abstractions Fail

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

4 Nov 202544min

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

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

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

2 Okt 202554min

Populärt inom Politik & nyheter

aftonbladet-krim
motiv
svenska-fall
p3-krim
aftonbladet-daily
politiken
flashback-forever
rss-krimstad
spar
rss-expressen-dok
rss-sanning-konsekvens
rss-vad-fan-hande
olyckan-inifran
kungligt
grans
rss-krimreportrarna
blenda-2
rss-aftonbladet-krim
rss-frandfors-horna
dagens-eko