Show HN: Jacquard, a programming language for AI-written, human-reviewed code
Summary
Jacquard is a research programming language designed for AI-generated code that is reviewed by humans. It features a compact .jac surface syntax, an OCaml checker and CPS interpreter, a C-emitting native backend, and Warp-based test framework, positioning itself as a research prototype for effectful, verifiable AI-assisted programming.