meoleo
Joined 1 year ago
Karma
1
Submissions
5
Member since
Jan 25
Recent submissions
Comment · 24 days ago
Do YOU have any case studies or samples built from your specification?
Comment · 24 days ago
I am not sure if I understand clearly why Kiro's approach would not find the issue.
Comment · 24 days ago
How is this different from what Kiro does?
https://kiro.dev/blog/deep-spec-analysis/
Comment · 1 year ago
TLA+ and Coq are too hard for most SAAS applications. Tried FizzBee (https://fizzbee.io/tutorials/getting-started/) and P (https://p-org.github.io/P/whatisP/)? These seems quite practical.
Coq/Rocq are obviously much harder to use, and I mostly see embedded systems engineers use them. TLA+ is somewhat easier, and being used in a number of cloud infrastructure companies (AWS, MongoDB, Confluent etc).
Obviously, if you are building a simple CRUDL app, these tools don't help at all.