| 9 Feb 2026 |
 Tonio Gela | Buondì a tutti. Chiedo ufficialmente che al prossimo incontro qualcuno parli dei dendriti. Ho dato un'occhiata alla repo, in particolare a quelle unflaked, e non capisco la differenza sostanziale tra quelli e il module system francamente. | 07:59:34 |
| Tonio Gela | * Buondì a tutti. Chiedo ufficialmente che al prossimo incontro qualcuno parli dei dendriti. Ho dato un'occhiata alle repo, in particolare a quelle unflaked, e non capisco la differenza sostanziale tra quelli e il module system francamente. | 07:59:44 |
| Tonio Gela | Capisco la premessa di base, e il senso, quello di rendere ogni file indipendente, rendendo una configurazione più simile ad un reticolo che un albero, ma non capisco materialmente l'implementazione | 08:00:51 |
| Tonio Gela | * Capisco la premessa di base, e il senso, quello di rendere ogni file indipendente, rendendo una configurazione più simile ad un reticolo che un albero di import, ma non capisco materialmente l'implementazione | 08:01:05 |
 Lucio | Sarebbe la terza volta 😂 @andreaciceri | 11:53:03 |
 Marco Turchetto | L'implementazione sta del type delle options della tua flake. In pratica se dichiari una option di un certo tipo, fornisci anche una funzione di merge, che descrive come vengono unite due stringhe dichiarate nella stessa opzione. | 11:56:21 |
| Marco Turchetto | * L'implementazione sta del type delle options della tua flake. In pratica se dichiari una option di un certo tipo, fornisci anche una funzione di merge, che descrive come vengono unite due valori dichiarate nella stessa opzione. | 11:58:11 |
| Marco Turchetto | * L'implementazione sta del type delle options della tua flake. In pratica se dichiari una option di un certo tipo, fornisci anche una funzione di merge, che descrive come vengono unite due valori dichiarati nella stessa opzione. | 11:58:18 |
| Marco Turchetto | Tipo per una config di nixos, le due config vengono unite in una. Per una lista, vengono concatenate. Le stringhe invece hai diversi tipi di merge tra cui scegliere in case a cosa ti serve. | 11:58:58 |
| Marco Turchetto | * Tipo per una config di nixos, le due config vengono unite in una. Per una lista, vengono concatenate. Le stringhe invece hai diversi tipi di merge tra cui scegliere in base a cosa ti serve. | 11:59:16 |
| Tonio Gela | No flakes here :D | 12:01:14 |
| Tonio Gela | Cmq ho capito, di fatto scrivi una cosa e il suo semigruppo | 12:01:59 |
| Tonio Gela | Ha senso | 12:02:02 |
 Andrea Ciceri | Intendeva "della tua config" probabilmente, i flake non c'entrano qui. | 12:02:55 |
| Tonio Gela | Sì sì, facevo solo quello che sta in una nicchia e ci tiene a specificarlo | 12:03:20 |
| Tonio Gela | "I don't use flakes btw" | 12:03:36 |
| Tonio Gela | No flakes is the new arch | 12:03:45 |
| Tonio Gela | 😇 | 12:03:56 |
| Andrea Ciceri | questa affermazione ha appena avuto questo effetto su di me: https://xkcd.com/356/ | 12:03:57 |
| Tonio Gela | 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 Gela | Credo peraltro si possa scrivere un monoide visto che ha senso definire un modulo vuoto | 12:06:00 |
| Tonio Gela | 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 Gela | 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 Gela | ma cmq non funziona, sicuramente per colpa dei booleani, poi magari esistono altri ostacoli | 12:09:17 |
| Tonio Gela | 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 Gela | 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 |
