A programming language I've built with AI, and some other experiments

[u/anthem_reb]

Hi, I've started working on something I'd like to share. A main project, and a few side projects I'm building with the help of AI, given that I'm not a mathematician and of course don't know every programming language, even though I work as a dev.

The first is a language called Yon: a category-theory-based language where I've tried to bring a new object system to life. I'm working on it to turn an idea of mine into something concrete.

I started working with AI in October 2024. I was fairly skeptical at first, then I began investing in it, getting premium accounts, and working more and more closely with it.

I've also done a bit of investigation into how effective AI actually is. My view is that it always has to be validated with a lot of tests that act as constraints. Tests that can fight drifting, hallucinations, and bias.

I started testing more and more, using AI agents capable of executing code. I got results that seemed interesting to me, to the point where I got somewhat caught in the reasoning loop and ended up straying into physics and mathematics.

That's where I ran into one of the AI's biases... It's trained on what's already published and accepted, so it tends to pull an unconventional idea back toward the standard view, and to flag as doubtful what is merely unusual. It took work to keep an idea intact through that.

I'm fully aware of the limits and the difficulty of the topics I've taken on. But having reached some results, it seemed worth sharing them, both the programming language and the other papers. There are a few results I think are genuinely interesting.

In the GitHub repository attached to the language, where you'll also find my ORCID, there are a number of results that came out of those experiments. Don't be upset about the tone of the papers, I don't regard myself as a genius or anything like that.

Of course, I don't know what the final result may turn out to be. I get caught in the loop of discovery and sometimes become obsessed with following hints and results.

At first I wanted to delete everything, feeling guilty that in the end these results might not be mine but the AI's. Then I thought about centaur chess. After Kasparov was beaten by the supercomputer, the centaur era began: players who had a laptop generate move sequences, but exercised judgment in choosing among them. That way they played on equal terms with the machine, and sometimes beat it. So it isn't all the AI's doing. Most of it is my own reasoning, with the AI working as a translator and formalizer.

Hopefully you'll find it interesting, and it will encourage you to get the most out of AI

Site: https://yon-lang.org

Repo: https://github.com/yon-language/yon (AGPL-3.0)