Merge pull request #384 from haskellfoundation/episode43

nomeata · web-flow · commit 6f67cc019368 · 2024-02-18T13:08:57.000+01:00
Episode 43
diff --git a/podcast/43/index.markdown b/podcast/43/index.markdown
@@ -0,0 +1,9 @@
+---
+title: Ivan Perez
+episode: 43
+buzzsproutId: 14524278
+recorded: 2023-01-19
+published: 2024-02-18
+---
+In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.
+
diff --git a/podcast/43/links.markdown b/podcast/43/links.markdown
@@ -0,0 +1,4 @@
+* [Copilot homepage](https://copilot-language.github.io/)
+* [Ogma homepage](https://github.com/nasa/ogma)
+* [Ivan’s homepage](https://ivanperez.io)
+* [Keera Studio](https://keera.co.uk)
