News for hackers. Stuff that matters.
Re:SpecForge – A Platform for Authoring Formal Specifications by mrbnprck on Thursday July 30, 2026 @12:18PM (#49112151)
Tend to adopt RFC standards for specs, works pretty well. My general rule of thumb is describe scope/concerns/interfaces at a high level, details at any wanted depth. That makes the LLM generated code reasonably stable and bounds it to a clearly defined boundary. Whatever ambiguity is left in details is then treated "expectedly unstable".
Re:SpecForge – A Platform for Authoring Formal Specifications by OutOfHere on Thursday July 30, 2026 @06:50PM (#49116860)
Do you have an example of such a spec that you can publicly share, perhaps on GitHub?