Nix Milan | 126 Members | |
| https://milano.nix.pizza/ | 10 Servers |
| Sender | Message | Time |
|---|---|---|
| 24 May 2026 | ||
| ahah bravo, ci sto lavorando giusto ora! avevo da imbiancare un paio di cose prima | 09:28:30 | |
urca, ho un follow up sulla questione di devenv di ieri. non l'avevo notato, ma dato che ieri si parlava di avere mkElmDerivation nel flake e ci si chiedeva cosa facesse lì, io ho detto "è un refuso", ma non era vero. Questo il codice:no, c'è un inherit inputs che viene passato alla mkShell del flake! quindi è questo mkElmDerivation che viene passato, non quello nel devenv.lock, e quindi direi che lo stesso vale per nixpkgs | 10:25:41 | |
| quindi mi verrebbe da pensare che "comanda il flake", per usare i termini di @gecko4242 - e potenzialmente vuol dire build non riproducibili, o sbaglio? | 10:26:53 | |
| la build e' sempre riproducibile, perche' chiunque usi la tua flake/devenv ha nixpkga pinnato. la questione era sul doppio nixpkgs. Hai provato a toglere gli inherit e vedere che succede, perche' anche se li passi, non e' detto che siano usati, e quando vengono effettivamente usati. Io mi aspetto che vengano usati unicamente per il bootstrap del devenv. poi devenv usera' i suoi pin immagino. | 11:02:10 | |
| sì, perdonami, non riproducibile nel senso di discrepanti tra quello che fai in dev con devenv e quello che va nel sistema col flake pinnato. mo provo | 11:10:43 | |
| (una prova che potrei fare è anche banalmente di usare due versioni di nixpkgs diverse e vedere se qualcosa che da una parte va, dall'altra si spacca) | 11:11:13 | |
| È difficile rendersi conto della versione di nixpkgs iniettata secondo me. Io toglierei il pin di nixpkgs dal dev env e vedrei se l'evaluation funziona tanto per cominciare | 11:15:10 | |
| Cmq ci servirebbe un posto in cui salvare un elenco dei topic affrontati volta per volta. O come diceva @gecko4242 un elenco di tool consigliati/provati da qualche parte. Nel subdomain nostro del sito di nix possiamo mettere roba? | 11:17:22 | |
| @toniogela https://www.luogoideale.org/sagome/ ma devo ancora sistemare la UI (chiederò a claude che non ho tempo) | 11:20:06 | |
| c'è nix pizza che credo si possa usare come preferiamo, no @andreaciceri ? | 11:20:55 | |
| Ecco, lui | 11:23:46 | |
| Kinda late to the party ma volevo andarci anch'io | 11:25:21 | |
| 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 | |
| Per chi fosse interessato a organizzarsi insieme: https://t.me/nixcon2026fromMilan | 11:30:44 | |
Download image.png | 18:43:34 | |
| A quanto pare S3 di hetzner fa schifo anche con niks3, for some reason @x71c9 | 18:43:53 | |
| 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 | |
| * 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 | ||
| Come si chiama la versione di nix coi tipi retrocompatibile con nix normale? | 11:39:27 | |
| nickel? ma non so se è retrocompatibile | 11:59:01 | |
| anzi non penso | 11:59:05 | |
| https://nickel-lang.org/ | 11:59:21 | |
| 12:39:23 | ||
| No Nickel non è retrocompatibile | 13:46:17 | |
| 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 | |
| Ah e anche questo https://github.com/JRMurr/tix | 14:11:11 | |
| 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 | |
| Diciamo che se per tipare nix devi eseguire il tuo codice nix, non vale la pena | 14:36:35 | |
| Beh se devi valutarlo non è malissimo dai. Alla fine non ci vuole tantissimo tempo a runnarlo. | 16:02:59 | |
| > 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 | |