nostrich on nostr

Open in Damus

Anil Madhavapeddy · 28w

"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/pd...

nostrich 1771943281

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

@nprofile1q... @nprofile1q...

1

Anil Madhavapeddy · 28w

nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqzverf7mum6gjapqm7g8jc06e9luwjcgrzu5fdvq5acaxmz6nwjrqcuuv8h nostr:nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqg5yyvd7dsn2mhq3sm89t8mzm0fthmndlm8d645knafqztzzn04ps5fszv4 thanks! will still need fuzzing+build for a long time since the set of a...