Hacker News Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://ift.tt/yead3lG Unknown 16:26 0 Show HN: Salt – a systems language with Z3 theorem proving in the compiler https://salt-lang.dev July 1, 2026 at 06:05PM