| 22 May 2026 |
Edoardo Piccolotto | STUPENDO!!! | 16:18:47 |
| 23 May 2026 |
Lorenzo Ajo | Oggi al meet-up non aspettatemi, arriverΓ² verso le 11 | 06:37:17 |
Andrea Ciceri | Urca, lasciane un po' anche per noi! | 06:43:01 |
Andrea Ciceri | (Era così il meme?) | 06:43:16 |
Andrea Ciceri | https://github.com/denful/nest Visto ora sfogliando reddit in treno | 06:44:07 |
Andrea Ciceri | Credo che la sovra ingegnerizzazione delle proprie config nixos non abbia limite | 06:44:50 |
Alessandro π€ββοΈπ | Ciao, arriverΓ² un pochino tardi | 07:12:14 |
Alessandro π€ββοΈπ | Non aspettatemo | 07:12:22 |
Andrea Ciceri | 9:20 sono davanti | 07:14:05 |
Andrea Ciceri | Altri in anticipo? | 07:14:13 |
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 |