| 24 Feb 2026 |
 emily | so making attrsets inconsistent with that seems gratuitous | 13:55:29 |
 delroth | really the irresponsible behavior is 3rd party software deciding to build on an experimental interface, no? | 13:55:34 |
 raitobezarius (DECT: 7248) | yes | 13:55:47 |
| raitobezarius (DECT: 7248) | hence: https://github.com/nix-community/home-manager/issues/8786#issuecomment-3951682232 | 13:55:54 |
| delroth | nice, that was roughly my take on this whole thing as well | 13:56:25 |
 Qyriad | In reply to @raitobezarius:matrix.org
the nix profile add is controversial because this change has no raison d'etre and I understand that some folks in the team are getting really pissed off by this irresponsible behavior "add" probably does make some sense over "install" since "install" implies a lot of things. but meh.thiho | 13:56:29 |
| raitobezarius (DECT: 7248) | I don't really care about the details of the change in itself, I agree that a rename like that is unproblematic | 13:57:18 |
| Qyriad | In reply to @raitobezarius:matrix.org
the nix profile add is controversial because this change has no raison d'etre and I understand that some folks in the team are getting really pissed off by this irresponsible behavior * "add" probably does make some sense over "install" since "install" implies a lot of things. but meh. | 13:57:31 |
| raitobezarius (DECT: 7248) | I care about the consequences for 3rd party software which have stability commitments which are failing to uphold them because they rely on this because people tells them nix-command is defacto stable but it's actually not because someone actually did use the unstable contract to change things | 13:57:50 |
| raitobezarius (DECT: 7248) | I don't want to adopt blindly the change and give the signal that it's OK to do this sort of things in the future even more too | 13:58:43 |
| Qyriad | There is a problem though in that nix-env and nix profile can't be used together | 13:59:14 |
| Qyriad | You can't just stop using nix profile and go back to nix-env without deleting the profile | 13:59:30 |
| raitobezarius (DECT: 7248) | This seems like a problem we need to address | 14:00:27 |
| Qyriad | Ah, except for nix-env --set. Since that has nothing to do with the profile's manifest and is really about profile generation management than the profile itself | 14:04:09 |
| emily | to put it another way: set1 == set2 really ought to be equivalent to attrNames set1 == attrNames set2 && attrValues set1 == attrValues set2. you can always express this in the language and if we model the current behaviour as nondeterministic there's always a conceivable execution trace that matches these semantics. so it doesn't make sense to make equality stricter than that interpretation, which is consistent with lists, consistent with the existing builtins on attrsets, and optimal in terms of runtime performance of the comparison loop. thoughts, @piegames:flausch.social ? | 15:14:44 |
| emily | the other reasonable alternative is to make it equivalent to map (name: [ name set1.${name} ]) (attrNames set1) == map (name: [ name set2.${name} ]) (attrNames set2) but this is:
- I think inevitably strictly slower in terms of runtime perf because there are cases where you will recurse into expensive thunks that the other variant never will
- more difficult to express in terms of in-language primitives
- less compatible - for every program that returns true or false from such a comparison, the other variant will also return that value, but this variant will abort/loop forever/throw strictly more often
both of them are entirely consistent with "angelic" choice of nondeterministic comparison orderings, but I don't think the interleaved variant has any merits
| 15:21:32 |
| emily | other reasons comparing names separately makes more sense:
- consistent with lists,
[ abort abort ] != [ abort ] compares lengths before values already, and list lengths are analogous to attrset key sets
- indeed the interleaving version can't legitimately even short-circuit on the number of names without complicating semantics because of
{ a = abort; } != { b = abort; c = abort; } -- whereas if you compare names first, you can legitimately do that short circuit because attr name set comparison happens before any thunks are forced
| 15:44:34 |
| emily | I'll put a summary of this up on the Nix PR in a few hours since this is getting verbose :) | 15:49:55 |
| emily | but I firmly believe attrNames set1 == attrNames set2 && attrValues set1 == attrValues set2 is the right semantics on both practical and theoretical grounds (and we should fix anywhere Nixpkgs still relies on pointer equality dodging type errors/aborts/throws/infinite loops and then move towards not doing that by default) | 15:51:51 |
 piegames | Okay | 16:23:57 |
| 25 Feb 2026 |
|  @kirottu:kirottu.com left the room. | 16:55:51 |
|  isabel changed their profile picture. | 21:51:40 |
| 16 May 2024 |
|  zrsk joined the room. | 13:54:49 |
 samrose | In reply to @lunaphied:lunaphied.me
I think there were a few CLs on the Gerrit but nothing being actively worked The other thing that I could do if it helps is test things and try to find bugs. I did do some C++ work in the past, but may lack the time to do it justice here at least for about 30 days or so | 15:55:29 |
| Qyriad | we are not in any rush 🙂 | 17:20:53 |
| samrose | Would it help to also test out the existing Lix code and try to find issues/bugs etc? | 17:23:21 |
| Qyriad | absolutely | 17:23:41 |
| samrose |
- how do people feel about the existing test suite that comes along with nix source code or Lix?
| 17:23:48 |
| Qyriad | it's pitiful | 17:24:10 |
| samrose | heh | 17:24:16 |
