!lymvtcwDJ7ZA9Npq:lix.systems

Lix Development

408 Members
(Technical) development of Lix, the package manager, a Nix implementation. Please be mindful of ongoing technical conversations in this channel.135 Servers

Load older messages


SenderMessageTime
5 Dec 2025
@Ericson2314:matrix.orgJohn Ericsonbecause can't just pre-generate those files prior to building inputs and make separate store objects22:43:08
@Ericson2314:matrix.orgJohn Ericsonand forgot how to rename them22:43:14
@Ericson2314:matrix.orgJohn Ericsonit is a very annoying problem22:43:52
6 Dec 2025
@Ericson2314:matrix.orgJohn Ericson @puck:puck.moe: so edef reminded me that "last minute" input addressing is like merely "applicative" rather than monadic dynamic derivations. This makes me realize that rewriting inputs /placeholders, desugaring structured attrs / passAsFile can be seen as a mini, possibly built-in dynamic derivation 03:27:50
@Ericson2314:matrix.orgJohn EricsonI think this works nicely with the core derivation only having input sources, and being what is given to the builder03:28:45
@Ericson2314:matrix.orgJohn EricsonPut another way, depending on an unbuilt derivation output is more domain-specific operation 03:29:18
@Ericson2314:matrix.orgJohn EricsonThe graph can be full of domain-specific garbage because the sandboxer doesn't care03:29:47
@puck:puck.moepuck

passAsFile/etc are kinda wonky; i'd at best consider this a separate .drv format, really

the original design i lost was like. a {* str => user-defined-format} so you could have {"nix.drv.v1": {...}} and have those serve as, basically, the way requiredSystemFeatures is abused

09:43:23
@puck:puck.moepuckand yeah, i realise i can actually slim down the core data a bit more; the map of derivation inputs can live in the meta/steering data entirely (because the bstr in the steering data is enough to verify the store path) though it makes rewriting derivations a bit wonkier09:44:37
@puck:puck.moepuckbut CA derivations would have to be represented as a slightly different format to make the realisation format Sensible with this09:45:09
@Ericson2314:matrix.orgJohn Ericson @puck:puck.moe: yeah sounds good. We have enough legacy cruft that I sort of like to let the refactoring "organically" figure out the details, if that makes sense 16:29:57
@Ericson2314:matrix.orgJohn EricsonFor example, on the observation that the core derivation format corresponds to what the builder/sandboxer needs, I would keep on trying to clean up that interface until CoreDerivation emerges organically16:30:43
@Ericson2314:matrix.orgJohn EricsonAnd then I would try to have the "build trace" use core derivations as much as possible16:31:27
@Ericson2314:matrix.orgJohn EricsonBecause it increases cache hits16:31:37
@Ericson2314:matrix.orgJohn Ericson(though at the cost of making looker-uppers do a bit more work before they have the cache key to check)16:32:23
@Ericson2314:matrix.orgJohn EricsonAn example of this sort of refactoring is that DerivationBuilder doesn't know about inputsDrvs (good!) but it does know about DerivationInput and all of DerivationOptions (maybe not so good!)16:33:58
@Ericson2314:matrix.orgJohn EricsonregisterOutputs in general is way too full of policy knobs16:34:27
@Ericson2314:matrix.orgJohn EricsonIt reeks of "configuration not composition"16:34:47
@jade_:matrix.orgjade_ raitobezarius: fyi there's internal server errors on zulip.lix.systems when trying to log in 19:52:38
@raitobezarius:matrix.orgraitobezariusfixed, that's due to a keycloak breaking change19:53:10
@jade_:matrix.orgjade_ty19:53:46
@raitobezarius:matrix.orgraitobezarius https://cl.afnix.fr/c/infra/+/175 19:53:54
@winter:catgirl.cloudWinter raitobezarius are you aware of similar issues when logging into forgejo? this has been happening for months though but just curious if you’re aware 20:03:49
@jade_:matrix.orgjade_is this 100% reproducible or inconsistent?20:04:15
@raitobezarius:matrix.orgraitobezariusnot-100% reproducible20:04:21
@raitobezarius:matrix.orgraitobezariusthose issues afaik are related to the IPv6 only stack20:04:27
@raitobezarius:matrix.orgraitobezariusthey were fixed once we ironed out all the DNS resolution mess20:04:36
@raitobezarius:matrix.orgraitobezarius(just retried again right now to check and it works)20:04:44
@raitobezarius:matrix.orgraitobezariusbut we did have such a mess20:04:47
7 Dec 2025
@thubrecht:matrix.orgthubrechtWelp https://github.com/NixOS/nixpkgs/commit/b3cf9ce0f9d01b9c1dc4b7e04fb8b28f79ee68c409:21:41

There are no newer messages yet.


Back to Room ListRoom Version: 10