Episode #5 Type Systems, collateral

We've recently released the episode about type systems. To give you more context, I've refactored the script of the episode and added examples.

Bonus Episode: Edwin Brady on Dependent Types And Idris

Bonus to Episode #5. Type systems. Guests: Edwin Brady twitter.com/edwinbrady

Episode 5. Type Systems

Episode #5. Type systems. Guests: Joseph Abrahamson twitter.com/sdbo Radoslav Kirov twitter.com/radokirov Erlend Hamberg twitter.com/ehamberg Edwin Brady twitter.com/edwinbrady

Episode 4. How to design software

Episode #4. How to design software?. Guests: Craig Andera twitter.com/craigandera Eric Elliott twitter.com/_ericelliott Mario Zechner twitter.com/badlogicgames

Limits of technical podcasting

Podcasts about programming are all the same. Sure, hosts and topics are different, but the format is the same. And this format – it has it's limitations.

Episode 3. Concurrency – Event loop & Coroutines

Episode #3. Concurrency – Event loops & Сoroutines. Guests: A. Jesse Jiryu Davis emptysqua.re/ and Saúl Ibarra Corretgé about.me/saghul

Episode 2. Concurrency – CSP & Actors

Episode #2. Concurrency – CSP & Actors. Guests: Aaron Schlesinger http://arschles.com/ and Jörgen Brandt http://www.joergen-brandt.de/

Episode 1. Concurrency

First episode. Concurrency and multithreading. Speakers: Daniel Higginbotham, Steve Klabnik.

Episode 1 preview

This is announcement of first episode. Code podcast

Episode0. main()

Hi guys, we are launching, this is episode 0 which gives you the idea of what will happen in this podcast series. Please welcome our host: Andrey Salomatin

Page 1 / 2 »