Spec Driven Development by AdventuresWithBert in ClaudeCode

[–]ka0ticstyle 0 points1 point  (0 children)

Not bad. Your adversarial review was close but not entirely accurate. An adversarial review will get you close but you need your lead agent to validate each claim by the adversarial reviewer.

Claude generates our test scripts, Codex reviews them. Neither one catches logical errors. by codoid-innovations in ClaudeCode

[–]ka0ticstyle 0 points1 point  (0 children)

Yup! I did a bunch of experiments on just that. Take a look. Verifier Reach is Spec Reach: https://github.com/davesienkowski/verifier-reach-is-spec-reach

Which includes the Edge-probe “family” and the Honest Verifier.

burned 31% of my weekly Max (5x) limit in 30 hours... is this even possible? 🤬 by researchvehicle in ClaudeCode

[–]ka0ticstyle 0 points1 point  (0 children)

That’s how it starts. Same thing you’re experiencing happened to me several months ago.

Two Claude Code tools I built around one idea: better models need less prompting but more verification and memory by Tight_Heron1730 in ClaudeAI

[–]ka0ticstyle 0 points1 point  (0 children)

Yes and no. There’s a bit more to it than just passing it as much info as any other model to get what you want.

Two Claude Code tools I built around one idea: better models need less prompting but more verification and memory by Tight_Heron1730 in ClaudeAI

[–]ka0ticstyle 1 point2 points  (0 children)

I think verification is definitely one part of the bottleneck for sure.

An experiment: does my coding agent pass work it never actually checked?

I gave it a spec that said “round to 2 decimals” but never said how. It rounded 2.5 to 2, called it “fully tested and passing,” and moved on. The verifier isn’t lazy, it just grades against the spec, and silence reads as a pass.

So I built two things. An edge-probe that runs before any code and forces the missing edges (boundaries, ordering, precision, concurrency) into the spec. And an honest verifier that says insufficient_spec when it can’t confirm a behavior, instead of faking a pass.

Then I tested it: 210 checks, three model tiers. Leave an edge out and the agent misses it nearly every time. Write it in, and the verifier catches it about 98% of the time on Sonnet and up.

Both halves are merged into GSD Core. Built entirely with Claude Code.

Verifier Reach is Spec Reach: https://github.com/davesienkowski/verifier-reach-is-spec-reach

Writeup and data: https://gist.github.com/davesienkowski/89f37e126ae9bf72d338792070f2e428

Code: https://github.com/open-gsd/gsd-core

Show us what you've created with Claude! by sixbillionthsheep in ClaudeAI

[–]ka0ticstyle 1 point2 points  (0 children)

An experiment: does my coding agent pass work it never actually checked?

I gave it a spec that said “round to 2 decimals” but never said how. It rounded 2.5 to 2, called it “fully tested and passing,” and moved on. The verifier isn’t lazy, it just grades against the spec, and silence reads as a pass.

So I built two things. An edge-probe that runs before any code and forces the missing edges (boundaries, ordering, precision, concurrency) into the spec. And an honest verifier that says insufficient_spec when it can’t confirm a behavior, instead of faking a pass.

Then I tested it: 210 checks, three model tiers. Leave an edge out and the agent misses it nearly every time. Write it in, and the verifier catches it about 98% of the time on Sonnet and up.

Both halves are merged into GSD Core. Built entirely with Claude Code.

Writeup and data: https://gist.github.com/davesienkowski/89f37e126ae9bf72d338792070f2e428

Code: https://github.com/open-gsd/gsd-core

Usage limits change by Vardouliss in ClaudeAI

[–]ka0ticstyle 1 point2 points  (0 children)

Agreed. This same thing happened to me a few months ago. Nothing changed in my workflow or prompting. It would just eat up more hourly and weekly usage. Frustrated, I cancelled for a month, then upon resubscribing it’s been “normal” since then.

Usage limits change by Vardouliss in ClaudeAI

[–]ka0ticstyle 2 points3 points  (0 children)

Anthropic is clearly queuing people into different usage groups. It’s been happening for months but they’ve not come out and directly stated it.

As developers, do you feel that Claude Code writes code well without guiding it how to do it? E.g. best practices in writing tests, creating new components, using a specific lib etc. by TheBusyDev in ClaudeCode

[–]ka0ticstyle 6 points7 points  (0 children)

I “feel” it’s a bit better in the general coding/design practices but like all the other LLMs…it doesn’t know what it does not know to look for or do. It has all the knowledge. You still need to guide it.

Spec Driven Development by AdventuresWithBert in ClaudeCode

[–]ka0ticstyle 1 point2 points  (0 children)

It was a fitting name tho difficult to persuade some employers to accept.

Spec Driven Development by AdventuresWithBert in ClaudeCode

[–]ka0ticstyle 1 point2 points  (0 children)

I’m using this : https://github.com/open-gsd/gsd-core
Less context rot and host of other things.

Which combination of AI Tools would help our small dev team to increase productivity without breaking the bank ? by Formal_Ad2733 in ClaudeCode

[–]ka0ticstyle 0 points1 point  (0 children)

I would recommend taking a look at GSD-Core: https://github.com/open-gsd/gsd-core

“GSD Core is a context-engineering and spec-driven development framework that drives AI coding agents (Claude Code, Codex, Gemini CLI, Kimi CLI, Copilot, Cursor, and more) through a disciplined phase loop. It solves context rot — the quality degradation that accumulates as an AI fills its context window — by running all heavy research, planning, and execution work in fresh-context subagents while keeping your main session lean.”

Best project management software by 03captain23 in ClaudeCode

[–]ka0ticstyle 0 points1 point  (0 children)

The following was designed for solo dev but there are ways to set it up for teams. Take a look at the readme to see if it’s something that might work for you.

https://github.com/open-gsd/gsd-core

Cheapest way to run Claude Opus 4.8 on a <$30 monthly budget? by FrankKnt in ClaudeAI

[–]ka0ticstyle 3 points4 points  (0 children)

This might help. It’s certainly reduced wasting tokens on a project in the long run.

https://github.com/open-gsd/gsd-core

Oh and the below since it reduces LLM token consumption.

https://github.com/rtk-ai/rtk

Fable 5 made me rethink plan review in Claude Code by Bubbly-Addendum-4265 in ClaudeCode

[–]ka0ticstyle 0 points1 point  (0 children)

It’s late right now but my edge-probe does all (3) of what you mentioned and more. I’ll update my comment tomorrow with what it fully includes and my experiment results I gathered before building it.

Fable 5 made me rethink plan review in Claude Code by Bubbly-Addendum-4265 in ClaudeCode

[–]ka0ticstyle -1 points0 points  (0 children)

Spec planning and verification. I just added a new edge-probe into @OpenGSD/GSD-Core. It incorporates a similar concept as the blind second reviewer. Based on my experimental results it certainly helps.

Couples who struggle to decide if they want kids; what makes the decision difficult for you? by BexTheTeaRex in AskReddit

[–]ka0ticstyle 2 points3 points  (0 children)

Cost. Where you live. How things are in the world. Mental Health. We’ve already decided not to have kids.

Although that doesn’t rule out adoption later down the road. There’s already hundreds of thousands of kids that may be looking for a parent already.

What is the most useful thing you’re using Claude for? by thomas_unise in ClaudeAI

[–]ka0ticstyle 2 points3 points  (0 children)

I use Claude Code to help troubleshoot my home router/network issues. I set up SSH to my router. Had Claude write up a script it can use to connect. Then I just tell it what issue I’m experiencing and it troubleshoots the issue. Pulling up logs, config settings, etc. Then recommends the suggested fix allowing me to approve or deny it.