The repo contains the draft whitepaper, early semantics. This is very early work — I’m sharing it now to get feedback from people working in PL theory, compilers, formal methods, and AI tooling.
Repo: https://github.com/axis-foundation/axis-research
Whitepaper (PDF): https://github.com/axis-foundation/axis-research/blob/main/p...
I’m particularly interested in where this overlaps with existing research, where the ideas may be flawed, and whether the overall direction seems useful or misguided. All feedback welcome.
fixpointflow•9h ago
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.