Introducing FizzBee: Simplifying Formal Methods for All

Published on May 17, 2024

You might have heard of TLA+, but how do you use it for debugging? FizzBee is a new formal methods system that you can grasp in just a weekend.

Continue reading on website
Other news

🌸 Spring bingo - Wellness challenge - Halfway! 🌸

April 15, 2025
Hey Hivebriters! Quick check-in on our April Wellness Challenge - Spring Bingo! We're halfway through the month, and it's the perfect time to jump in if you haven't started yet (or keep going if you have)! Quick Reminders:Complete rows or columns for 5 raffle entries eachSquares with 📷 require photo submissions in the commentsSubmit completed rows/columns through the form by April 30thBonus entri