I gave a similar talk at the Dependable Systems group's seminar at Heriot Watt University in March 2024.
I gave a similar talk at SPLS in March 2024.
Under Creative Commons CC0 License, source on github. Built using Pelican. Theme adapted from pelican-svbhack by Giulio Fidente.