frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: Axis – A semantics-first logic language co-designed with AI

https://github.com/axis-foundation/axis-research
1•fixpointflow•2mo ago
Axis is an experiment in designing a small, deterministic, semantics-first logic language with an AI collaborator. The goal is to explore whether a minimal, rigorously defined semantic layer can help AI systems generate safer and more consistent code across different host languages.

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.

Comments

fixpointflow•2mo ago
OP here — thanks for taking a look.

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.