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

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.

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 / 1