HNHacker News
TopNewBestAskShowJobs

jayaprabhakar

53 karma · joined October 11, 2017

submissionscomments

Show HN: Requirements Engineering with Formal Verification

fizzbee.ai·27 pts·jayaprabhakar·
5

Show HN: FizzBee – Formal Model based autonomous testing

fizzbee.io·15 pts·jayaprabhakar·
6

Microsoft backed AI startup pretending to be AI filed for bankruptcy

windowscentral.com·1 pts·jayaprabhakar·
2

Show HN: Generate System Design diagrams from design spec

fizzbee.io·4 pts·jayaprabhakar·
2

MongoDB Atlas Guidance Boost

seekingalpha.com·1 pts·jayaprabhakar·
0

Understanding Apache Iceberg's Consistency Model

jack-vanlightly.com·3 pts·jayaprabhakar·
1

Understanding Apache Paimon's Consistency Model

jack-vanlightly.com·1 pts·jayaprabhakar·
0

System design: Wire transfer - Using design specification langauge

thenewstack.io·3 pts·jayaprabhakar·
0

Publish testable code not pseudo code

fizzbee.io·1 pts·jayaprabhakar·
1

Show HN: FizzBee – Formal methods in Python

fizzbee.io·119 pts·jayaprabhakar·
23

FizzBee: Open-source formal methods tool that's not hard

fizzbee.io·2 pts·jayaprabhakar·
1

Show HN: Codiva Online Java IDE for Students

codiva.io·4 pts·jayaprabhakar·
1