Add episode 57 (#454)

* Add episode 57

* Fix typo in name

* Fix episode id in episode 57

Author: Tritlo

podcast/57/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Gabriele Keller
+episode: 57
+buzzsproutId: 16040809
+recorded: 2024-09-18
+published: 2024-11-03
+---
+Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environment for embedding languages and how the desire to implement parallel programming sparked the development of type families in Haskell and that teaching functional programming works better with graphics.

podcast/57/links.markdown

@@ -0,0 +1,13 @@
+* [Gabriele Keller](https://www.uu.nl/staff/GKKeller)
+* [Miranda](https://www.cs.kent.ac.uk/people/staff/dat/miranda/)
+* [Nesl](https://www.cs.cmu.edu/~guyb/papers/Nesl2.0.pdf)
+* [DPH](https://wiki.haskell.org/GHC/Data_Parallel_Haskell)
+* [Repa](https://hackage.haskell.org/package/repa)
+* [Accelerate](https://www.acceleratehs.org/)
+* [Associated Types with Class (paper)](https://doi.org/10.1145/1040305.1040306)
+* [Manuel Chakravarty](https://justtesting.org/)
+* [Book: An Introduction to Computing with Haskell](https://books.google.de/books/about/An_Introduction_to_Computing_with_Haskel.html?id=qC3dAAAACAAJ&redir_esc=y)
+* [gloss](https://hackage.haskell.org/package/gloss)
+* [seL4](https://sel4.systems/)
+* [cogent](https://trustworthy.systems/projects/OLD/cogent/)
+* [Plutus](https://developers.cardano.org/docs/smart-contracts/plutus/)