| 2 Feb 2026 |
 Marco Turchetto | * Beh non su telegram, e anche abbastanza tangenziale a nix | 13:19:33 |
| 3 Feb 2026 |
 Tonio | Federico hai preso il mio stesso framework vero? | 10:14:28 |
 Federico T | 13 AMD | 10:30:37 |
| Tonio | Ok, sappi che in caso attivi power-profile-daemon o tlp devi escludere il chip wifi, perchè il driver mediatek non supporta ancora il deep sleep. Non chiedermi come l'ho scoperto (e soprattutto in quanto tempo e con quanti tentativi). In ogni caso, se usi tlp ti posso dare la mia conf. Scusate l'offtopic. | 10:41:06 |
| Federico T | eh peccato che a me la scheda mediatek va malissimo, l'ho cambiata con una intel - e pure quella ha un bug col kernel attuale 😢 | 11:47:15 |
| Federico T | entrambe mi fanno 200 megabit al massssimo | 11:47:29 |
| Tonio | Su questo ho letto un sacco e se leggi su Arch wiki ci sono suggerimenti su come risolvere (si tratta di settare la regione) a me va a 7/800 mbps | 11:53:00 |
| Tonio | * Su questo ho letto un sacco e se leggi su Arch wiki ci sono suggerimenti su come risolvere (si tratta di settare la regione) a me va a 7/800 mbps. Continuiamo in pvt. | 11:53:14 |
| 9 Feb 2026 |
| Tonio | 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 | * 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 | 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 | * 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 | No flakes here :D | 12:01:14 |
| Tonio | Cmq ho capito, di fatto scrivi una cosa e il suo semigruppo | 12:01:59 |
| Tonio | Ha senso | 12:02:02 |
 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 |
