Podcasts I LikeType Theory ForallThe Haskell InterludeRust in ProductionAlgorithms + Data Structures = Programs (not to be mistaken with the book by Niklaus Wirth)