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 @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 ]