01
Jacquard — a language that tells the reviewer what the code can touch
The premise is stated in one sentence in the README: "when most code is written by machines, the humans reviewing it need the language itself to answer 'what can this touch, and how sure are we' without reading every line." Jacquard's answer is threefold. Effects live in type signatures — (text) ->{net} text declares that a function may touch the network, and the runtime rejects unhandled world effects unless that authority is explicitly granted, so the blast radius is a fact of the signature, not a hope about the body. World handlers are swappable — the same program runs against the real network, a scripted fake, or a recording of last week's traffic. And identity is structural: Jacquard hashes canonical resolved structure rather than source bytes, so comments, formatting, and renames don't invalidate test results — the reviewer re-checks meaning, not cosmetics. It ships as an OCaml checker, a CPS interpreter, a C-emitting native backend, a CLI (run, check, hash, diff, test, build), and a test framework with content-addressed caching; precompiled binaries for Linux and macOS. Apache-2.0, created eight days ago, 81 stars, 90 points on Show HN.
Reach for it when the question about an agent's diff isn't style but reach — did this PR grow a network dependency, and do I have to read every line to find out. The contrast with Skillscript (yesterday's pick) is the interesting part: Skillscript gave the agent a substrate to write down what it knows; Jacquard gives the human a substrate to check what the agent wrote. Delete the read-every-line audit whose only question is "what can this touch." Tradeoff: version 0.1 is a research prototype and says so — no concurrency, no package management, no production claim — and a language designed for reviewability makes the same adoption bet Skillscript made yesterday, one seat over: the value only lands if the machines actually write in it.