From 12ab657890cfec2e4cf4f407fb327fc6bb0f04c8 Mon Sep 17 00:00:00 2001 From: Jess <34199683+ratherforky@users.noreply.github.com> Date: Tue, 16 Jun 2026 17:36:53 +0100 Subject: [PATCH] Add links for other POPL part 2 interviewees --- podcast/83/links.markdown | 3 +++ 1 file changed, 3 insertions(+) diff --git a/podcast/83/links.markdown b/podcast/83/links.markdown index 7859b62f..d5e4b6d5 100644 --- a/podcast/83/links.markdown +++ b/podcast/83/links.markdown @@ -1,6 +1,9 @@ * [Andrew Hirsch](https://akhirsch.science/) * [Opale Sjöstedt](https://n1ark.com/) * [Yanning Chen](https://yanningchen.me/) +* [Edward Kmett](https://github.com/ekmett) +* [Eddie Jones](https://ec-jones.github.io/) +* [Tom Divers](https://tomdaboom.github.io/) * [\[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)