Galois, Joey Dodds, Shpat Morina

Building Better Systems

Este programa apresenta ferramentas e estratégias inovadoras para engenheiros melhorarem a segurança e confiabilidade dos sistemas, com discussões sobre práticas de segurança e criptografia.

Listen on Apple Podcasts

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

E22 • 38 mins • Aug 9, 2022

Episódios recentes

Aug 9, 2022

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

E22 • 38 mins

Jun 10, 2022

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

E21 • 49 mins

Apr 28, 2022

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

E20 • 46 mins

Apr 14, 2022

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

E19 • 42 mins

Mar 9, 2022

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

E18 • 47 mins

Idioma
Inglês
País
Índia
Feed Host
Request an Update
Updates may take a few minutes.