[nextos]

This is my take as well. I think something like Dafny + LLMs will raise in popularity.