Skip to content

Commit 2e399c3

Browse files
nomeatanomeata
committed
Episode 43
1 parent 70f8210 commit 2e399c3

File tree

2 files changed

+13
-0
lines changed

2 files changed

+13
-0
lines changed

‎podcast/43/index.markdown

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
---
2+
title: Ivan Perez
3+
episode: 43
4+
buzzsproutId: 14524278
5+
recorded: 2023-01-19
6+
published: 2024-02-18
7+
---
8+
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.
9+

‎podcast/43/links.markdown

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
* [Copilot homepage](https://copilot-language.github.io/)
2+
* [Ogma homepage](https://github.com/nasa/ogma)
3+
* [Ivan’s homepage](https://ivanperez.io)
4+
* [Keera Studio](https://keera.co.uk)

0 commit comments

Comments
 (0)