| 31 Jan 2026 |
 David | Bevo un caffè e vengo in room anche io | 14:31:37 |
| David | sono nella settima fila dal basso, sulla destra, se qualcuno vuole palesarsi 👋 | 14:51:43 |
| 2 Feb 2026 |
 Tonio | Su HN oggi, e non è un post sull'AI: https://sraka.xyz/posts/contracts.html | 08:11:52 |
 Marco Turchetto | Mi sembra che abbia un po' scoperto l'acqua calda? | 09:26:54 |
| Tonio | Un po' sì, vero, ciò non toglie che la lib sembra comoda | 10:26:25 |
| Marco Turchetto | E che rimanda sempre all'utente il chiamare il type checker nel posto giusto al momento giusto.
Cioè non è dissimile dall'aggiungere unit test. | 10:33:27 |
| Marco Turchetto | Metre invece se sei dentro nixos, è obbligatorio e viene rubato sempre il TC | 10:34:06 |
| Marco Turchetto | * Metre invece se sei dentro nixos, è obbligatorio e viene eseguito sempre il TC | 10:34:18 |
| Tonio | wdym? Non conosco gli internals così bene. | 10:43:13 |
| Tonio | YET | 10:43:17 |
| Marco Turchetto | Andrebbe fatta una lecture sul type checking | 10:47:09 |
| Tonio | Sembra una candidatura spontanea | 13:18:16 |
| David | Yes | 13:18:58 |
| Marco Turchetto | Beh non su telegram, e anche parecchio abbastanza a nix | 13:19:24 |
| 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 |
