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)