News for hackers. Stuff that matters.

A comment on Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler. Parent comment

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Friday July 03, 2026 @12:59PM (#48777211)
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!

[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by Eridrus on Friday July 03, 2026 @08:59PM (#48781702)
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.

[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Friday July 03, 2026 @09:48PM (#48781954)
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.

[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by Hugsbox on Tuesday July 07, 2026 @05:58AM (#48815669)
So you're just going to gloss over all the rest of the very valid points he's making?
[ Parent | on HN ]