Anil MadhavapeddyFeb 24
"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 @ryan
Show threadRefurio AnachroFeb 24

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

@ryan @avsm

Show threadAnil Madhavapeddy
@RefurioAnachro @ryan thanks! will still need fuzzing+build for a long time since the set of allowable constraints is massive
Feb 24 at 2:45pmWeb