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 Wednesday July 01, 2026 @03:10PM (#48751744)
Thanks for reading and sharing your thoughts!
[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by throwaway81523 on Wednesday July 01, 2026 @10:06PM (#48755570)
You should also look at Liquid Haskell.
[ Parent | on HN ]
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 ]