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 Saturday July 04, 2026 @02:57PM (#48787880)
Made updates directly influenced by your input. Please feel free to follow up in Github!

See https://github.com/bneb/lattice/blob/main/docs/deep-dives/z3...

[ Parent | on HN ]

There are no comments on this comment yet.