Whoah, that's something! 🤯

And there's even a very nice and interesting LWN writeup about it from a year ago: https://lwn.net/Articles/1022920/ - looks legit and, for now, the more I read the more interested I am!

I wonder how much vibecoded it is, though? The speed they seem to progress at feels impressive on the surface

The project has been around for a while, so the progress hasn't been vibe-fast, I would say.

It's not obviously vibe-coded from what I can tell, although they did embrace "AI" help early on (e.g. copilot reviews).

Utilizing AI in one or more ways is becoming the norm, irrespective of how we feel about it. So the practical question will increasingly become: how competent/knowledgeable are the developers driving a project, not how manual is their development.

The people behind Asterinas are not random enthusiastic youngsters. And some of what they do is original anyway.

Huge thanks for sharing what you know about the project!! ❤️

As for the part on what "will" happen though - you're free to subscribe to your set of beliefs about the future; mine are respectfully different, and my question stands! 🙃