News for hackers. Stuff that matters.
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

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.