meetups

🎧 Podcasts about Programming Languages

CoRecursive :star:

Future of Coding :star:

Algorithms + Data Structures = Programs :star:

Advent of Computing

Functional Geekery

Libre Lounge ep. 13

Language Design and Compiler Construction

Software Unscripted :star:

We Speak Your Language :star:

Array Languages

Logic Programming

The Search Space

Type Theory

The Type Theory Podcast :star:

Type Theory Forall :star:

The Iowa Type Theory Commute

Haskell

The Haskell Interlude

The Haskell Unfolder

C++