Hacker News
Lobsters
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
- Understanding Apache Iceberg’s Consistency Model Part 3 — Jack Vanlightly https://jack-vanlightly.com/analyses/2024/8/6/apache-icebergs-consistency-model-part-3 1 comment
- Understanding Apache Paimon's Consistency Model Part 3 — Jack Vanlightly https://jack-vanlightly.com/analyses/2024/7/3/understanding-apache-paimon-consistency-model-part-3 0 comments
- FizzBee, TLA+, and (Practical) Formal Software Verification with JP Kadarkarai https://materializedview.io/p/fizzbee-tla-and-formal-software-verification 0 comments