{"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":"<iframe width=\"100%\" height=\"180\" frameborder=\"no\" scrolling=\"no\" seamless src=\"https://share.transistor.fm/e/cf503021\"></iframe>","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.\nLinks\nFizzBee\nFizzBee Github Repo\nFizzBee Blog\nChapters\n00:00 Introduction and Overview\n02:42 JP's Experience at Google and the Growth of the Company\n04:51 The Difference Between Engineers and Coders\n06:41 The Importance of Rigor and Quality in Engineering\n10:08 The Limitations of QA and the Need for Formal Methods\n14:00 The Role of Best Practices in Software Engineering\n14:56 Design Specification Languages for System Correctness\n21:43 The Applicability of Formal Methods in Distributed Systems\n31:20 Getting Started with FizzBee: A Practical Example\n36:06 Common Assumptions and Misconceptions in Distributed Systems\n43:23 The Role of FizzBee in the Design Phase\n48:04 The Future of FizzBee: LLMs and Code Generation\n58: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}