iiinova — where your digital self keeps evolving

Papers We Love

@paperswelove.org

958 followers 14 following 546 posts

A community of folks into computer science research and using it for great justice. 🌏 paperswelove.org 👀 pwlconf.org 🦣 mstdn.io/@paperswelove 📺 www.youtube.com/@PapersWeLove

Posts Replies Media

Papers We Love @paperswelove.org · 01/02/2026

This seems very interesting, and would make an interesting talk! Solving Package Management via Hypergraph Dependency Resolution - arxiv.org/pdf/2506.10803 #dependencies #packagemanagement #research

Package managers are everywhere, with seemingly every language and operating system implementing
their own solution. The lack of interoperability between these systems means that multi-lingual projects
are unable to express precise dependencies across language ecosystems, and external system and hardware
dependencies are typically implicit and unversioned. We define HyperRes, a formal system for describing
versioned dependency resolution using a hypergraph that is expressive enough to model many ecosystems and
solve dependency constraints across them. We define translations from dozens of existing package managers
to HyperRes and comprehensively demonstrate that dependency resolution can work across ecosystems
that are currently distinct. This does not require users to shift their choice of package managers; instead,
HyperRes allows for the translation of packaging metadata between ecosystems, and for solving to be precisely
specialised to a particular deployment environment.

Papers We Love @paperswelove.org · 16/10/2025

WE ARE THE HYPER-EDGE

Papers We Love @paperswelove.org · 16/10/2025

The Papers We Love graph

000

Papers We Love @paperswelove.org · 16/10/2025

AI memory why do we need it?

Papers We Love @paperswelove.org · 16/10/2025

Rylan Talerico on Zep! At #paperswelove #nyc

Papers We Love @paperswelove.org · 18/09/2025

SAT SOLVERZ!

Papers We Love @paperswelove.org · 18/09/2025

Papers We Love #nyc kicking off with Michael Vaughn on EXE: Automatically Generating Inputs of Death

Papers We Love @paperswelove.org · 12/03/2025

Dafny in action

Papers We Love @paperswelove.org · 12/03/2025

Alex Weisberger presenting at papers we love #nyc

Papers We Love @paperswelove.org · 06/02/2025

Alex dropping science about data fusion

Papers We Love @paperswelove.org · 29/10/2024

Ben Safdie as Edward Teller at Papers We Love #nyc

Papers We Love @paperswelove.org · 29/10/2024

Error Detecting and Error Correcting Code by RW Hamming at papers we love #nyc #compsci #meetup

Papers We Love @paperswelove.org · 29/10/2024

Gearing up for the papers we love #nyc meetup tonight!

Papers We Love @paperswelove.org · 22/09/2023

Kicking off another day of Papers We Love with Leemay Nassery at Strangeloop

Papers We Love @paperswelove.org · 21/09/2023

Why Programming Languages Matter w Andrew Black at Strangeloop

Papers We Love @paperswelove.org · 21/09/2023

Come and get ‘em!

Papers We Love @paperswelove.org · 21/09/2023

Strangeloop is go!