[dead]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ...
by left-struck on Thursday July 02, 2026 @06:18AM
(#48759107)
>One nights-and-weekends developer.
What?
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ...
by bneb-dev on Thursday July 02, 2026 @07:22AM
(#48759681)
This is being made by one person as a side project (not done during core working hours)
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ...
by Hugsbox on Thursday July 02, 2026 @12:59PM
(#48764276)
Why is that a bullet point under "What's not done"? It's confusing in that context, almost as if an AI wrote it and then it wasn't looked over.
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ...
by bneb-dev on Thursday July 02, 2026 @01:28PM
(#48764696)
You could nitpick the subsection title, and from that perspective "What's not done" is a bit of a catch-all for caveats.
With that said, I think it's pretty easy to infer the meaning there.
I'm not really sure how else to be more transparent about things, but I am using an AI-augmented engineering as the core workflow for the project, and that includes drafting docs and this post.
I read and edit the work. For a side-project with no current community support or users, I need to make a judicious decision when to spend time and effort. IMO it is reasonable _not_ to try to trick anyone into thinking that AI is not used. My proof reading and editing will miss things from time-to-time. I'm OK with it at the current scale of the project.
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