4 ms·

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

I'm not sure what the point of bringing up Versus is. Is it https://verus.io/ 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 3mo ago
It's https://github.com/verus-lang/verus 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 3mo ago
  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 3mo ago
    So you're just going to gloss over all the rest of the very valid points he's making?