| 31 Jan 2026 |
Nonno Felice | Ragazzi vi presento Edoardo , un amico che è anche lui al FOSDEM ed appassionato di Nix 😁 | 13:25:53 |
Edoardo Piccolotto | Grazie mille dell'invito! Piacere di conoscervi!! | 13:28:42 |
Giacomo Debidda |  Download image.jpeg | 14:08:31 |
albertodvp | In reply to @telegram_521866002:t2bot.io sent an image. Pensavo di averla scattata io🤣 io e Lorenzo siamo due file sotto | 14:17:43 |
David | Ah ma siamo in tanti | 14:31:12 |
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 |