Rendered at 21:33:26 GMT+0000 (Coordinated Universal Time) with Cloudflare Workers.
OutOfHere 5 minutes ago [-]
I have thinking about how to write specifications for an AI agent to write code for a new project with detailed requirements. I was simply going write it as a list of requirements, starting at REQ001, one beneath the other, with subsequent requirements also building upon prior ones. The developed code would be intended to mark as a comment where in the code each individual requirement is implemented. Ideally there would also exist one primary unit test for each requirement. Over time, I would update/insert/delete individual requirements. Over time, gaps may come to exist in their numbering, and this is okay. This is not a formal system, and it's loose enough that any AI can work with it. For a formal system, an AI may even translate my prose into a formal definition language that it is familiar with. In conclusion, I don't think it's the job of a human to write specifications in a formal spec language.
giancarlostoro 6 hours ago [-]
The word "AI-Powered" is shown on the front-page of this project as such:
An AI-powered platform for developers to "forge" rigorous and precise system specifications through an iterative process of formalization and analysis.
This title should maybe include that so people are aware that if you adopt this tool, there is some expectation that AI is involved, unless it's an AI optional product, then they need to clarify.
itomato 7 hours ago [-]
Whose formalities? The horse still comes first.
effnorwood 3 hours ago [-]
SCRUM is that my PRD you?
OutOfHere 23 minutes ago [-]
At least it too is Japanese.
abbasov_murad 8 hours ago [-]
This method is certainly good to learn, but I had some difficulties understanding it
poslathian 6 hours ago [-]
Nice, very LTL
esafak 6 hours ago [-]
From what I gather this marries a self-correcting formal specification based on Signal Temporal Logic (cf. https://en.wikipedia.org/wiki/Temporal_logic) with a natural language requirement definition (like OpenSpec).
STL is a spec for continuous, real-time signals over dense time that is appropriate for physical devices and real-time streams. See the "Use Cases for Integration" section in
their landing page: https://imiron.io/specforge/
If I were them I would lead with how they differ from existing spec languages.
IshKebab 10 hours ago [-]
Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!
An AI-powered platform for developers to "forge" rigorous and precise system specifications through an iterative process of formalization and analysis.
https://imiron.io/specforge/
This title should maybe include that so people are aware that if you adopt this tool, there is some expectation that AI is involved, unless it's an AI optional product, then they need to clarify.
STL is a spec for continuous, real-time signals over dense time that is appropriate for physical devices and real-time streams. See the "Use Cases for Integration" section in their landing page: https://imiron.io/specforge/
If I were them I would lead with how they differ from existing spec languages.