https://building-better-systems.simplecast.com 2022-08-09 1 https://building-better-systems.simplecast.com/episodes 2022-08-09 0.9 https://building-better-systems.simplecast.com/episodes/episode-22-eric-daimler-guaranteeing-the-integrity-of-data-models-with-category-theory-LNd7Nvrp 2022-08-09 0.8 https://building-better-systems.simplecast.com/episodes/episode-21-nikhil-swamy-fully-in-bed-with-dependent-types-XMvzzyHf 2022-06-10 0.8 https://building-better-systems.simplecast.com/episodes/episode-20-ankush-desai-p-the-language-that-could-SAQf9LS8 2022-04-28 0.8 https://building-better-systems.simplecast.com/episodes/19-steve-weis-security-cant-be-the-last-check-box-Jpoi2DdX 2022-04-14 0.8 https://building-better-systems.simplecast.com/episodes/18-jordan-kyriakidis-helping-people-write-more-useful-requirements-EMUjaRoL 2022-03-09 0.8 https://building-better-systems.simplecast.com/episodes/17-iain-whiteside-validating-neural-networks-for-autonomous-driving-part-2-aTpBjgPd 2022-02-09 0.8 https://building-better-systems.simplecast.com/episodes/16-iain-whiteside-autonomous-driving-reasoning-about-the-rules-of-the-road-QXtb5tNb 2022-02-09 0.8 https://building-better-systems.simplecast.com/episodes/episode-15-dr-kathleen-fisher-sparking-the-new-age-of-formal-verification-at-darpa-6CwIhSkC 2022-01-10 0.8 https://building-better-systems.simplecast.com/episodes/14-leo-de-moura-combining-the-worlds-of-automated-and-interactive-theorem-proving-in-lean-p7ypyYNF 2021-12-03 0.8 https://building-better-systems.simplecast.com/episodes/13-rod-chapman-its-either-automated-or-its-wrong-Ia91t7Z_ 2022-01-12 0.8 https://building-better-systems.simplecast.com/episodes/12-alex-malozemoff-marc-rosen-censorship-circumvention-with-rocky-balboa-P7JseXJ9 2021-10-13 0.8 https://building-better-systems.simplecast.com/episodes/11-alastair-reid-meeting-developers-where-they-are-TSRN2M5n 2021-10-13 0.8 https://building-better-systems.simplecast.com/episodes/10-gregory-malecha-formal-methods-and-systems-programmers-working-together-ctKi_vLT 2021-07-19 0.8 https://building-better-systems.simplecast.com/episodes/9-tycho-andersen-commit-log-spelunking-oYFegiV8 2021-07-19 0.8 https://building-better-systems.simplecast.com/episodes/8-eric-davis-building-better-data-models-bCCdeHdQ 2021-07-19 0.8 https://building-better-systems.simplecast.com/episodes/aditya-thakur-if-it-goes-too-slow-theyll-turn-it-off-analysis-tools-that-work-2qmXVqSx 2021-06-17 0.8 https://building-better-systems.simplecast.com/episodes/6-dan-guido-what-the-hell-are-the-blockchain-people-doing-and-why-isnt-it-a-dumpster-fire-DkKPy3QA 2021-07-19 0.8 https://building-better-systems.simplecast.com/episodes/5-talia-ringer-proof-engineering-for-the-people-q8KcL5DS 2021-06-17 0.8 https://building-better-systems.simplecast.com/episodes/4-alex-malozemoff-new-attack-on-homomorphic-encryption-libraries-what-does-it-mean-CtWPUbUs 2021-06-17 0.8 https://building-better-systems.simplecast.com/episodes/3-stephen-magill-tom-dubuisson-musing-on-continuous-code-analysis-T0GdX8YQ 2021-06-17 0.8 https://building-better-systems.simplecast.com/episodes/2-jean-yang-formal-methods-how-about-business-casual-methods-part-2-5nXW1ykT 2020-10-28 0.8 https://building-better-systems.simplecast.com/episodes/1-jean-yang-formal-methods-how-about-business-casual-methods-46o_lh1e 2021-06-17 0.8 https://building-better-systems.simplecast.com/episodes/episode-22-eric-daimler-guaranteeing-the-integrity-of-data-models-with-category-theory-LNd7Nvrp/transcript 2022-08-09 0.7 https://building-better-systems.simplecast.com/episodes/episode-21-nikhil-swamy-fully-in-bed-with-dependent-types-XMvzzyHf/transcript 2022-06-10 0.7 https://building-better-systems.simplecast.com/episodes/episode-20-ankush-desai-p-the-language-that-could-SAQf9LS8/transcript 2022-04-28 0.7 https://building-better-systems.simplecast.com/episodes/19-steve-weis-security-cant-be-the-last-check-box-Jpoi2DdX/transcript 2022-04-14 0.7 https://building-better-systems.simplecast.com/episodes/18-jordan-kyriakidis-helping-people-write-more-useful-requirements-EMUjaRoL/transcript 2022-03-09 0.7 https://building-better-systems.simplecast.com/episodes/17-iain-whiteside-validating-neural-networks-for-autonomous-driving-part-2-aTpBjgPd/transcript 2022-02-09 0.7 https://building-better-systems.simplecast.com/episodes/16-iain-whiteside-autonomous-driving-reasoning-about-the-rules-of-the-road-QXtb5tNb/transcript 2022-02-09 0.7 https://building-better-systems.simplecast.com/episodes/episode-15-dr-kathleen-fisher-sparking-the-new-age-of-formal-verification-at-darpa-6CwIhSkC/transcript 2022-01-10 0.7 https://building-better-systems.simplecast.com/episodes/14-leo-de-moura-combining-the-worlds-of-automated-and-interactive-theorem-proving-in-lean-p7ypyYNF/transcript 2021-12-03 0.7 https://building-better-systems.simplecast.com/episodes/13-rod-chapman-its-either-automated-or-its-wrong-Ia91t7Z_/transcript 2022-01-12 0.7 https://building-better-systems.simplecast.com/episodes/12-alex-malozemoff-marc-rosen-censorship-circumvention-with-rocky-balboa-P7JseXJ9/transcript 2021-10-13 0.7 https://building-better-systems.simplecast.com/episodes/11-alastair-reid-meeting-developers-where-they-are-TSRN2M5n/transcript 2021-10-13 0.7 https://building-better-systems.simplecast.com/episodes/10-gregory-malecha-formal-methods-and-systems-programmers-working-together-ctKi_vLT/transcript 2021-07-19 0.7 https://building-better-systems.simplecast.com/episodes/9-tycho-andersen-commit-log-spelunking-oYFegiV8/transcript 2021-07-19 0.7 https://building-better-systems.simplecast.com/episodes/8-eric-davis-building-better-data-models-bCCdeHdQ/transcript 2021-07-19 0.7 https://building-better-systems.simplecast.com/episodes/aditya-thakur-if-it-goes-too-slow-theyll-turn-it-off-analysis-tools-that-work-2qmXVqSx/transcript 2021-06-17 0.7 https://building-better-systems.simplecast.com/episodes/6-dan-guido-what-the-hell-are-the-blockchain-people-doing-and-why-isnt-it-a-dumpster-fire-DkKPy3QA/transcript 2021-07-19 0.7 https://building-better-systems.simplecast.com/episodes/5-talia-ringer-proof-engineering-for-the-people-q8KcL5DS/transcript 2021-06-17 0.7 https://building-better-systems.simplecast.com/episodes/4-alex-malozemoff-new-attack-on-homomorphic-encryption-libraries-what-does-it-mean-CtWPUbUs/transcript 2021-06-17 0.7 https://building-better-systems.simplecast.com/episodes/3-stephen-magill-tom-dubuisson-musing-on-continuous-code-analysis-T0GdX8YQ/transcript 2021-06-17 0.7 https://building-better-systems.simplecast.com/episodes/2-jean-yang-formal-methods-how-about-business-casual-methods-part-2-5nXW1ykT/transcript 2020-10-28 0.7 https://building-better-systems.simplecast.com/episodes/1-jean-yang-formal-methods-how-about-business-casual-methods-46o_lh1e/transcript 2021-06-17 0.7