In this video I talk to Jayaprabhakar Kadarkarai aka JP who is the founder of FizzBee. FizzBee is a design specification language and model checker to help developers verify their design before writing even a single line of implementation code.

We have discussed where it is applicable, what are the benefits, how does it work and many other interesting challenges with examples.

Chapters: 00:00 Introduction 01:13 Challenges in Designing Distributed Systems03:13 Understanding Design Specification Languages04:00 The Value of Structured Design Documents09:00 When to Use Design Specification Languages21:27 Modeling a Travel Booking System22:51 Ensuring Atomicity in Distributed Systems26:09 Handling Failures and Consistency34:45 Refinement in System Design35:38 Balancing Abstraction and Implementation37:53 Common Pitfalls in Modeling and Implementation40:02 Challenges in System Design and Implementation40:12 Two-Way Feedback in System Design41:01 Performance Considerations in Implementation41:36 Importance of Solid Design Blueprints41:56 Model-Based Testing and Continuous Integration43:27 Updating Design Documentation44:38 Simulation Testing vs. Model Checking45:32 Design Issues and Formal Verification49:51 Applying Formal Verification to Existing Systems55:35 Common Design Problems and Solutions01:07:57 Future Enhancements in Design Specification Tools01:12:50 Getting Started with FizzBee

FizzBee : https://fizzbee.io/

Get in touch with JP: https://www.linkedin.com/in/jayaprabhakar

Like building stuff? Try out CodeCrafters and build amazing real world systems like Redis, Kafka, Sqlite. Use the link below to signup and get 40% off on paid subscription.

https://app.codecrafters.io/join?via=geeknarrator

If you like this episode, please hit the like button and share it with your network. Also please subscribe if you haven't yet.

Database internals series: https://youtu.be/yV_Zp0Mi3xs

Popular playlists:Realtime streaming systems: https://www.youtube.com/playlist?list=PLL7QpTxsA4se-mAKKoVOs3VcaP71X_LA-

Software Engineering: https://www.youtube.com/playlist?list=PLL7QpTxsA4sf6By03bot5BhKoMgxDUU17

Distributed systems and databases: https://www.youtube.com/playlist?list=PLL7QpTxsA4sfLDUnjBJXJGFhhz94jDd_d

Modern databases: https://www.youtube.com/playlist?list=PLL7QpTxsA4scSeZAsCUXijtnfW5ARlrsN

Stay Curios! Keep Learning!

#distributedsystems #systemdesign #formalmethods