| 1 Dec 2025 |
 raitobezarius | in the context of nixpkgs system platform comparison i mean | 14:46:20 |
 piegames | In reply to @raitobezarius:matrix.org
unless we have function semantical equality imho Which, to be clear, we really really don't want, no matter which fancy theoretical models exist that "solve" this problem :) | 15:04:21 |
| raitobezarius | yes yes, we went through this | 15:05:08 |
| raitobezarius | (but u sure u dont want to impl bisimulation?) | 15:05:15 |
| piegames | If the only reason we need function comparison in the first place is "woops we did a Von Neumann mistake and now all our data is mixed with code so we can't compare it anymore", then the solution should be to stop doing that instead | 15:06:00 |
| piegames | In reply to @raitobezarius:matrix.org
(but u sure u dont want to impl bisimulation?) Only on a conference paper | 15:06:19 |
 K900 | Oof | 15:42:00 |
| K900 | Lowdown update in nixpkgs broke the override in lix flkae | 15:42:10 |
|  νεολαμπής [he/him] changed their profile picture. | 16:42:07 |
|  Brisingr changed their display name from Brisingr05 to Brisingr. | 18:40:09 |
|  schromp joined the room. | 20:52:51 |
| 2 Dec 2025 |
 dr_teagle | how would I do "subflakes" mainly for devshells. I have shared dependencies in the top-level flake and then the specific dependencies lower. This is for an obsidian vault | 02:32:59 |
| 13 May 2024 |
|  zrsk joined the room. | 13:37:30 |
|  dariof4 joined the room. | 14:16:05 |
|  abbe joined the room. | 14:42:22 |
 mjm | lix is now in nixos-unstable, what's the best way to use it in a NixOS config? | 15:47:41 |
| K900 | nix.package = pkgs.lix | 15:47:54 |
| K900 | Probably | 15:47:58 |
| K900 | Or just keep using the module | 15:48:02 |
 puck | you can use nix.package = pkgs.lix; if you want; but using the overlay will guarantee more updates (tho less binary cache) | 15:48:44 |
| mjm | well, the module/overlay doesn't easily support using the one from nixpkgs | 15:48:44 |
| mjm | i do want more binary cache | 15:49:21 |
| mjm | yeah i guess i'll just do nix.package then | 15:50:43 |
| raitobezarius | to have binary cache and HEAD, we will probably need to track the channels and bolt a lix on there and rebuild with our own CI then push in our binary cache | 17:33:17 |
 Charles | What's lix using as its binary cache? Attic? | 17:34:36 |
|  Arian left the room. | 17:37:44 |
 @tc424:glasgow.social | Last I heard they were using garage as the back end, and think about attic | 17:39:11 |
| @tc424:glasgow.social | I don't know if that means they're just pushing directly into garage's s3 interface for the moment | 17:39:36 |
| @tc424:glasgow.social | * Last I heard they were using garage as the back end, and thinking about attic | 17:39:57 |
| raitobezarius | In reply to @charles:computer.surgery
What's lix using as its binary cache? Attic? garage without attic | 17:41:16 |
