diff --git a/podcast/51/index.markdown b/podcast/51/index.markdown new file mode 100644 index 00000000..95f97607 --- /dev/null +++ b/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. diff --git a/podcast/51/links.markdown b/podcast/51/links.markdown new file mode 100644 index 00000000..56dbd97c --- /dev/null +++ b/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)