Abstraction and Learning with Runar Bjarnason

Abstraction and Learning with Runar Bjarnason

What is abstraction? Can we have a precise definition of abstraction that, once understood, makes writing software simpler? Runar has thought a lot about abstraction and how we can choose the proper level of abstraction for the software we write. In this interview, he explains these concepts using examples from the real world, from SQL, from effectful computing and many other areas.

We also talk about how to learn and acquire the skills necessary to understand abstract concepts like very polymorphic code and category theory.

Runar also explains his latest project unison computing and how it uses the correct level of abstraction to rethink several foundation ideas in software development.

Links:

Webpage for show

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(115)

Story: LISP in Space

Story: LISP in Space

Have you ever had a unique approach to a problem and been excited to use it, but you're met with skepticism?   Today's story: what happens if you take someone who's passionate about LISP and put them ...

2 Touko 202238min

Chat: April Fools' Is Cancelled

Chat: April Fools' Is Cancelled

On this day in 2014 "lame april fools' jokes" were banned from hacker news.    Today in our first This-Day-in-History segment, I want to share some of history not just of April Fools', but of tech pra...

1 Huhti 202238min

Story: The Story Graph with Nadia Odunayo

Story: The Story Graph with Nadia Odunayo

Whenever I work on a side project, I can't help but daydream of it taking off in a big way. For today's guests, something like that did happen.    When Nadia started building her side project, she did...

2 Maalis 202248min

Story: Serenity OS

Story: Serenity OS

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

1 Helmi 202241min

Chat: The Internet Is Made of Duct Tape

Chat: The Internet Is Made of Duct Tape

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, sometime...

2 Tammi 202242min

Story: Cocoa Culture

Story: Cocoa Culture

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

2 Joulu 202144min

Story: Leaving Debian

Story: Leaving Debian

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

2 Marras 202140min

Story: The Original Remote Developer

Story: The Original Remote Developer

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

4 Loka 202141min

Suosittua kategoriassa Politiikka ja uutiset

uutiscast
aikalisa
politiikan-puskaradio
viisupodi
ootsa-kuullut-tasta-2
rss-ootsa-kuullut-tasta
tervo-halme
rss-vaalirankkurit-podcast
rss-asiastudio
rss-podme-livebox
rss-pinnalla
the-ulkopolitist
otetaan-yhdet
rss-ulkopoditiikkaa
aihe
linda-maria
et-sa-noin-voi-sanoo-esittaa
rss-kaikki-uusiksi
rikosmyytit
rss-kyselytunti