News for hackers. Stuff that matters.
[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
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by doc_ick on Thursday July 02, 2026 @08:27AM (#48760414)
100%
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Thursday July 02, 2026 @11:30AM (#48763110)
What gives you that impression?