duckerduck

5 ms·

1. 31.▲
   by duckerduck 1y ago

   I think semcheck has a different use-case. AI is inherently imprecise, if you need formal mathematical verification, AI isn't suitable for that. What semcheck does give you is a very simple way to start verifying specifications, and it
2. 32.▲
   by duckerduck 1y ago

   I'm working on a development tool for specification-driven development. It uses LLMs to verify that your specification files and implementation do not drift. More specifically, I am trying to lower the number of false positives I'
3. 33.▲
   by duckerduck 1y ago

   It seems that many in the field are converging to similar ideas. With AI the emphasis seems to be more on defining clearly what to build rather than how . I made a similar experiment [1] recently where I setup "rules" between c
4. 34.▲
   Show HN: Semcheck – AI Tool for checking implementation follows spec(github.com)

   19 points by duckerduck 1y ago|0 comments
5. 35.▲
   by duckerduck 1y ago

   I've made a utility that uses LLMs to compare specifications against implementations, called "semcheck" (semantic checker). I’ve often found that even though I set up Cursor rules or CLAUDE.md files, the implementation tends
6. 36.▲
   The Burdens of Data(rejot.dev)

   4 points by duckerduck 2y ago|0 comments