jayaprabhakar
- Karma
- 0
- Created
- ()
- Submissions
- 0
-
I've been building an open source formal methods system (fizzbee.io) for the past few years. Today I'm launching a new app built on the same technology. It performs requirements engineering using formal verification to…
-
GitHub: https://github.com/fizzbee-io/fizzbee-mbt-examples Quick Start: https://fizzbee.io/testing/tutorials/quick-start/ Most developers agree testing is important. At the same time, most developers don’t enjoy writing…
- Microsoft backed AI startup pretending to be AI filed for bankruptcy (windowscentral.com)
-
When designing a distributed system, creating and maintaining design documents with diagrams is time-consuming. FizzBee, our formal methods system, simplifies this process by generating a variety of essential diagrams…
- MongoDB Atlas Guidance Boost (seekingalpha.com)
- Understanding Apache Iceberg's Consistency Model (jack-vanlightly.com)
- Understanding Apache Paimon's Consistency Model (jack-vanlightly.com)
- System design: Wire transfer - Using design specification langauge (thenewstack.io)
- Publish testable code not pseudo code (fizzbee.io)
- Show HN: FizzBee – Formal methods in Python (fizzbee.io)
GitHub: https://www.github.com/fizzbee-io/FizzBee Traditionally, formal methods are used only for highly mission critical systems to validate the software will work as expected before it's built. Recently, every major…
- Show HN: Codiva Online Java IDE for Students (codiva.io)