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
Software Engineering Radio - the podcast for professional software developers
272 Listeners
The Changelog: Software Development, Open Source
284 Listeners
Thoughtworks Technology Podcast
40 Listeners
Talk Python To Me
590 Listeners
Software Engineering Daily
621 Listeners
Odd Lots
1,784 Listeners
Data Engineering Podcast
140 Listeners
Practical AI
192 Listeners
The Stack Overflow Podcast
62 Listeners
The Real Python Podcast
139 Listeners
Dwarkesh Podcast
408 Listeners
Oxide and Friends
47 Listeners
BG2Pod with Brad Gerstner and Bill Gurley
461 Listeners
Money Stuff: The Podcast
371 Listeners
The Pragmatic Engineer
63 Listeners