Building Better Systems

Galois, Joey Dodds, Shpat Morina•22 avsnitt•40 min•Månatligen

Exploring tools and approaches that make us more effective engineers and make our systems safe and reliable. Join us for discussions on recent developments in topics such as best practices in reliability and security, applied formal methods, encryption, and safe and secure hardware.

Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory

9 aug. 2022•38 min

Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

10 juni 2022•49 min

Episode #20: Ankush Desai — P: The Modeling Language That Could

28 apr. 2022•46 min

#19: Steve Weis — Security Shouldn't Be the Last Check Box

14 apr. 2022•42 min

#18: Jordan Kyriakidis — Helping People Write More Useful Requirements

9 mars 2022•47 min

#17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)

9 feb. 2022•29 min

#16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)

9 feb. 2022•56 min

#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

10 jan. 2022•56 min

#14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean

3 dec. 2021•46 min

#13: Rod Chapman – It's Either Automated or It's Wrong

24 sep. 2021•44 min

Relaterade poddar

Historiepodden

Acast

Röda vita rosen

Jenny Strömstedt & Victoria Skoglund

The Mel Robbins Podcast

Mel Robbins

Bästa livet

Mathias Hansson

Föräldramötet - Bring & Lagercrantz

Alexandra Bring & Ebba Lagercrantz

All-In with Chamath, Jason, Sacks & Friedberg

All-In Podcast, LLC

I väntan på katastrofen

Kalle Zackari Wahlström

Johannes Hansen Podcast

Johannes Hansen

Acquired

Ben Gilbert and David Rosenthal

ODLA!

med Maj-Lis Pettersson & Bella Linde

Sjuka Fakta

Simon Körösi

Dwarkesh Podcast

Dwarkesh Patel

Building Better Systems med Galois, Joey Dodds, Shpat Morina finns tillgänglig på flera plattformar. Poddens innehåll och bilderna på den här webbplatsen hämtas med hjälp av poddens RSS-flöde.