| 2 Feb 2026 |
 Marco Turchetto | Mi sembra che abbia un po' scoperto l'acqua calda? | 09:26:54 |
 Tonio Gela | 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 Gela | wdym? Non conosco gli internals così bene. | 10:43:13 |
| Tonio Gela | YET | 10:43:17 |
| Marco Turchetto | Andrebbe fatta una lecture sul type checking | 10:47:09 |
| Tonio Gela | 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 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 |
