Here are 3 episodes of the podcast.
The fourth episode is about formal methods with Matthias Güdemann PhD (formal methods sofware engineer at IOHK).
The fifth episode is about the 1.5 update to go from Byron (Ouroboros classic) to Shelley (Ouroboros genesis).
In the sixth episode, we talked with Florian Bohnert (CMO) about the work of Emurgo in the Cardano ecosystem.
Podcast Cardano FR episode #4 w/ Matthias Güdemann
Podcast Cardano FR episode #5
Podcast Cardano FR episode #6 w/ Florian Bohnert