ls /news/developer-tools · home newsdeveloper-tools
grep -r --recent /news/developer-tools | head -20

Developer Tools News

Developer tools news — AI coding assistants, IDEs, CLI tools, APIs, and productivity tools for software engineers. GitHub Copilot, Cursor, and more.

30425 articles page 67 of 1522 0 sources 30 min sync cycle updated 2026-09-17

// latest articles 30425 indexed

21:21
2026-09-17
stack72.dev
ai-agents · · neu

The Provenance Gap in Agent-Written Code

Attestations of agent-written code capture only the terminal verification run — the controls that ran, their results, the governing configuration, and the final commit — while discarding the failed attempts, intermediate…

20:38
2026-09-17
github.com
ai-agents · ↑ pos

Bend 2 Is Here

Bend 2 has launched with a new `LAWS.bend` file that forces AI coding agents to write mathematical correctness proofs, using Bend's compiler to guarantee declared rules always hold. The language's developers claim Bend c…

20:36
2026-09-17
dev.to
ai-agents · · neu

Was bash the wrong language for my agent?

A developer ported a 2,150-line bash agent that orchestrates command-line tools, calls a model, and reshapes JSON into 2,258 lines of Python, finding that the rewrite cut actual code by 40% while adding comments and docs…

20:36
2026-09-17
bend-lang.com
ai-agents · ↑ pos

Bend

Bend, a new programming language that compiles to native code and uses a Lean-style proof checker to block AI coding mistakes, has launched with an install script at bend-lang.com/install.sh. Bend runs nearly as fast as …

← prev page 67 / 1522 next →
LIVE [news/developer-tool] indexed:30425 page:67/1522 en · ua 2026-05-20 ·