https://hackerpaper.kaipfister.de/p/2607.16680/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=49269323urn:hackerpapers:mention:2607.16680:49269323Wed, 12 Aug 2026 08:23:04 GMT<p>&gt; Precise specs must always be given This is the paramount need with AI. Earlier when we were writing code by hand, since both specification and coding were done by us we could easily iterate over them in our head and thus keep them in sync. Now the only input is the specification and it must be precise (however incomplete) so that we can be sure that there is no ambiguity when AI interprets it. Iterate and refine the spec as needed and you are assured that the code does what you want it to do. Inform AI to enforce the invariants from the spec directly in code as asserts/contracts and you…</p><p><a href="https://hackerpaper.kaipfister.de/p/2607.16680/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE