| 31 Jan 2026 |
 Marco Turchetto | Il culto è forte!! | 14:31:32 |
 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 |
| 29 Feb 2024 |
|  @admin:nixos.org changed the history visibility to "world_readable" from "shared". | 12:19:16 |
|  NixOS Moderation Bot joined the room. | 12:19:31 |
| @admin:nixos.orgchanged room power levels. | 12:20:33 |
| @admin:nixos.org left the room. | 12:20:52 |
|  fgaz joined the room. | 15:24:24 |
| 1 Mar 2024 |
 aciceri | Questa room ha ora come alias principale #milan:nixos.org ora. E siamo nello space di NixOS! | 11:39:05 |
| aciceri | * Questa room ha ora come alias principale #milan:nixos.org. E siamo nello space di NixOS! | 13:29:32 |
