Chat: Don and Adam discuss folds

Chat: Don and Adam discuss folds

Today we try a different format. Adam invites his neighbour, Don McKay, over to ask him questions. An interesting discussion on recursion, corecursion and the naming of the podcast unfolds.

"John was saying, we conclude that since modularity is the key to successful programming, dah, dah, dah, dah, dah. I think what he means by modularity is okay, we write our fold and it's like three lines long. Once that exists somewhere, we don't have to have that base case all over our code. We ended up programming a higher declarative level.
The other reason is just I really like clean abstractions. There's more to learn but once you do, you're able to kind of have this language where you can talk about these things at a higher level"

https://corecursive.com/046-don-and-adam-folds/

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)

Quick Update

Quick Update

A quick update from Adam about the podcast's current state, consistency challenges, and what's coming next.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter

2 Sep 20258min

Coding in the Red-Queen Era

Coding in the Red-Queen Era

What do we risk when we let AI do the heavy lifting in our coding? Are we giving up the thinking that makes us good at what we do? And as expectations keep rising to match productivy gains, is all thi...

6 Aug 202542min

When AI Codes, What's Left for me?

When AI Codes, What's Left for me?

I've always found meaning—and a lot of strength—in building things. Now, with AI coding agents changing the way we work, it's easy to feel threatened, like something essential might get taken away. Bu...

2 Juli 202539min

Story: Coding Through Chaos : Addiction, Recovery and Acceptance

Story: Coding Through Chaos : Addiction, Recovery and Acceptance

What if your search for connection took you somewhere you never meant to go—almost costing you everything? John Walker grew up building computers and exploring early internet forums, always looking fo...

3 Juni 202548min

Story: The Power of Context: Reimagining Learning

Story: The Power of Context: Reimagining Learning

Have you ever found yourself in a situation where learning felt like an uphill battle? Like no matter how hard you tried, the pieces just wouldn't fall into place?   Steve Krouse's story shows the pow...

2 Maj 202545min

Story: briffa_sep98_e.pro - The File That Sparked a Storm

Story: briffa_sep98_e.pro - The File That Sparked a Storm

Can a single line of code change the way we see science, policy, and trust?   In this episode we explore the "Climategate" scandal that erupted from leaked emails and code snippets, fueling doubts abo...

2 Apr 202557min

Story: Hatetris - Obsession, Friendship, and World Records

Story: Hatetris - Obsession, Friendship, and World Records

What if a simple game became a gateway to computational breakthroughs? David Freiberg and Felipe set out on a journey to conquer Hatetris, a notoriously difficult JavaScript game. Their interest ignit...

3 Mars 202548min

Story: One Million Checkboxes - The Viral Game That Defied Convention

Story: One Million Checkboxes - The Viral Game That Defied Convention

What if internet trolls could become your greatest collaborators? Nolen Royalty discovered this unexpected truth when his simple checkbox game went viral. It began with a school email prank that crash...

3 Feb 202552min

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