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 @01:49PM (#48777779)
LH seems cool but the syntax would definitely take some getting used to...
[ Parent | on HN ]

There are no comments on this comment yet.