Vera — A language designed for machines to write

A programming language designed for LLMs to write, not humans. From the Latin veritas — truth. In Vera, verification is a first-class citizen. Why? Programming languages have always co-evolved with their users. Assembly emerged from hardware constraints. C from operating systems. Python from productivity needs. If models become the primary authors of code, it follows that languages should adapt to

[nguyen-oi]

変数名を廃してインデックス指定とか人間を完全に捨てに来てるな。ハルシネーション対策に全振りした設計は面白いし、AI時代のプログラミング言語ってこうなるのかね