Jacquard - Programming language for AI-written, human-reviewed code

Show HN: Jacquard, a programming language for AI-written, human-reviewed code

Jacquard is a novel programming language designed for a future where AI models write most code and humans focus on review. It uniquely exposes program effects, uncertainty, and canonical identity directly in the syntax, allowing developers to instantly see what a function can touch without reading every line. Built with an OCaml checker and C backend, Jacquard enables running code against multiple simulated worlds and performing exact probabilistic inference. This research prototype empowers humans to trust and verify machine-generated software with unprecedented clarity.

"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."