| 26 May 2026 |
 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 |
| Alessandro 🤔➖☀️🖌 | 
Download l'altro giorno qualcuno forse lodava/era preso bene a parlare di nushell, ricordo male? io la sto usando su windows (sigh) perche' e' meglio di un calcio sugli stinchi, ma comunque quando vedo queste cose mi chiedo perche' | 08:18:00 |
 Francesco | Io non c'ero l'altro giorno ma nushell la uso un sacco | 08:32:33 |
| Francesco | Eh sì l'handling delle tabelle grosse è una roba che dovrebbero rifare da capo | 08:33:09 |
 Andrea Ciceri | perche' non c'hai lo schermo abbastanza grosso | 08:34:57 |
| Alessandro 🤔➖☀️🖌 | abbastanza grosso per fish | 08:35:39 |
| Alessandro 🤔➖☀️🖌 | boh io la sto usando da un po', ma onestamente non mi sta convincendo. l'unica cosa che apprezzo e' che e' portabile... ma tanto su linux ho fish e quindi non uso nu 😂 | 08:36:26 |
| Alessandro 🤔➖☀️🖌 | provate voi a vendermela: cosa dovrei apprezzare? | 08:36:45 |
| Francesco | È facilissimo filtrare e manipolare le tabelle e altre strutture dati | 08:38:27 |
| Andrea Ciceri | prova fare nix flake show —json | from json e vedrai che e' sempre una tabella tipo l'output di ls | 08:38:57 |
| Andrea Ciceri | e puoi farci tutte le operazioni tipo selezionare o filtrare | 08:39:15 |
| Francesco | Tipo io ho una serie di wrapper per docker a lavoro per cui posso fare tipo docker ps | where qualche filtro | docker stop ...($in) | 08:39:33 |
| Alessandro 🤔➖☀️🖌 | beh ma posso filtrare anche con bash e fish | 08:40:28 |
| Francesco | * Tipo io ho una serie di wrapper per docker a lavoro per cui posso fare tipo docker ps | where qualche filtro | get ID | docker stop ...($in) | 08:42:02 |
| Andrea Ciceri | si ma devi usare tool tipo jq, no? | 08:42:04 |
| Andrea Ciceri | qua e' tutto builtin | 08:42:20 |
| Francesco | Più che altro non ti devi ricordare la sintassi di ognuno dei comandi, se è parsabile da csv, JSON o una qualche tabella generica ti fai | from formato e poi usi la stessa sintassi per tutto | 08:45:05 |
