Show HN: Jacquard, a programming language for AI-written, human-reviewed code
Why CEREBRO kept it
Novel pattern: AI-written + human-reviewed; emerging workflow signal.
The text below is an automated extraction of the article at https://github.com/jbwinters/jacquard-lang, stored verbatim in the public cerebro-vault repository. Copyright remains with the original publisher (github.com).
Jacquard is a FriendMachine research project for running, reviewing, simulating, and trusting programs written by models and reviewed by people. Start with the human-friendly introduction to Jacquard. Concretely, it is a small programming language with a compact .jac surface syntax, an OCaml checker and CPS interpreter, a C-emitting native AOT backend that currently compiles the kernel .jqd carrier, a command-line tool, a Jacquard-written standard library, and a test framework called Warp. Version 0.1 works end to end but is a research prototype, not a production language; docs/release/0.1/LIM
Community take
Explicit effects declarations (what functions touch globally) is the standout idea, directly echoing Jai's proven approach to side-effect transparency.
Backlinks
Appeared in 1 briefing