From dcda2414474bd89a3f2f1db2f08ae9d75f30239a Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Sun, 3 Nov 2024 21:48:50 +0100 Subject: [PATCH 1/3] Add episode 57 --- podcast/57/index.markdown | 8 ++++++++ podcast/57/links.markdown | 13 +++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 podcast/57/index.markdown create mode 100644 podcast/57/links.markdown diff --git a/podcast/57/index.markdown b/podcast/57/index.markdown new file mode 100644 index 00000000..12a149ad --- /dev/null +++ b/podcast/57/index.markdown @@ -0,0 +1,8 @@ +--- +title: Gabrielle Keller +episode: 57 +buzzsproutId: 15850182 +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. diff --git a/podcast/57/links.markdown b/podcast/57/links.markdown new file mode 100644 index 00000000..fb01892d --- /dev/null +++ b/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/) From ed9d8d87ced8b73463e3e82a730436330e6b137e Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Sun, 3 Nov 2024 21:51:59 +0100 Subject: [PATCH 2/3] Fix typo in name --- podcast/57/index.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/podcast/57/index.markdown b/podcast/57/index.markdown index 12a149ad..40c6e88d 100644 --- a/podcast/57/index.markdown +++ b/podcast/57/index.markdown @@ -1,5 +1,5 @@ --- -title: Gabrielle Keller +title: Gabriele Keller episode: 57 buzzsproutId: 15850182 recorded: 2024-09-18 From a4624046810b1851c162a331c90ab34c32f22f71 Mon Sep 17 00:00:00 2001 From: Matthias Pall Gissurarson Date: Sun, 3 Nov 2024 21:54:29 +0100 Subject: [PATCH 3/3] Fix episode id in episode 57 --- podcast/57/index.markdown | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/podcast/57/index.markdown b/podcast/57/index.markdown index 40c6e88d..347de74f 100644 --- a/podcast/57/index.markdown +++ b/podcast/57/index.markdown @@ -1,7 +1,7 @@ --- title: Gabriele Keller episode: 57 -buzzsproutId: 15850182 +buzzsproutId: 16040809 recorded: 2024-09-18 published: 2024-11-03 ---