| 9 Feb 2026 |
 Andrea Ciceri | Intendeva "della tua config" probabilmente, i flake non c'entrano qui. | 12:02:55 |
 Tonio | Sì sì, facevo solo quello che sta in una nicchia e ci tiene a specificarlo | 12:03:20 |
| Tonio | "I don't use flakes btw" | 12:03:36 |
| Tonio | No flakes is the new arch | 12:03:45 |
| Tonio | 😇 | 12:03:56 |
| Andrea Ciceri | questa affermazione ha appena avuto questo effetto su di me: https://xkcd.com/356/ | 12:03:57 |
| Tonio | Hai googlato semigruppo? 😂 | 12:04:17 |
| Andrea Ciceri | no no ho presente ma non avevo mai pensato a formalizzare il module system con qualche struttura algebrica. E ora ci sto pensando. | 12:05:25 |
| Tonio | Credo peraltro si possa scrivere un monoide visto che ha senso definire un modulo vuoto | 12:06:00 |
| Tonio | No, i booleani non hanno un mempty, come non detto | 12:06:38 |
| Andrea Ciceri | Cosa sarebbe un elemento di questo semigruppo? Una opzione o un modulo? | 12:07:15 |
| Andrea Ciceri | Non credo funzioni con le opzioni | 12:08:07 |
| Tonio | Domanda interessante. Direi che se un modulo ha un'opzione e un modulo un'altra, la somma dei due dovrebbe essere un modulo con ambo le opzioni | 12:08:52 |
| Tonio | ma cmq non funziona, sicuramente per colpa dei booleani, poi magari esistono altri ostacoli | 12:09:17 |
| Tonio | se un modulo fissa x = true e un modulo x = false, non esiste un combinatore che vada bene di default, visto che || e && danno risultati opposti | 12:10:03 |
| Andrea Ciceri | esatto, stavo scrivendolo or ora | 12:10:33 |
| Tonio | ma anche le opzioni numeriche, metti che hai un verbose level che ha 0,1,2 come valori possibili. Sommarli e ottenere un numero >2 non ha senso | 12:11:15 |
| Tonio | ecco la ragione per cui bisogna specificare una strategia di merge | 12:11:29 |
| Tonio | cmq nerd sniped anche io ora, grazie @amerocu :D | 12:11:48 |
| Tonio | Guarderò le repo meglio | 12:12:01 |
| Andrea Ciceri | in generale tutte le opzioni che hanno tipi che possono non mergiare. per esempio le liste mergiano sempre ma i booleani no (devi specificare la priorita con mkOverride) | 12:12:07 |
| Tonio | Cmq a questo punto mi chiedo come fanno i moduli, posto che so che esistono lib.mkAfter e altro, di default immagino sostituiscano | 12:12:46 |
| Tonio | magari sulla base dell'import order | 12:12:53 |
 Marco Turchetto | Sorry, ho presupposto il tuo sistema di pinning 🙈 | 13:21:13 |
| Marco Turchetto | Quando dichiari una opzione, puoi impostare un valore di default | 13:22:08 |
| 10 Feb 2026 |
 gecko | C'è un modo rapido per rifetchare un path in /nix/store? L'ho manomesso e ora rivoglio l'originale :P | 10:44:06 |
 Luca | Redacted or Malformed Event | 10:47:25 |
| Luca | nix-store --repair-path | 10:47:46 |
| Luca | Oppure nix store repair per flakes • nix store repair ⟨./nix3-store-repair.md⟩ - repair store paths | 10:48:29 |
| Luca | dovrebbe refetchare se trova errori a quanto dice la documentazione nix shell nixpkgs#nix --command man nix-store-repair-path | 10:49:35 |
