jayaprabhakar

53 karmajoined October 11, 2017On HN

Recent submissions

Show HN: Requirements Engineering with Formal Verification fizzbee.ai
27jayaprabhakar2mo5 comments
Show HN: FizzBee – Formal Model based autonomous testing fizzbee.io
15jayaprabhakar11mo6 comments
Microsoft backed AI startup pretending to be AI filed for bankruptcy windowscentral.com
1jayaprabhakar1y2 comments
Show HN: Generate System Design diagrams from design spec fizzbee.io
4jayaprabhakar2y2 comments
MongoDB Atlas Guidance Boost seekingalpha.com
1jayaprabhakar2ydiscuss
Understanding Apache Iceberg's Consistency Model jack-vanlightly.com
3jayaprabhakar2y1 comment
Understanding Apache Paimon's Consistency Model jack-vanlightly.com
1jayaprabhakar2ydiscuss
System design: Wire transfer - Using design specification langauge thenewstack.io
3jayaprabhakar2ydiscuss
Publish testable code not pseudo code fizzbee.io
1jayaprabhakar2y1 comment
Show HN: FizzBee – Formal methods in Python fizzbee.io
119jayaprabhakar2y23 comments
FizzBee: Open-source formal methods tool that's not hard fizzbee.io
2jayaprabhakar2y1 comment
Show HN: Codiva Online Java IDE for Students codiva.io
4jayaprabhakar8y1 comment

All submissions and comments on Hacker News.