[bneb-dev]

I'm not sure what the point of bringing up Versus is. Is it https://verus.io/ ? Is it a plug for your own project?

There are several points you made where I think we just fundamentally disagree so I'll decline to engage further at this point.

Hope you have better luck with your candidates and your own projects. I look forward do seeing them on HN down the road!

[Eridrus]

It's https://github.com/verus-lang/verus

It's not my own project, but it's doing basically the same thing you are doing which is why it is relevant.

[bneb-dev]

With 92 contributors, I'd bet that The Vera Project is much more mature.

Salt has some different ergonomics and performance goals though, which makes this project unique.

[Hugsbox]

So you're just going to gloss over all the rest of the very valid points he's making?