7/29/2026 at 10:35:19 AM
by agnishom
7/29/2026 at 3:47:49 PM
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.
by giancarlostoro
7/29/2026 at 9:28:47 PM
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. Alternatively, if tests are to not be implemented, then a human is more closely responsible for reviewing changes to the implementation. Over time, I would update/insert/delete individual requirements, and gaps may come to exist in their numbering which is okay. The numbers are identifiers only, so a new requirement can even be added as say REQ003B. Overall, 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, of which there are many. In conclusion, I don't think it's the job of a human to write specifications in a formal spec language.by OutOfHere
7/29/2026 at 2:45:27 PM
Whose formalities? The horse still comes first.by itomato
7/29/2026 at 7:00:40 PM
SCRUM is that my PRD you?by effnorwood
7/29/2026 at 9:10:41 PM
At least it too is Japanese.by OutOfHere
7/29/2026 at 2:02:32 PM
This method is certainly good to learn, but I had some difficulties understanding itby abbasov_murad
7/29/2026 at 3:32:48 PM
Nice, very LTLby poslathian
7/29/2026 at 3:53:58 PM
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.
by esafak
7/29/2026 at 11:45:23 AM
Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!by IshKebab
7/29/2026 at 3:43:25 PM
What's that, SystemVerilog Assertion?by esafak