Sign up to save your podcasts
Or
Share System Design the formal way with FizzBee
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
System Design the formal way with FizzBee
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 Systems
03:13 Understanding Design Specification Languages
04:00 The Value of Structured Design Documents
09:00 When to Use Design Specification Languages
21:27 Modeling a Travel Booking System
22:51 Ensuring Atomicity in Distributed Systems
26:09 Handling Failures and Consistency
34:45 Refinement in System Design
35:38 Balancing Abstraction and Implementation
37:53 Common Pitfalls in Modeling and Implementation
40:02 Challenges in System Design and Implementation
40:12 Two-Way Feedback in System Design
41:01 Performance Considerations in Implementation
41:36 Importance of Solid Design Blueprints
41:56 Model-Based Testing and Continuous Integration
43:27 Updating Design Documentation
44:38 Simulation Testing vs. Model Checking
45:32 Design Issues and Formal Verification
49:51 Applying Formal Verification to Existing Systems
55:35 Common Design Problems and Solutions
01:07:57 Future Enhancements in Design Specification Tools
01: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
View all episodes
By Kaivalya Apte
5
33 ratings
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 Systems
03:13 Understanding Design Specification Languages
04:00 The Value of Structured Design Documents
09:00 When to Use Design Specification Languages
21:27 Modeling a Travel Booking System
22:51 Ensuring Atomicity in Distributed Systems
26:09 Handling Failures and Consistency
34:45 Refinement in System Design
35:38 Balancing Abstraction and Implementation
37:53 Common Pitfalls in Modeling and Implementation
40:02 Challenges in System Design and Implementation
40:12 Two-Way Feedback in System Design
41:01 Performance Considerations in Implementation
41:36 Importance of Solid Design Blueprints
41:56 Model-Based Testing and Continuous Integration
43:27 Updating Design Documentation
44:38 Simulation Testing vs. Model Checking
45:32 Design Issues and Formal Verification
49:51 Applying Formal Verification to Existing Systems
55:35 Common Design Problems and Solutions
01:07:57 Future Enhancements in Design Specification Tools
01: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
More shows like The GeekNarrator
View all
Practical AI
212 Listeners
Software Unscripted
27 Listeners
Training Data
39 Listeners