| 25 May 2026 |
 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 |
| Tonio Gela | When enabled, the container is automatically started on boot. If this option is set to false, the container has to be started on-demand via its service.
| 08:35:59 |
 Alessandro 🤔➖☀️🖌 | il typechecker di nixpkgs si chiama claude | 14:36:45 |
| Alessandro 🤔➖☀️🖌 | > The standard TypeScript binder, checker, and LSP work essentially unchanged
Bella trovata :D | 14:44:18 |
| gecko | typenix mi pare un filo meglio di nil/nixd, avendolo provato brevemente.
Mi aspettavo inferisse più tipi, ma invece mi pare che a meno che specifichi i tipi esplicitamente non ti aiuta molto. | 20:07:23 |
| gecko | Tipo questo non ti segna errori senza le annotazioni dei tipi esplicite
{ } :
let
# @ts: (list: any[]) => string
size = list: builtins.toString (builtins.length list);
# @ts: (value: number) => number
lol = value: value + 2;
in
# Errore: size restitusce una stringa ma viene passato a lol che aspetta un numero
lol (size ["sad"])
Però di base dovrebbe potrebbe inferire tutto da builtins | 20:10:12 |
| gecko | Però la navigazione e un po' di errori te li becca, non è terribile | 20:20:25 |
| 27 May 2026 |
| Tonio Gela | A me cmq nixd non ha mai fatto type checking, solo autocompletion degli attributi negli attribute set | 05:02:54 |
| gecko | Questo è typenix, non nixd, che vuole fare typechecking | 07:32:27 |
| gecko | 25.06 beta, should I upgrade? | 07:32:33 |
 Federico T | ovvio | 07:56:57 |
| Federico T | sennò come fai a flexare che se si spacca puoi scegliere la generazione precedente al bios? | 07:57:14 |
| Alessandro 🤔➖☀️🖌 | ahahah | 07:57:23 |
| Alessandro 🤔➖☀️🖌 | noooo io faro' upgrade alla 26.05 il 2026/10/30 23:58, un pelo prima che esca la 26.11 | 07:58:04 |
| Alessandro 🤔➖☀️🖌 | forse dovrei usare debian | 07:58:12 |
