Add talk links to POPL part 1 + minor transcript corrections

podcast/80/links.markdown

@@ -8,3 +8,18 @@
 - [Francille Zhuang](https://www.linkedin.com/in/francille-zhuang-235756290/)
 - [Type Theory Forall Episode with Francille Zhuang](https://www.typetheoryforall.com/episodes/property-based-testing-and-pl-grad-school-applications)
 - [FARM - Workshop on Functional Art, Music, Modelling and Design](https://functional-art.org/)
+- [PLMW - Programming Languages Mentoring Workshop](https://popl26.sigplan.org/home/PLMW-POPL-2026)
+- Talks/papers mentioned:
+  - [[PLanQC'26] Democratizing quantum formal verification: the path-sum way](https://www.youtube.com/watch?v=EUfmXQKUEUg)
+  - [[POPL'26] Parameterized Verification of Quantum Circuits](https://www.youtube.com/watch?v=JUsI21KtXG4)
+  - [[CPP'26] How can Machine Learning Help Formal Proving?](https://www.youtube.com/watch?v=CRQSx4rBNeA)
+  - [Bar Inductive Predicates for Constructive Algebra in Rocq](https://dl.acm.org/doi/10.1145/3779031.3779103)
+  - [[POPL'26] Security Reasoning via Substructural Dependency Tracking](https://www.youtube.com/watch?v=iN3JWucsIcs)
+  - [[VMCAI'26] Verification of Generic VHDL Designs and Their Translation to Rocq](https://www.youtube.com/watch?v=UtnB5T8PcnM)
+  - [[PEPM'26] Towards Lightweight and Efficient Choreographic Cloud Services](https://www.youtube.com/watch?v=JdbrtFS7N44)
+  - [[PLanQC'26] One rig to control them all](https://www.youtube.com/watch?v=6rZ8BMtclIU)
+  - [[PLanQC'26] Denotational semantics for stabiliser quantum programs](https://www.youtube.com/watch?v=wkL89W6Fogc)
+  - [[POPL'22] Quantum Information Effects](https://www.youtube.com/watch?v=DyNwZ1G2s58)
+  - [[POPL'26] Quantum Circuits Are Just a Phase](https://www.youtube.com/watch?v=7y9QGVMHp48)
+  - [[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)
+  - [[POPL'26] Rows and Capabilities as Modal Effects](https://www.youtube.com/watch?v=8Mo62DxbP04)

podcast/80/transcript.markdown

@@ -338,7 +338,7 @@ Additionally, we have to set up the rooms that will be used on the next days bec
 
 Cool, yes. I’m here with Satnam. You just got here today or yesterday? 
 
-*Satnam Singh (0:18:00)*: Yeah, I got here on Monday evening, so I sadly missed the first day. I’m looking forward to some talks at VMCAI. So it was a very interesting talk on translating VHDL hardware descriptions to Rocq. But I tracked down one of the officers today and talked to them. But yeah, I’ve been here for the morning and lots of interesting talks and people.
+*Satnam Singh (0:18:00)*: Yeah, I got here on Monday evening, so I sadly missed the first day. I’m looking forward to some talks at VMCAI. So it was a very interesting talk on translating VHDL hardware descriptions to Rocq. But I tracked down one of the authors today and talked to them. But yeah, I’ve been here for the morning and lots of interesting talks and people.
 
 *JF (0:18:17)*: What have you seen? What have been the interesting talks?
 
@@ -860,4 +860,4 @@ Okay. So I’m here with Roger Burtonpatel and Francille Zhuang. It is Tuesda
 
 *Narrator (0:42:38)*: The Haskell Interlude Podcast is a project of the Haskell Foundation, and it is made possible by the generous support of our sponsors, especially the Gold-level sponsors: Input Output, Juspay, and Mercury.
 
-*Unknown Speaker (0:42:54)*: That was fun.
+*FZ (0:42:54)*: That was fun.