Is there an actual language implementation? Or is the repo empty because the whole idea is that you're specifying things LLMs will already understand (but in a standarized way)?
Very cool idea in general. I guess I'm just curious what the practical limits of just-a-format-spec is. Like, the original golang compiler was written (ie bootstrapped) in C. Is there some equivalent bootstrapping process here or is it all just format specification? e.g. when I say MUST, I would expect the output to really adhere to that constraint. But, in my experience, LLMs do not always comply. Is that your language's responsibility to solve or mine?
That is I think you need 3 stages: (a) Lexer + Mini LLM that transpiles HUMAN lang into structured JSON and also outputs a static prompt describing how to interpret this JSON. Both of which are then fed (b) into big LLM, (c) Output code (plus instruction prompt) is then fed back to another smallish LLM to verify that OUTPUT matches the "MUST" "SHOULD" "NEVER" directives.
[Mini LLM] = Something like gemma3-270m finetuned as a lexer / json compiler
[BIG LLM] = Claude 4 or whatever
[Verification LLM] = Could be something like Qwen3.
I am going to write a basic lexer in rust. eventually a formatter too. the repo is empty for now because i am still working on it. the cool thing is that it does not need a lexer, but it would be nice. it is going to have a lot of cool stuff coming soon, like a package manager.
Very cool idea in general.
Ty let me know how it works for you.
Is that your language's responsibility to solve or mine?
the entire goal is that the language will solve it. still figuring it out but the idea is that this would integrate directly into an LLM so it is actual code, not just a prompt. i also want to add ADDRESS_HALLUCINATION or something similar eventually.
also, i was going to name it huumn but that github @ was taken... by you! lol.
new project idea: create a country called Human and apply for .hmn or .human TLD -- when human/AI distinction becomes more important, that TLD may become quite valuable.
I read a tweet where some savvy guy bought walmart.ai, intel.ai, etc shortly after ChatGPT launched and raked in the mongolian beef if you know what I mean.
.human domains would be nice. I bet you could really gouge.
MUST, I would expect the output to really adhere to that constraint. But, in my experience, LLMs do not always comply. Is that your language's responsibility to solve or mine?ADDRESS_HALLUCINATIONor something similar eventually.huu.mn. I'll let it go for 10 BTC. Let me know when it's in escrow (if there's a platform for such things)!.hmnor.humanTLD -- when human/AI distinction becomes more important, that TLD may become quite valuable.walmart.ai,intel.ai, etc shortly after ChatGPT launched and raked in the mongolian beef if you know what I mean..humandomains would be nice. I bet you could really gouge.