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

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Wednesday July 01, 2026 @03:09PM (#48751735)

For complete transparency: AI augmented engineering is the core workflow for this project.

I have been pretty diligent about trying to de-slop the project after long RALPH loops and `/goal` prompts, and I review and edit documentation. Based on your feedback, I just made another pass.

Please feel free to let me know if there is anything specific lacking from the docs, and I will update them in the future.

[ Parent | on HN ]

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by skybrian on Wednesday July 01, 2026 @04:11PM (#48752479)

If you compare say, the Go language specification for an assignment statement [1] to Salt's explanation of its let statement, there is a big difference. Salt's docs lean heavily on "it works like you would expect from other languages" so you have to reason by analogy. A specification shouldn't work that way; it should actually explain the rules for each language construct, without assuming knowledge of other languages.

[1] https://go.dev/ref/spec#Assignment_statements

[ Parent | on HN ]

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Wednesday July 01, 2026 @07:25PM (#48754466)

Thanks, I restructured that doc and will work on it moving forward.

[ Parent | on HN ]