Merge pull request #396 from haskellfoundation/episode46

Episode 46

Author: nomeata

podcast/45/index.markdown

@@ -3,6 +3,6 @@ title: András Kovács
 episode: 45
 buzzsproutId: 14709385
 recorded: 2024-01-31
-published: 2024-03-1j
+published: 2024-03-18
 ---
 In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.

podcast/46/index.markdown

@@ -0,0 +1,8 @@
+---
+title: effectfully
+episode: 46
+buzzsproutId: 14808935
+recorded: 2024-02-06
+published: 2024-04-1
+---
+Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations, has encountered many spaceleaks, and used Haskell to prevent robots from killing people.

podcast/46/links.markdown

@@ -0,0 +1,9 @@
+* [effectfully on Github](https://github.com/effectfully)
+* [qtah qt bindings](https://hackage.haskell.org/package/qtah-qt5)
+* [Plutus](https://plutus.readthedocs.io/en/latest)
+* [The Foil: Capture-Avoiding Substitution With No Sharp Edges](https://arxiv.org/abs/2210.04729)
+* [Software Foundations](https://softwarefoundations.cis.upenn.edu/)
+* [Types and Programming Languages](https://www.cis.upenn.edu/~bcpierce/tapl/)
+* [A well-known representation of monoids and its application to the function ‘vector reverse’](https://doi.org/10.1017/S0956796822000065)
+* [An Existential Crisis Resolved: Type inference for first-class existential types](https://doi.org/10.1145/3473569)
+* [QuviQ](https://quviq.com)