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.
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
save