News for hackers. Stuff that matters.
Re:Spectrum OS: a declarative, reproducible, compartmentaliz... by isr on Tuesday September 14, 2021 @07:56PM (#28533206)
This doesn't address the dynamic vs static typing issue you brought up, but for the rest, you may be interested in exploring guix.

Guix is essentially a reimplementation of nix packaging system using a pre-existing language - guile scheme.

Some may react adversely to them using a lisp (<s>well, enlightenment is not for all ... </s>), but leaving that aside, guix has continued to evolve in slightly different ways to nix, but still the core (and the guarantees it provides) remains essentially the same

Re:Spectrum OS: a declarative, reproducible, compartmentaliz... by mateuszf on Wednesday September 15, 2021 @05:34AM (#28537063)
The Lisp part is great, but sticking to only libre software makes it a hard pill to swallow.
Re:Spectrum OS: a declarative, reproducible, compartmentaliz... by spindle on Wednesday September 15, 2021 @05:39AM (#28537090)
Right, and I think (I hope I'm wrong) that guix makes it difficult to boot from ZFS, even though ZFS is libre. NixOS makes ZFS very easy.
Re:Spectrum OS: a declarative, reproducible, compartmentaliz... by rekado on Wednesday September 15, 2021 @08:30AM (#28538221)
I think you're wrong. Guix has a zfs package. The build farm just won't give you a pre-built binary due to license conflicts.