Salt – a systems language with Z3 theorem proving in the compiler

Show HN: Salt – a systems language with Z3 theorem proving in the compiler

Salt – a systems language with Z3 theorem proving in the compiler is a business in show hn launch.

Profile

Hey HN,I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no longer acceptable.We started building Salt to bridge the gap between the raw power of manual pointer arithmetic and the safety guarantees of modern high-level languages. The architecture relies on an MLIR-based backbone and a Z3-powered "formal shadow," and the design is rooted in three main pillars:Fast Enough: The target is to stay within 20% of C's performance, while aiming to consistently outperform Rust.Supremely Ergonomic: We didn't want to reinvent the wheel on syntax.

As a business in show hn launch, Salt – a systems language with Z3 theorem proving in the compiler is listed here with the public details available about it.

It is recorded at the Show HN launch stage.

Website: salt-lang.dev