jasisz/aver

Aver is a programming language for auditable AI-written code

7 best points · 4 comments · 1 Hacker News post · 66 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Aver – a language designed for AI to write and humans to review (7 points, 4 comments, by jasisz, 2026-03-11)