News for hackers. Stuff that matters.

A comment on Salt v1.0.0 – a systems language with Z3 theorem proving in the compiler.

Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by rurban on Thursday July 02, 2026 @01:02AM (#48756748)
Why no GC? Guaranteed memory safety would be nice
[ Parent | on HN ]
Re:Salt v1.0.0 – a systems language with Z3 theorem proving ... by bneb-dev on Thursday July 02, 2026 @07:26AM (#48759718)
It was a design decision. I chose Arenas instead.

The designed arena allocation is both faster and more predictable than GC. The trade-off is that you have to think about memory regions, but you never pay a GC pause.

[ Parent | on HN ]