| 23 May 2026 |
Tonio Gela | Which one,? | 07:16:57 |
Tonio Gela | Io arrivo per le 10 circa | 07:17:19 |
Luca | Redacted or Malformed Event | 07:23:21 |
Dragos I | Arrivo in 2 minuti | 07:30:42 |
Alessandro 🤔➖☀️🖌 | Io sono qui fuori | 08:11:21 |
Alessandro 🤔➖☀️🖌 | Mi aprite plssss | 08:11:35 |
| Z. joined the room. | 12:15:54 |
Tonio Gela | Ciao, esiste un gruppo Telegram di gente che sta cercando di organizzare una conferenza italiana sulla programmazione funzionale. Se siete interessati, magari anche ad organizzare questo è il gruppo: https://t.me/+g9nYl0qKNAQzNTM8 | 12:44:32 |
Arialdo Martini | Tonio santo subito! | 12:48:05 |
Alessandro 🤔➖☀️🖌 | @andreaciceri questo https://github.com/antirez/ds4 | 15:12:08 |
| 24 May 2026 |
Tonio Gela | La vera domanda emersa ieri è quando @akiross pubblica quel giochino in Elm? | 05:58:07 |
Alessandro 🤔➖☀️🖌 | ahah bravo, ci sto lavorando giusto ora! avevo da imbiancare un paio di cose prima | 09:28:30 |
Alessandro 🤔➖☀️🖌 | 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:
{
inputs = {
nixpkgs.url = "github:cachix/devenv-nixpkgs/rolling";
devenv.url = "github:cachix/devenv";
mkElmDerivation.url = "github:jeslie0/mkElmDerivation";
};
outputs = {
self,
nixpkgs,
devenv,
...
} @ inputs: let
system = "x86_64-linux";
pkgs = nixpkgs.legacyPackages.${system};
shell = devenv.lib.mkShell {
inherit inputs pkgs;
modules = [
./devenv.nix
{devenv.root = toString ./.;}
];
};
in {
devShells.${system}.default = shell;
packages.${system} = {
inherit (shell.config.outputs) game;
};
};
}
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 |
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 |