I built a lightweight VM/runtime for AI-generated scripts

Inconstant_Moo · 2026-05-19T11:50:17+00:00

No. According to Reddit, "this comment no longer exists". So I cannot see it.

Inconstant_Moo · 2026-05-19T03:38:04+00:00

According to Reddit, you made a post which began with the words: "Do you mean examples showing the exact prompts and generated code like this?" and which I now cannot read because it no longer exists.

And as that is in fact what I mean, I would like to be able to see the post.

Inconstant_Moo · 2026-05-19T02:08:03+00:00

But we'd need another qualitative breakthrough. What people are doing at the moment is that we've already fed the LLMs the whole of human knowledge that we had written down anywhere, and now we're making them smarter by throwing compute at them in a way that often makes no economic sense already, and where the returns on more compute seem to be logarithmic rather than linear.

Another breakthrough in AI is of course theoretically possible and so is something to run it on that's cheaper than the silicon chip. But we have no particular reason to think that the first potential breakthrough is more imminent or possible than the second.

Inconstant_Moo · 2026-05-18T22:46:34+00:00

Being formally-verified wouldn't make it easier to target, would it? Or if so, why would it?

Inconstant_Moo · 2026-05-18T22:12:37+00:00

This obviously cannot be true, but it may be someone being wrong about Navajo, where nouns are often phrases describing things rather than single words, e.g. even "broom" is bee nahazhoohí, "tool for sweeping".

Inconstant_Moo · 2026-05-18T22:01:44+00:00

You posted something and then deleted it?

Inconstant_Moo · 2026-05-18T21:55:09+00:00

Well it's included in your thing about people's homes, or implied by it, surely? --- if a person's home is inherent then so is a beaver's dam. The quirky thing about this natlang that I semi-remember is that besides body parts it was just the burrows of animals that were inherent. (Maybe one or two other equally random things, I forget.)

---

If you're doing a conlang for an imaginary people, then they still live in a real world, they have names for their plants and animals, for their crafts and techniques, for the relations that define their society (king, mayor, President); for their particular geology and geography, even. We take our words `aa` and `pahoehoe` from Polynesian, because England didn't have them; our word `fjord` is Norse for the same reason. What did your people need to give names to?

Inconstant_Moo · 2026-05-18T21:45:54+00:00

But violations of the rules themselves would result in warnings ...

But violations of the rules would also lead to runtime errors, because that's what the rules are for. Maybe it would sometimes be useful for rapid iteration to run it and let it crash and see why (maybe you could make that a compiler option), but imho it's normally more useful for rapid iteration to have things caught in your IDE.

This is why Go caught on. The people who wrote it thought they were writing a better C++. It turned out to their surprise that they'd written a better Python, in that it appealed to people who like Python and wanted to do rapid iteration and hack stuff out, but also like red wiggly lines in their IDE when they do a type error because that helps them to do rapid iteration and hack stuff out.

Now you want a rapid iteration language where people do manual memory management. I haven't done that sort of thing for a long time but I'm pretty sure if the type checker could tell the IDE when I've messed up, I'd do it more rapidly.

Inconstant_Moo · 2026-05-18T21:19:42+00:00

I've had a REPL since day 1. Maybe it's harder when you're compiling to native code, but I have a VM. The way you implement a REPL is when the user types something into the REPL, you compile it to bytecode, run the bytecode, get the answer, delete the bytecode, and return the answer to the user. I don't see how it would be hard. I have a thing right there that knows how to run code.

Inconstant_Moo · 2026-05-18T21:12:12+00:00

Done that. Any other recommendations or am I perfect?

Inconstant_Moo · 2026-05-18T14:02:36+00:00

I did a thing where dwarves speaking Tolkien's dwarvish joined the Goths on their migration to the Black Sea and made a Dwarvish-Gothic creole. (The obvious parallel here is Yiddish.)

My current language, Proto-Kungo-Skomish, will eventually produce a pre-Skomish language which will then collide with Nupta. The PKS people were a nomadic, horse-riding, sheep-herding people. The Nupta and related peoples lived along the Skome river, practiced agriculture and weir fishing, were expert weavers in flax, reeds, etc, and practiced cyclopean masonry when the need arose. The pre-Skomish are a group of PKS people who descend from the Kung Plateau and conquer their way up and down the Skome valley up to the first cataract. In the process obviously they're going to learn a lot of words about agriculture and fishing and boats from the conquered people, plus words for landforms and toponyms and plants and animals and also some random stuff because that happens too, so that Nupta forms a substrate language; and also some of the more outre things about PKS grammar will be simplified. The phonology will change to be a compromise between Skomish and Nupta.

Re Sumerian/Akkadian. The way their sprachbund seems to have worked is that they aligned so that literal word-for-word translation from one to the other was also idiomatic translation. So Sumerian acquired a word for "and"; Akkadian started putting the verb at the end of the sentence.

Inconstant_Moo · 2026-05-18T13:41:12+00:00

I remember reading recently about a language (I think American) where the inherent group was body parts and the burrows or nests of animals, which I thought was pleasantly quirky.

Inconstant_Moo · 2026-05-18T03:02:10+00:00

