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 ramon156 on Thursday July 02, 2026 @07:53AM (#48759992)
Next time curate what Claude/Codex tells you, this text seems targeted towards you, not a potential user
[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by doc_ick on Thursday July 02, 2026 @08:27AM (#48760414)
100%
[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Thursday July 02, 2026 @11:30AM (#48763110)
What gives you that impression?
[ Parent | on HN ]