jayaprabhakar

27 ms·

1.
Show HN: Requirements Engineering with Formal Verification(fizzbee.ai)
27 points by jayaprabhakar 2mo ago|5 comments
2.
by jayaprabhakar 11mo ago
Thanks a lot. It does handle concurrency. https://fizzbee.io/testing/tutorials/quick-start/#parallel-t... Sequential logic is generally easier to test (also concurrency testing of linearizable systems). FizzB
3.
by jayaprabhakar 11mo ago
Thanks. Please give it a try, and let me know if you have any issues. I'd be happy to help.
4.
by jayaprabhakar 11mo ago
Glad you have tried FizzBee before. Do you have any feedback on it? With TLA+, I mostly see papers and example projects that typically implement model based trace checking solutions in TLA+. While it works, usually, it will clutter the main
5.
Show HN: FizzBee – Formal Model based autonomous testing(fizzbee.io)
15 points by jayaprabhakar 1y ago|6 comments
6.
Microsoft backed AI startup pretending to be AI filed for bankruptcy(windowscentral.com)
1 points by jayaprabhakar 1y ago|2 comments
7.
by jayaprabhakar 1y ago
Microsoft backed this $1.5 billion AI startup that was just discovered to be 700 engineers pretending to be AI
8.
by jayaprabhakar 2y ago
One issue with the current proponents of formal methods is, they want to claim others who don't use formal methods as "lazy" or "dumb" and want to claim their superiority because they "do the right thing"
9.
by jayaprabhakar 2y ago
Have you tried FizzBee, it uses python dialect itself for specification?
10.
by jayaprabhakar 2y ago
Have you tried FizzBee.io? It has a python-like syntax. Take a look at the example. https://fizzbee.io/examples/two_phase_commit_actors/#complet... Formal methods don't have to be complex. The issue is, most
11.
by jayaprabhakar 2y ago
Those are pure drawing tools. *Tools like draw.io, Lucidchart, and Excalidraw excel at creating raw diagrams through drag-and-drop interfaces. However, they often become cumbersome when updates are needed, and their outputs are rarely store
12.
Show HN: Generate System Design diagrams from design spec(fizzbee.io)
4 points by jayaprabhakar 2y ago|2 comments
13.
MongoDB Atlas Guidance Boost(seekingalpha.com)
1 points by jayaprabhakar 2y ago|0 comments
14.
by jayaprabhakar 2y ago
TLA+ is 25 years old. Despite the power it's syntax is too alien to become mainstream. Have you considered https://FizzBee.io ? Almost Python-like syntax, has more powerful semantics, beautiful visualizations with no extra
15.
by jayaprabhakar 2y ago
Putin signed a decree that Russia would welcome foreigners wanting to escape Western liberal ideals. Applicants may include those from countries unaligned with "Russian spiritual and moral values." The application process has been
16.
Understanding Apache Iceberg's Consistency Model(jack-vanlightly.com)
3 points by jayaprabhakar 2y ago|1 comments
17.
by jayaprabhakar 2y ago
A principal researcher at Confluent explains Apache icebergs consistency model. Also shows the formal modeling using a Python'ish language FizzBee to find bugs.
18.
by jayaprabhakar 2y ago
https://FizzBee.io is not just a syntax transpiler, but a complete implementation. It uses starlark language (a Python variant) for specification. In addition to behavioral modeling like TLA+, Quint etc, it supports probabilist
19.
Understanding Apache Paimon's Consistency Model(jack-vanlightly.com)
1 points by jayaprabhakar 2y ago|0 comments
20.
by jayaprabhakar 2y ago
This looks cool. The UI animation is good. Looking forward for more such games. A few minor feedbacks. 1. Even on phones, it leaves a lot of margin/padding, and the boxes are a bit too small. Can you make it a bit more responsive and u
21.
System design: Wire transfer - Using design specification langauge(thenewstack.io)
3 points by jayaprabhakar 2y ago|0 comments
22.
Publish testable code not pseudo code(fizzbee.io)
1 points by jayaprabhakar 2y ago|1 comments
23.
by jayaprabhakar 2y ago
When publishing algorithms for others' consumption either for a paper or blog, please post the source code. This post is a follow up of https://ahelwer.ca/post/2023-03-30-pseudocode/ Where Andrew pointed comp
24.
by jayaprabhakar 2y ago
TLA+ is growing adoption. Most modern cloud vendor uses TLA+ (AWS, Azure, Mongo, Redis, Elastic, and a lot more). I see a lot of usage in crypto world. Note: I am the developer of https://fizzbee.io a formal specification system
25.
by jayaprabhakar 2y ago
I'm the developer of FizzBee. Thanks for sharing here. I just noticed it even searching for my own post on this. I hope you tried FizzBee and I love any feedback
26.
by jayaprabhakar 2y ago
The single biggest advantage of keeping formal design separate from the forms implementation/verification is you check your design before the implementation starts. Anything that operates by checking the implementation can find impleme
27.
by jayaprabhakar 2y ago
This kind of argument aren't new to formal methods. They have been present ever since high level programming language came to existence. Functional programming proponents have always argued how great functional languages are and how na
28.
by jayaprabhakar 2y ago
FizzBee is a totally new implementation of the model checker. It does not cross compile to TLA+. That said, FizzBee is also modeled after and totally inspired by TLA+.
29.
by jayaprabhakar 2y ago
I don't know which part of the description have the impression that this could be used by itself in a real program. I'll update if the description either here or in the website had an incorrect statement. FizzBee's goal is to
30.
by jayaprabhakar 2y ago
FizzBee is an alternative to TLA+ designed to be the easiest to get started for every software engineer. To make it easiest to use, the language of specification is Python instead of using some kind of mathematical presentation language lik

More ›