| 3 Feb 2026 |
Tonio Gela | Federico hai preso il mio stesso framework vero? | 10:14:28 |
Federico T | 13 AMD | 10:30:37 |
Tonio Gela | 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 Gela | 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 Gela | * 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 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 |