Jas revives N-version programming with AI and a 23,000-line spec

Jason Hickey’s case study, “Jas: AI-Paired Engineering as a Revival of N-Version Programming”, demonstrates how a solo developer built five functional ports of a vector illustration application across Rust, Swift, OCaml, Python, and browser-based platforms in roughly 120 evening hours. The core innovation is pairing AI-assisted implementation with two safeguards: a precise executable YAML specification (23,000 lines) serving as the single source of truth, and parallel implementations that act as a built-in differential-testing layer. The specification’s escape hatch meant the per-port native code ranged from 0 to about 95,000 lines, depending on how much the target language handled natively.

Hickey frames this methodology as a revival of N-version programming, a 1980s fault-tolerant approach abandoned due to high cost. AI drastically reduces the expense of creating multiple independent implementations, making it feasible to detect inconsistencies across versions automatically. The paper reports concrete artifacts, honest limitations, and argues that AI-paired engineering with these safeguards can achieve scope of work that conventionally requires multiple developer-years, potentially reshaping how single-developer teams approach large-scale software projects.