Building Better Systems

22 Epizód

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

   Közzétéve: 2022. 08. 09.
2. Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

   Közzétéve: 2022. 06. 10.
3. Episode #20: Ankush Desai — P: The Modeling Language That Could

   Közzétéve: 2022. 04. 28.
4. #19: Steve Weis — Security Shouldn't Be the Last Check Box

   Közzétéve: 2022. 04. 14.
5. #18: Jordan Kyriakidis — Helping People Write More Useful Requirements

   Közzétéve: 2022. 03. 09.
6. #17: Iain Whiteside — The Twists and Turns of Validating Neural Networks for Autonomous Driving (Part 2)

   Közzétéve: 2022. 02. 09.
7. #16: Iain Whiteside – Autonomous Driving: Reasoning About the Rules of the Road (Part 1)

   Közzétéve: 2022. 02. 09.
8. #15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

   Közzétéve: 2022. 01. 10.
9. #14: Leo de Moura — Combining the Worlds of Automated and Interactive Theorem Proving In Lean

   Közzétéve: 2021. 12. 03.
10. #13: Rod Chapman – It's Either Automated or It's Wrong

    Közzétéve: 2021. 09. 24.
11. #12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa

    Közzétéve: 2021. 08. 12.
12. #11: Alastair Reid – Meeting Developers Where They Are

    Közzétéve: 2021. 07. 23.
13. #10: Gregory Malecha – Formal Methods and Systems Programmers Working Together

    Közzétéve: 2021. 06. 11.
14. #9: Tycho Andersen – Commit Log Spelunking

    Közzétéve: 2021. 05. 13.
15. #8: Eric Davis – Building Better Data Models

    Közzétéve: 2021. 04. 15.
16. #7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work

    Közzétéve: 2021. 04. 01.
17. #6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?

    Közzétéve: 2021. 02. 04.
18. #5: Talia Ringer – Proof Engineering for the People

    Közzétéve: 2021. 01. 11.
19. #4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?

    Közzétéve: 2020. 12. 15.
20. #3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

    Közzétéve: 2020. 12. 03.