| 24 May 2026 |
 Alessandro 🤔➖☀️🖌 | 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 |
 Marco Turchetto | 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 |
| Alessandro 🤔➖☀️🖌 | 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 |
| Alessandro 🤔➖☀️🖌 | (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 |
 Tonio Gela | È 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 |
| Tonio Gela | 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 |
| Alessandro 🤔➖☀️🖌 | @toniogela https://www.luogoideale.org/sagome/ ma devo ancora sistemare la UI (chiederò a claude che non ho tempo) | 11:20:06 |
| 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 |
