29/12/2025
🎉 NEW EPISODE OUT 🎉
🎙️’The Unbreakable Code: Formal Verification and the Future of Programming’
Join us as Lukas discusses the ultimate challenge in computer science: building a software that does not fail.
Don’t forget to listen on Spotify!!