diff --git a/podcast/83/index.markdown b/podcast/83/index.markdown
new file mode 100644
index 00000000..1c4b6a27
--- /dev/null
+++ b/podcast/83/index.markdown
@@ -0,0 +1,16 @@
+---
+title: POPL 2026 - Part 2
+episode: 83
+buzzsproutId: 19343611
+recorded: 2026-01-17
+published: 2026-06-15
+---
+
+This is the first part of a miniseries on this year’s Symposium on
+Principles of Programming Languages, a.k.a. POPL 2026, hosted by
+Jessica Foster.
+
+In this episode we talk about: symbolic execution monads, what a lazy
+linear core in Haskell might have in common with Rust, hyperfunctions,
+the hallway track, and how to deal with rejection.
+
diff --git a/podcast/83/links.markdown b/podcast/83/links.markdown
new file mode 100644
index 00000000..7859b62f
--- /dev/null
+++ b/podcast/83/links.markdown
@@ -0,0 +1,19 @@
+* [Andrew Hirsch](https://akhirsch.science/)
+* [Opale Sjöstedt](https://n1ark.com/)
+* [Yanning Chen](https://yanningchen.me/)
+* [\[POPL'26\] Consistent Updates for Scalable Microservices](https://www.youtube.com/watch?v=wIKDMX1oxG0)  
+* [Specialisation: Context-Dependent Reasoning in Incorrectness Separation Logic](https://popl26.sigplan.org/details/tpsa-2026-papers/9/Specialisation-Context-Dependent-Reasoning-in-Incorrectness-Separation-Logic) (Not recorded)  
+* [Soteria Rust: Efficient Symbolic Execution for Rust](https://popl26.sigplan.org/details/tpsa-2026-papers/8/Soteria-Rust-Efficient-Symbolic-Execution-for-Rust) (Not recorded)  
+  * Talk for the Rust Formal Methods Interest Group: [Soteria Rust](https://www.youtube.com/watch?v=Q7sOHhbL0N8)  
+* [\[VMCAI'26\] Current State of the Industrial-Strength Infer Static Analysis Platform](https://www.youtube.com/watch?v=ZTDB2EusE-g)  
+* [\[POPL'26\] A Relational Separation Logic for Effect Handlers](https://www.youtube.com/watch?v=HjWjrERyHi8)  
+* [\[POPL'26\] Extensible Data Types with Ad-Hoc Polymorphism](https://www.youtube.com/watch?v=-bFYoIXK3MA)  
+* [\[POPL'26\] Hyperfunctions: Communicating Continuations](https://www.youtube.com/watch?v=9M_E7mPaLQ4)  
+* [\[POPL'26\] Lazy Linearity for a Core Functional Language](https://www.youtube.com/watch?v=8fLXKNBN8_c)  
+* [\[POPL'26\] Medium-scale automation for proof assistants](https://www.youtube.com/watch?v=sON0zEzCyNs)  
+* [\[POPL'26\] An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories](https://www.youtube.com/watch?v=dyZeEuJcyWw&t=1s)  
+* [\[POPL'26\] Miri: Practical Undefined Behavior Detection for Rust](https://www.youtube.com/watch?v=9A8ZeDIStAs)  
+* [\[PLMW’26\] Effects and Call-by-Push-Value](https://popl26.sigplan.org/details/PLMW-POPL-2026/2/Effects-and-Call-by-Push-Value) (Not recorded)  
+* [\[PLMW’26\] Weak Accept, or: How I Learned to Write Papers and Deal with Reviews](https://popl26.sigplan.org/details/PLMW-POPL-2026/4/Weak-Accept-or-How-I-Learned-to-Write-Papers-and-Deal-with-Reviews) (Not recorded)  
+* [\[POPL'26\] Domain-Theoretic Semantics for Functional Logic Programming](https://www.youtube.com/watch?v=oM6jr8UfPWo)
+