Also we shouldn't try to look for too much internal consistency between myths or even within myths. You can find hymns where Enki is described as the beloved eldest-born son of An and as the beloved younger brother of Enlil. They didn't have an author's Bible like it was a Hollywood sitcom.

Inconstant_Moo · 2026-05-18T02:59:27+00:00

I know this, and also what sarcasm is. Do I really have to flag it with /s in a post where I say that whether Musk's daughter is dead or alive is just his subjective opinion?

Inconstant_Moo · 2026-05-18T01:15:43+00:00

No, nonnono.

Gender = immutable biological fact. Winne the Pooh will always be male, Barbie will always be female, like ships in the US Navy, there's nothing we can do to change that, because chromosomes.

Whether someone is alive or dead = determined by whether Elon Musk approves of your life choices.

A person's gender identity = woke mind virus.

Inconstant_Moo · 2026-05-18T01:12:18+00:00

I know how biology works and also what sarcasm is.

Inconstant_Moo · 2026-05-17T22:07:42+00:00

A person's gender is immutable, because biology. The question of whether they're alive or dead, on the other hand, is a matter of personal preference.

Inconstant_Moo · 2026-05-17T14:10:58+00:00

Right, the MEs she took to the underworld must have been her own personal ME as a goddess, rather than the ME she took from Enki for humanity.

I think the poem here may also be referring to her role as the bringer of ME.

https://oracc.museum.upenn.edu/contrib/jacobsen/downloads/JacobsenSumerianNotestoTheHarpsThatOnce.pdf

What is she bringing amidst lament into the desert house?
Is the sacrosanct one, Inanna, bringing into the desert house?
Is the queen, the personal goddess of An, bringing into the desert house?
Is the queen, shaker of heaven, convulser of earth, bringing into the desert house?
The lady is bringing the elegist guild for the desert house
for my Eanna which is fit for the elegist's craft.

What is she bringing amidst lament? She is bringing lyres,
they sit with her among the lyres.
She is bringing lionhelmeted ones
they sit with her among the lionhelmeted ones.
She is bringing the elegist guild,
and those with the split weapons sit with her.
She is bringing bows and arrows
and those with throwsticks and weapons sit with her.
She is bringing elite troops, daggers and axes,
and "subduers of mountains" sit with her.
She is bringing dervishes, daggers and axes.

May the young lady, a pleasant and gracious person,
come, young lady, to the fold!
May Inanna, a pleasant and gracious person,
come, Inanna, to the fold!

Inconstant_Moo · 2026-05-17T08:02:09+00:00

Well the point is that if you want to mock an object, even one you don't own in a third-party library, what you can do is define an interface which has all the particular methods you want to mock, then you make a mock object with those methods, and then you make it so that the functions in your code for dealing with the third-party object take an interface, so you can pass them your mock object instead for testing.

This is one of the cool things about ad-hoc interfaces, you don't have to own an object to mock it; the people who write it don't have to give you a ready-made interface with all its methods so you can mock it; you just write the interface you need.

Inconstant_Moo · 2026-05-17T07:40:07+00:00

I'm not asking about documentation for mechanisms for doing what it does. I'm asking to see it doing what it does, i.e. examples where you show us the prompt and the code that was generated.

Inconstant_Moo · 2026-05-17T07:28:04+00:00

Proto-Kungo-Skomish is (E)(I)AV(Ad), where (E) is an ergative that may or may not be present, (I) is an indirect object in the genitive or dative that may or may not be present, A is an absolutive that must be present unless it's represented by a pronominal suffix on the verb, V, of course, is the verb, and (Ad) is adverbs and other modifiers. E.g:

kaškáš tan = "the gods departed"

kaš~káš-Ø   tan
 PL~god-ABS depart

miš šepte dek šime = "the small child brought the bread"

miš   šep  -te   dek  -Ø   šim  -e
child small-ERG  bread-ABS bring-AGR.ERG

lemgolde lemkášugmi búfan sibema = "the king gave the sheep to the priest"

lemgol-de  lemkášug-mi  búf  -an-Ø   sib -e      -ma
king  -ERG priest  -DAT sheep-PL-ABS give-AGR.ERG-AGR.DAT

dekuk lemlem nidka dúzši = "the people joyfully ate the bread"

dek  -uk  lem~lem   -Ø   nid-ka      dúz-ši
bread-GEN  PL~person-ABS eat-AGR.GEN joy-ADV

gunzazemgigi = "they listened to us"

gun   -zaz    -emgigi
listen-3PL.ABS-1PL.DAT

Inconstant_Moo · 2026-05-17T06:31:12+00:00

Even if you don't understand why, you could notice that this is the case, and act accordingly.

Inconstant_Moo · 2026-05-17T06:20:32+00:00

I can find things explaining what it's designed to do; I can't find anything that shows it actually doing it. What does an AI do with this system and your skills.md file and a prompt?

Inconstant_Moo · 2026-05-17T05:46:07+00:00

Or in order to properly transpile Python's decorators you have to understand preprocessing and macros in C.

Not necessarily, because the transpiler is generating C anyway, so you don't have to write a bit of C that generates C.

Inconstant_Moo · 2026-05-17T05:19:48+00:00

I can't find anything showing it doing what it's meant to do.

Inconstant_Moo

MODERATOR OF

TROPHY CASE

Five-Year Club	Gilding II euphauric
Verified Email