[bneb-dev]

Haven't heard of Venus (the programming language), but it sounds interesting. I'm curious to know what you mean by verified?

Do you happen to know if Venus has a Result type with canonical error codes, pipes, and other ergonomics?

Does it have C parity performance?

[Eridrus]

Verus, not Venus: https://verus-lang.github.io/verus/guide/

[bneb-dev]

Ah, the issue is that I don't like that syntax: Salt is macro free, and doesn't need assert statements, etc... These are stylistic but I am assuming that under the hood things look quite similar.

I put an effort in to de-slop the project wherever I can. If you've noticed anything specific, I'd kindly request that you open an issue on Github or respond here with your findings so that I might correct them in the future.

Thanks for taking an in-depth look at Salt.

[doc_ick]

Thanks for trying to de-slop an ai-created project.

[bneb-dev]

Not sure what tone you're going for, but can you expound on what you mean by 'ai-created'?

[Hugsbox]

I'm not that commenter, but I feel like you wouldn't have to de-slop the project if it wasn't slop to begin with.

[bneb-dev]

My workflow is to design, then use goal and loop prompts to RALPH a feature. At that point, usually there is a bunch of AI generated code that is generally correct but needs refinement, editing, testing, benchmarking, etc... That human-in-the-loop iterative step is the 'de-slop'. Would you prefer different phrasing, or is the trigger here the use of coding agents?