Building Better Systems

22 Folgen

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

   Vom: 9.8.2022
2. Episode #21: Nikhil Swamy — Fully In Bed With Dependent Types

   Vom: 10.6.2022
3. Episode #20: Ankush Desai — P: The Modeling Language That Could

   Vom: 28.4.2022
4. #19: Steve Weis — Security Shouldn't Be the Last Check Box

   Vom: 14.4.2022
5. #18: Jordan Kyriakidis — Helping People Write More Useful Requirements

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

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

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

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

   Vom: 3.12.2021
10. #13: Rod Chapman – It's Either Automated or It's Wrong

    Vom: 24.9.2021
11. #12: Alex Malozemoff & Marc Rosen – Censorship Circumvention with ROCKY Balboa

    Vom: 12.8.2021
12. #11: Alastair Reid – Meeting Developers Where They Are

    Vom: 23.7.2021
13. #10: Gregory Malecha – Formal Methods and Systems Programmers Working Together

    Vom: 11.6.2021
14. #9: Tycho Andersen – Commit Log Spelunking

    Vom: 13.5.2021
15. #8: Eric Davis – Building Better Data Models

    Vom: 15.4.2021
16. #7: Aditya Thakur – “If it goes too slow, they'll turn it off”: Analysis Tools That Work

    Vom: 1.4.2021
17. #6: Dan Guido – What the hell are the blockchain people doing, and why isn't it a dumpster fire?

    Vom: 4.2.2021
18. #5: Talia Ringer – Proof Engineering for the People

    Vom: 11.1.2021
19. #4: Alex Malozemoff – New attack on homomorphic encryption libraries: what does it mean?

    Vom: 15.12.2020
20. #3: Stephen Magill & Tom DuBuisson – Musing on continuous code analysis

    Vom: 3.12.2020