Bend 2
What it is
Victor Taelin's parallel language, relaunched as 'a fast language that blocks AI mistakes via proof': Python-flavored syntax, a dependently-typed checker, and native compilation that runs the same binary on one core, sixteen, or the GPU. The AI angle is a LAWS.bend file — invariants your agent's code must prove before it can merge, with the checker as the reviewer that can't be sweet-talked. Apache-2.0, 21,000 stars, install by shell script.
Featured in
Issue #13 — Incident Report · — the full issue has that week's other tools, reads, and big-lab releases.
More coding tools we've covered
- i-have-adhd A skill for coding agents — Claude Code and the rest — that forces ADHD-friendly output: the answer first, then numbered steps, no 'hope this helps' filler, no burying the fix in paragraph six. MIT-licensed pure instructions, installed by pasting one line into your CLI; the README's before/after examples make the case better than any pitch, and it ships translated into seven languages.
- Copperhead 'Cursor for circuit boards': an agent that designs and verifies PCBs by editing KiCad files directly — schematic, layout, BOM — running electrical and design-rule checks through kicad-cli, keeping the docs in sync, and generating gerbers at the end. `npm i -g copperhead` and bring your own Claude or GPT key; the CLI is Apache 2.0 and free forever, the cloud tier is $49 a month and free for open hardware.
- anti-slop Fifteen opinionated Oxlint rules that reject low-evidence TypeScript and JavaScript: chained type assertions, `unknown` parameters and returns, runtime `typeof` checks, module mocking, widen-then-assert. It is meant to be vendored rather than depended on — an agent skill copies the plugin in, merges the lint config, and then the files are yours to edit.
- Prime Agent A coding and research agent for long-running autonomous work, built on a Recursive Language Model — context as variables, subagents as function calls inside a persistent IPython REPL — plus a Continual Harness that keeps supplemental prompts, memories, and skills as durable state it refines with small evidence-backed updates.