Merge pull request #420 from haskellfoundation/episode51

Episode 51

Author: nomeata

podcast/51/index.markdown

@@ -0,0 +1,8 @@
+---
+title: Victor Cacciari Miraldo
+episode: 51
+buzzsproutId: 15256603
+recorded: 2024-04-16
+published: 2024-06-16
+---
+Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a `safePerformIO`, and that he hopes that Software Engineering could be less like alchemy.

podcast/51/links.markdown

@@ -0,0 +1,13 @@
+* [Victor’s webpage](https://victorcmiraldo.github.io/)
+* [Channable](https://www.channable.com/)
+* [Agda](https://wiki.portal.chalmers.se/agda/pmwiki.php)
+* [EasyCrypt](https://github.com/EasyCrypt/easycrypt)
+* [Agda2hs](https://agda.github.io/agda2hs/)
+* [Skiplist CPP’21 paper](https://victorcmiraldo.github.io/data/cpp2021.pdf)
+* [Dfinity](https://dfinity.org/)
+* [Tweag](https://www.tweag.io/)
+* [Cardano](https://cardano.org/)
+* [servant](https://www.servant.dev/)
+* [hasql](https://hackage.haskell.org/package/hasql)
+* [esqueleto](https://github.com/bitemyapp/esqueleto)
+* [beam](https://travis.athougies.net/projects/beam.html)