{"type":"rich","version":"1.0","provider_name":"Transistor","provider_url":"https://transistor.fm","author_name":"Tech on the Rocks","title":"Proving Code Correctness: FizzBee and the Future of Formal Methods in Software Design with FizzBee's creator JP","html":"","width":"100%","height":180,"duration":3688,"description":"In this episode, we chat with JP, creator of FizzBee, about formal methods and their application in software engineering. We explore the differences between coding and engineering, discussing how formal methods can improve system design and reliability. JP shares insights from his time at Google and explains why tools like FizzBee are crucial for distributed systems. We delve into the challenges of adopting formal methods in industry, the potential of FizzBee to make these techniques more accessible, and how it compares to other tools like TLA+. Finally, we discuss the future of software development, including the role of LLMs in code generation and the ongoing importance of human engineers in system design.LinksFizzBeeFizzBee Github RepoFizzBee BlogChapters00:00 Introduction and Overview02:42 JP's Experience at Google and the Growth of the Company04:51 The Difference Between Engineers and Coders06:41 The Importance of Rigor and Quality in Engineering10:08 The Limitations of QA and the Need for Formal Methods14:00 The Role of Best Practices in Software Engineering14:56 Design Specification Languages for System Correctness21:43 The Applicability of Formal Methods in Distributed Systems31:20 Getting Started with FizzBee: A Practical Example36:06 Common Assumptions and Misconceptions in Distributed Systems43:23 The Role of FizzBee in the Design Phase48:04 The Future of FizzBee: LLMs and Code Generation58:20 Getting Started with FizzBee: Tutorials and Online Playground","thumbnail_url":"https://img.transistorcdn.com/UA-KG4zXoEeEh4XuiVMdD9yAhMnDJ2YVfAhHWI5inpc/rs:fill:0:0:1/w:400/h:400/q:60/mb:500000/aHR0cHM6Ly9pbWct/dXBsb2FkLXByb2R1/Y3Rpb24udHJhbnNp/c3Rvci5mbS80ZWI0/YjY4MDc1YmU2MDI0/MTNkNjYwZWYwYzky/ZGEyNi5qcGc.webp","thumbnail_width":300,"thumbnail_height":300}