diff --git a/podcast/86/index.markdown b/podcast/86/index.markdown
new file mode 100644
index 00000000..e39d2e5e
--- /dev/null
+++ b/podcast/86/index.markdown
@@ -0,0 +1,9 @@
+---
+title: Michael Hanus
+episode: 86
+buzzsproutId: 19791134
+recorded: 2026-03-18
+published: 2026-09-11
+---
+
+In this episode, we sat down with Michael Hanus. Michael is a professor at the University of Kiel and is one of the founders of functional logic programming, the combination of logic and functional programming in a single formalism. Michael is also the creator of Curry, a functional-logic language that resembles Haskell, so you can dive right in if you're familiar with Haskell. Naturally, we talked about what functional logic programming is, how it improves over plain functional programming, and the challenges of semantics and implementation. We learned a lot - enjoy!
diff --git a/podcast/86/links.markdown b/podcast/86/links.markdown
new file mode 100644
index 00000000..4fbbccb9
--- /dev/null
+++ b/podcast/86/links.markdown
@@ -0,0 +1,10 @@
+- [Prolog](https://en.wikipedia.org/wiki/Prolog)
+- [Constraint logic programming](https://dl.acm.org/doi/10.1145/41625.41635)
+- [Ralph Hinze](https://www.cs.ox.ac.uk/people/ralf.hinze/)
+- [Miranda](https://www.cs.kent.ac.uk/people/staff/dat/miranda/)
+- [Curry](https://www.curry-lang.org/)
+- [Implementing Equational Constraints in a Functional Language](https://doi.org/10.1007/978-3-642-45284-0_9)
+- [Verse](https://verselang.github.io/book/)
+- [The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming](https://ranjitjhala.github.io/static/verse-calculus-icfp23-full.pdf)
+- [miniKanren](https://minikanren.org/)
+- [Lambda Prolog](https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/)