| 24 May 2026 |
Alessandro 🤔➖☀️🖌 | c'è nix pizza che credo si possa usare come preferiamo, no @andreaciceri ? | 11:20:55 |
Tonio Gela | Ecco, lui | 11:23:46 |
Alex0 | Kinda late to the party ma volevo andarci anch'io | 11:25:21 |
Tonio Gela | Dopo ieri ho creato un gruppo per raccogliere quelli di noi che vogliono andare, per organizzarci e condividere 1 (o più) airbnb a Cracovia | 11:28:39 |
Tonio Gela | Per chi fosse interessato a organizzarsi insieme: https://t.me/nixcon2026fromMilan | 11:30:44 |
gecko |  Download image.png | 18:43:34 |
gecko | A quanto pare S3 di hetzner fa schifo anche con niks3, for some reason @x71c9 | 18:43:53 |
David | garage self hosted:
- ✅ performance (la tua, che hai fatto il setup)
- ✅ numero di problemi (ne avevi uno, ora ne hai tre, ma tanto ti piace risolverli)
- ✅ egress gratis (finché non ti picchiano i coinquilini perché massacri l'upload) | 20:46:58 |
David | * garage self hosted:
- ✅ performance (la tua, che hai fatto il setup)
- ✅ numero di problemi (ne avevi uno, ora ne hai tre, ma tanto ti piace risolverli)
- ✅ egress gratis (finché non ti picchiano i coinquilini perché massacri l'upload)
- ✅ supporto tecnico diretto! | 20:47:25 |
| 25 May 2026 |
gecko | Come si chiama la versione di nix coi tipi retrocompatibile con nix normale? | 11:39:27 |
Alessandro 🤔➖☀️🖌 | nickel? ma non so se è retrocompatibile | 11:59:01 |
Alessandro 🤔➖☀️🖌 | anzi non penso | 11:59:05 |
Alessandro 🤔➖☀️🖌 | https://nickel-lang.org/ | 11:59:21 |
| funzen set a profile picture. | 12:39:23 |
Francesco | No Nickel non è retrocompatibile | 13:46:17 |
Francesco | L'unico progetto in quel campo che conosco è https://github.com/ryanrasti/typenix ma è un language server/type checker esterno a Nix | 13:47:08 |
Francesco | Ah e anche questo https://github.com/JRMurr/tix | 14:11:11 |
David | in diversi hanno provato a tipare nix ma nixpkgs ha troppi pattern in cui genera roba dinamicamente e escono tipi troppo ampi per servire a qualcosa | 14:19:05 |
Marco Turchetto | Diciamo che se per tipare nix devi eseguire il tuo codice nix, non vale la pena | 14:36:35 |
gecko | Beh se devi valutarlo non è malissimo dai. Alla fine non ci vuole tantissimo tempo a runnarlo. | 16:02:59 |
gecko | > Parses and type-checks all 42,298 nixpkgs files in 13 seconds without crashing -- and where types exist or can be automatically inferred by TypeScript, they're correct.
A cazzo duro proprio | 16:04:31 |
gecko | Devo provarlo | 16:04:39 |
David | facci sapere | 16:07:13 |
| 26 May 2026 |
Tonio Gela | Qualcuno di voi tiene ogni tanto dei container in locale sulla macchina con cui fare qualche test? Tralasciando dev-env, se uso direttamente virtualisation.oci-containers.containers posso gestirmi accensione e spegnimento con podman, ma al prossimo rebuild il container tenta di tornare su e se il container non è healthy il servizio systemd fallisce e così anche l'attivazione. Qualcuno di voi ha una soluzione? | 07:04:51 |
Tonio Gela | * Qualcuno di voi tiene ogni tanto dei container in locale sulla macchina con cui fare qualche test? Tralasciando dev-env, se uso direttamente virtualisation.oci-containers.containers posso gestirmi accensione e spegnimento con podman, ma al prossimo rebuild il container tenta di tornare su e se il container non è healthy il servizio systemd fallisce e così anche l'attivazione. Evete una soluzione? | 07:04:58 |
Tonio Gela | * Qualcuno di voi tiene ogni tanto dei container in locale sulla macchina con cui fare qualche test? Tralasciando dev-env, se uso direttamente virtualisation.oci-containers.containers posso gestirmi accensione e spegnimento con podman, ma al prossimo rebuild il container tenta di tornare su e se il container non è healthy il servizio systemd fallisce e così anche l'attivazione. Avete una soluzione? | 07:05:03 |
Tonio Gela | Come non detto systemctl stop <container> sopravvive ai rebuild | 07:08:26 |
Tonio Gela | * Come non detto systemctl stop <container> sopravvive ai rebuild, era facile. | 07:08:32 |
Andrea Ciceri | c'e' anche virtualisation.oci-containers.containers.<name>.autoStart | 07:46:16 |
Tonio Gela | Avevo capito fosse al boot però | 08:33:16 |