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

Jacquard is a new programming language designed for AI-generated code that is reviewed by humans, featuring a compact syntax with built-in mechanisms to track program effects, uncertainty, and identity. The language includes an OCaml-based checker, a C-emitting compiler backend, and a test framework called Warp, with version 0.1 available as a research prototype. Key capabilities include explicit effect declarations in function signatures, runtime enforcement of authorized effects, and tools for simulating and verifying AI-written programs before deployment.