| 9 Feb 2026 |
 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 |
| Luca | volevo testarlo, come hai fatto a manomettere? qualcosa tipo sudo vim /nix/store? | 10:50:36 |
| Luca | * Oppure nix store repair per flakes | 10:50:51 |
| Luca | no perchè /nix/store read only non basta sudo | 11:06:07 |
 Francesco | Magari puoi rimontarlo come rw | 11:41:16 |
| Tonio | Appunto | 11:57:28 |
| Tonio | Io ho provato a patchare VsCodium per ore | 11:57:47 |
