| 30 Jan 2026 |
David | ci vediamo domani! | 10:48:15 |
Giacomo Debidda | Io ero a Linate ma non vi ho visto. Ci si vede al FOSDEM domani | 20:41:48 |
| 31 Jan 2026 |
| Edoardo Piccolotto joined the room. | 13:23:19 |
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 |