Polyglot web framework in 15 languages
A polyglot web framework implemented in 15 programming languages, with C# and Lean4 as the reference implementations. AI writes all the code, while deterministic tools run structural and behavioral audits to keep every language port consistent with the reference implementations; the codebase is about 1.8M lines. It is a one-year part-time experiment testing how far "working code → correct code → good code" can go without a human reading the code, with deterministic audits correcting structure, AI mistakes, and validating behavior.
What it addresses
Can a large project be built with AI writing the code and AI plus deterministic tools verifying, guiding, and enforcing structural and behavioral consistency, without a human reading the code?
Shared over time
Each entry reflects what was shared on that date. Details may have changed since then.
Polyglot web framework in 15 languages
A polyglot web framework implemented in 15 programming languages, with C# and Lean4 as the reference implementations. AI writes all the code, while deterministic tools run structural and behavioral audits to keep every language port consistent with the reference implementations; the codebase is about 1.8M lines. It is a one-year part-time experiment testing how far "working code → correct code → good code" can go without a human reading the code, with deterministic audits correcting structure, AI mistakes, and validating behavior.
Problem: Can a large project be built with AI writing the code and AI plus deterministic tools verifying, guiding, and enforcing structural and behavioral consistency, without a human reading the code?
Posted by @srid68 · Original comment ↗
“I'm building a polyglot web framework in 15 languages, with C# and Lean4 as the reference implementations. Structural and behavioral audits using deterministic tools check that every port stays consistent with the reference. It's about 1.8M lines now.”