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)
[ Parent
| on HN ]
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.