I'm not that up-to-date with Racket, but this seems to be a sort-of-manifesto for transitioning from dynamically type-checked languages to statically checked la

I'm not that up-to-date with Racket, but this seems to be a sort-of-manifesto for transitioning from dynamically type-checked languages to statically checked languages...? (Which I whole-heartedly support as a types-ftw-weenie.) Is there a video (or audio) to go along with the slides? It's pretty hard to follow the narrative without audio.