This is part of a research effort exploring what happens when a programming language is co-designed with AI, with the intent that AI becomes the primary user of the language.
The goal is not another syntax experiment but a semantics-first design:
a machine-provable core
deterministic semantics
safe parallelism without data races
a bridging layer to existing ecosystems
and language evolution guided by automated reasoning
Only the abstract is available right now; the full article is being drafted.
Feedback — especially skeptical or technical feedback — is very welcome.
A few clarifications that didn’t fit in the submission text:
Right now Axis is just a draft whitepaper, some semantics notes, and the beginnings of a language outline. I’m sharing it early because I’d really value feedback from people with experience in PL theory, semantics, compilers, verification, and AI-assisted program synthesis.
A lot is still missing.
Execution model, type system formalization, proofs, verified interpreter/runtime, examples, and integration with AI models are all very much in progress.
Strong criticism is welcome — I’d prefer to hear corrections now while everything is still in formation.
I’ll be around to answer questions. Thanks again for taking the time.
https://github.com/axis-foundation/axis-research/blob/main/p...
This is part of a research effort exploring what happens when a programming language is co-designed with AI, with the intent that AI becomes the primary user of the language.
The goal is not another syntax experiment but a semantics-first design:
a machine-provable core
deterministic semantics
safe parallelism without data races
a bridging layer to existing ecosystems
and language evolution guided by automated reasoning
Only the abstract is available right now; the full article is being drafted. Feedback — especially skeptical or technical feedback — is very welcome.