Hacker News
- Easy to Use Performance Modeling https://fizzbee.io/tutorials/performance-modeling/ 0 comments
- Show HN: FizzBee – Formal methods in Python https://fizzbee.io/ 23 comments
Lobsters
- Easy to use Performance Modeling https://fizzbee.io/tutorials/performance-modeling/ 0 comments compsci , distributed , formalmethods , performance
- FizzBee -- Model checker in Python https://fizzbee.io/ 4 comments formalmethods
Linking pages
- GitHub - fizzbee-io/fizzbee: Easiest formal specification language ever! Designed for distributed systems developers to be used for everyday applications. https://github.com/fizzbee-io/fizzbee 1 comment
- Publish algorithms with testable code | FizzBee https://fizzbee.io/posts/pseudocode-modelchecking/ 1 comment