Anil Madhavapeddy on nostr

@Anil Madhavapeddy 1771925359

"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today https://arxiv.org/pdf/2602.18602 lead by @nprofile1q...

Raito Bezarius · 28w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg5yyvd7dsn2mhq3sm89t8mzm0fthmndlm8d645knafqztzzn04ps5fszv4 I find it interesting that Nix is considered to do singular dependencies only, albeit there's the mention of the various frontend to transform into singular dependencies. I wonder if it ...

nostrich · 28w

Nice paper, thanks! Next halt: check repo consistency using SAT solvers instead of fuzzing? nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg5yyvd7dsn2mhq3sm89t8mzm0fthmndlm8d645knafqztzzn04ps5fszv4 nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq0ujnx96rzj2m7kl9yqhyplqhxuf55el43gdqw8...