1Show HN: FizzBee – Formal Model based autonomous testing (opens in new tab)(fizzbee.io)15jayaprabhakar8mo ago6Save
2Microsoft backed AI startup pretending to be AI filed for bankruptcy (opens in new tab)(windowscentral.com)1jayaprabhakar1y ago2Save
3Show HN: Generate System Design diagrams from design spec (opens in new tab)(fizzbee.io)4jayaprabhakar1y ago2Save
5Understanding Apache Iceberg's Consistency Model (opens in new tab)(jack-vanlightly.com)3jayaprabhakar1y ago1Save
6Understanding Apache Paimon's Consistency Model (opens in new tab)(jack-vanlightly.com)1jayaprabhakar1y ago0Save
7System design: Wire transfer - Using design specification langauge (opens in new tab)(thenewstack.io)3jayaprabhakar2y ago0Save
9Show HN: FizzBee – Formal methods in Python (opens in new tab)(fizzbee.io)119jayaprabhakar2y ago23Save
10FizzBee: Open-source formal methods tool that's not hard (opens in new tab)(fizzbee.io)2jayaprabhakar2y ago1Save
11Show HN: Codiva Online Java IDE for Students (opens in new tab)(codiva.io)4jayaprabhakar8y ago1Save
