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.
Episode #22: Eric Daimler — Guaranteeing the Integrity of Data Models with Category Theory
E22 • 38 mins • Aug 9, 2022
Charts
- 89NEW
- 66NEW
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
Estados Unidos
Feed Host
Feed
Solicitar uma atualização
As atualizações podem levar alguns minutos.