# Haskell Interlude 72: Manuel Chakravarty

**URL:** <https://discourse.haskell.org/t/haskell-interlude-72-manuel-chakravarty/13190>\
**Category:** Links\
**Created:** [October 30, 2025, 1:42pm UTC](https://discourse.haskell.org/t/haskell-interlude-72-manuel-chakravarty/13190 "2025-10-30T13:42:01Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![arpl](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/arpl/32/1713_2.png) [@arpl](https://discourse.haskell.org/u/arpl)\
**Post date:** [October 31, 2025, 4:35am UTC](https://discourse.haskell.org/t/haskell-interlude-72-manuel-chakravarty/13190/2 "2025-10-31T04:35:54Z")

</div>

[Short follow-up to [Haskell Interlude 71: Stefan Wehr](https://discourse.haskell.org/t/haskell-interlude-71-stefan-wehr/13129/2)]

The Buzzsprout player is present on the page (and download via Share works).

The name of the downloaded file is “processed\_audio.mp3”. Not just with this podcast, but previous ones as well. So it requires manual renaming. Not a big deal, but would be nice if the downloaded file has the title of the episode as its name. (In particular for people downloading multiple episodes at once.)

---

_[View the full topic](https://discourse.haskell.org/t/haskell-interlude-72-manuel-chakravarty/13190)._