Hacker News

New stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Fauci warned of miscarriage risk linked to Covid vaccine while publicly claiming (nypost.com)
    —discuss
  2. To Understand AI, Think Like a Dragonfly (noemamag.com)
    —discuss
  3. NASA quietly removed SR-71 from storage amid X-plane push (aviationweek.com)
    —discuss
  4. Show HN: Drift – A clickable map of ideas unfolding from single question (demo) (echohive.ai)
    —discuss
  5. Geely's AI fast charging 'heals' EV batteries for 20% more cycle life (electrek.co)
    —discuss
  6. Hosted MoQ (Media over QUIC) (moq.pro)
    —discuss
  7. We Learned to Stop Worrying and Love Campus Surveillance (fnl.mit.edu)
    1comments
  8. Forging 1024-bit RSA signatures in nearly SNFS time (github.com/ucsd-hacc)
    —discuss
  9. Tell HN: Stop emailing HN users with deceptive AI spam
    —discuss
  10. How are you conforming to EU Cyber Resilience Act (CRA) reporting rules? (europa.eu)
    —discuss
  11. AI-Powered PDF Extraction for Finance (pedfs.com)
    —discuss
  12. Pluto: A StarCraft Brood War neural network trained by self-play RL (github.com/tscmoo)
    —discuss
  13. A new way to manage memory: no garbage collection, extremely fast & safe access (ulanguage.org)
    —discuss
  14. Ask HN: Central Benchmark for All the Sandboxes?
    —discuss
  15. Show HN: I made a 3D rock climbing analysis tool using iPhone LiDAR [video] (youtube.com)
    1comments
  16. Efficient Build Dependency Verification Using eBPF and Incremental Analysis (acm.org)
    —discuss
  17. How I Could've Accessed 17 Trillion Microsoft Records (faav.net)
    —discuss
  18. Do your employees use your product? (00f.net)
    —discuss
  19. Jev Benchmarks
    —discuss
  20. Europe needs 'decisive change' in defence efforts to face Russia threat (reuters.com)
    —discuss
  21. MapLiberator: The maps you make are yours (mapliberator.com)
    —discuss
  22. Ask HN: Who's still keeping a DOS machine up because the business depends on it?
    —discuss
  23. OpenAI Keeps Hacking and Hacking and (securityboulevard.com)
    —discuss
  24. Ask HN: LM Studio Bionic with Python
    —discuss
  25. Show HN: AgentLens – Replay and compare Codex runs (github.com/fang520huang-lgtm)
    —discuss
  26. Why CAFEBABE? (artima.com)
    2comments
  27. Supreme Court permits states to use SAVE database for citizenship checks (cyberscoop.com)
    19comments
  28. Bug: Border radius has infected VSCode editor (github.com/microsoft)
    —discuss
  29. Watch Steve Jobs in the full 'Antennagate' video before it gets erased again (appleinsider.com)
    —discuss
  30. Letterboxd Is Up for Sale, and A24, Sony and the New York Times Are Bidding (worldofreel.com)
    —discuss

Show HN: Stop shipping AI slop, Executor makes agents prove it works

1 pointsby 2h agogithub.com
1 comments
2h agoHN ↗

AI slop in code has a pretty recognizable shape: code that was never actually verified, merged because the agent sounded confident.

“Done, all tests pass.”

Except they don’t.

It’s usually not malicious. The agent just can’t reliably tell the difference between what it intended to do and what it actually did. So the fix isn’t necessarily a better prompt. It’s taking verification authority away from the agent itself.

That’s what The Executor does.

It’s a set of Markdown skills + POSIX bash scripts that takes a feature through:

intake → spec → plan → execution → review → verification → handoff

The important part is that state transitions are enforced by scripts that fail with a non-zero exit code, rather than by instructions the agent is expected to follow.

It works with Claude Code, Codex, or pretty much any harness that can read skill files. No daemon. No SaaS.

How it makes agents prove their work:

Reviewers see the diff, not the implementer’s claims.

The implementation agent’s “looks good” report is not evidence. Review verdicts are stored as files, and a FAIL verdict physically blocks exec-branch merge. The merge command simply refuses to run.

Every finding has to point somewhere specific.

There’s one ID namespace per initiative, and every finding references the exact spec requirement it violates.

For example:

INIT-0004-P01-T03-R02 fails INIT-0004-SPEC-01-R07

No vague “this doesn’t look right” findings with nowhere to attach them.

Verification happens from scratch.

Each spec criterion gets its verification command run against the current commit, producing one of:

PROVEN / FAILED / NOT-RUN / UNAVAILABLE

And this matters: a single NOT-RUN means you cannot call the feature “complete.” Nothing gets upgraded by inference.

Fix loops don’t continue forever.

At round 4, the process escalates to a different model. Hitting the cap requires an explicit recorded ruling, so findings can’t just disappear because the agent got tired of fixing them.

Context resets don’t reset reality.

After a context reset or model switch, the controller re-reads the ledger instead of trusting the model to remember what happened.

exec-run check audits the registry, ledger, and verdict files against each other and exits with 1 while naming the inconsistency.

There is a cost, though: ceremony and tokens.

This isn’t really for “change one line and ship.” It’s aimed at features that live for days and pass through multiple rounds of implementation, review, and verification.

MIT licensed.

Roast it. Where does this break down at your scale?