2026-10-25T23:52:39Z https://nostr.now Simon Tournier https://nostr.now/npub1epyahyq7kewv4d5g75ju90k24vauuhxw8h4pvay39uptum9uw55sl2hv3y https://social.sciences.re/system/accounts/avatars/111/818/081/465/161/938/original/310db2e0263746c6.png https://social.sciences.re/system/accounts/avatars/111/818/081/465/161/938/original/310db2e0263746c6.png https://nostr.now/nevent1qqsgxln62mhanq382j45r3xex6tjqxdnpc6dp9mvlemkjg6c9eexeaqzyryynkusr6m9ej4k3r6jts47e24nhnjuec7759n5jyhs90nvh36jj3wf08a Hi <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub124tq660z34cuyuth8rlwwj4y38s9ykfn2s3af52dhkx4ygpkxvpsg32ca5" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>ryan</span> (<span class="italic">npub124t…2ca5</span>)</a></span><br/><br/>« Package Managers à la Carte – A Formal Model of Dependency Resolution »<br/><a href="https://doi.org/10.1145/3828699">https://doi.org/10.1145/3828699</a><br/><br/>Cool, very nice and great paper! Well, to be honest, I’m not able to parse all in this paper; it’ll deserve a huge mug of coffee and some free time ahead. So maybe my question is already answered. 😁<br/><br/>🤔 What I’m missing is the definition of “package” and “version”.<br/><br/>2.1.1 « A package is a unit of software – source code, a compiled binary, or data – […] Packages are identified by a name, which refers to a package across its releases, and a version, distinguishing one release from another. »<br/><br/>The exact same source code – the exact same “name” and “version” – can produce two different compiled binaries depending on the compilation options for instance.<br/><br/>What seems lacking in this “Package Calculus“ is thus a third item defining a &#34;package”: the “build script“, no?<br/><br/>Either it’s included in the “version” but the ordering seems lost, either the “Package Calculus“ would need to be updated, no?<br/><br/>Appendix D “Singular Dependencies” speaks about Nix/Guix. And from my understanding, that’s the point of this approach: define a “package” as a “name”, a “version” (= source code release) and a “build script”, no? 2026-09-24T18:03:02Z