Axis
github.comKey Features
Tech Stack
Key Features
Tech Stack
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.
Not affiliated with Hacker News or Y Combinator. We simply enrich the public API with analytics.