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

1 point

6 months 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.

1 comment