Show HN: Jacquard, a programming language for AI-written, human-reviewed code
Jacquard is a new programming language designed to help humans review and verify code generated by artificial intelligence. It focuses on transparency regarding program effects and uncertainty to ensure safer AI-human collaboration.
Why it matters
As AI-generated code becomes more prevalent, tools that allow for human oversight and verification are critical for software security and reliability.
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/LIMITS.md is the honest boundary.
Install the 0.1 release candidate without OCaml or opam:
curl -fsSL https://raw.githubusercontent.com/jbwinters/jacquard-lang/jacquard-core-0.1-rc3/scripts/install.sh | sh ~ /.local/bin/jac run ~ /.local/share/jacquard/demos/basics/m1-fact.jac The expected output is 120 . Linux x86-64, macOS Intel, and macOS Apple Silicon binaries are published; development from source is documented below.
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in