!OHimLTKAXNbFrEoogf:matrix.org

Nix Milan

126 Members
https://milano.nix.pizza/10 Servers

Load older messages


SenderMessageTime
22 May 2026
@telegram_7581646006:t2bot.ioEdoardo PiccolottoSTUPENDO!!!16:18:47
23 May 2026
@telegram_487847968:t2bot.ioLorenzo AjoOggi al meet-up non aspettatemi, arriverΓ² verso le 1106:37:17
@telegram_73824637:t2bot.ioAndrea CiceriUrca, lasciane un po' anche per noi!06:43:01
@telegram_73824637:t2bot.ioAndrea Ciceri(Era così il meme?)06:43:16
@telegram_73824637:t2bot.ioAndrea Ciceri https://github.com/denful/nest
Visto ora sfogliando reddit in treno
06:44:07
@telegram_73824637:t2bot.ioAndrea CiceriCredo che la sovra ingegnerizzazione delle proprie config nixos non abbia limite06:44:50
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒCiao, arriverΓ² un pochino tardi07:12:14
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒNon aspettatemo07:12:22
@telegram_73824637:t2bot.ioAndrea Ciceri9:20 sono davanti07:14:05
@telegram_73824637:t2bot.ioAndrea CiceriAltri in anticipo?07:14:13
@telegram_524811522:t2bot.ioTonio GelaWhich one,?07:16:57
@telegram_524811522:t2bot.ioTonio GelaIo arrivo per le 10 circa07:17:19
@telegram_8031225159:t2bot.ioLucaRedacted or Malformed Event07:23:21
@telegram_8556022534:t2bot.ioDragos IArrivo in 2 minuti07:30:42
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒIo sono qui fuori08:11:21
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–ŒMi aprite plssss08:11:35
@telegram_162863318:t2bot.ioZ. joined the room.12:15:54
@telegram_524811522:t2bot.ioTonio 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
@telegram_53326276:t2bot.ioArialdo MartiniTonio santo subito!12:48:05
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ @andreaciceri questo https://github.com/antirez/ds4 15:12:08
24 May 2026
@telegram_524811522:t2bot.ioTonio Gela La vera domanda emersa ieri Γ¨ quando @akiross pubblica quel giochino in Elm? 05:58:07
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œahah bravo, ci sto lavorando giusto ora! avevo da imbiancare un paio di cose prima09:28:30
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ 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
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ 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
@telegram_41776856:t2bot.ioMarco Turchettola 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
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ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 provo11:10:43
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ(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
@telegram_524811522:t2bot.ioTonio 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 cominciare11:15:10
@telegram_524811522:t2bot.ioTonio 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
@telegram_98204228:t2bot.ioAlessandro πŸ€”βž–β˜€οΈπŸ–Œ @toniogela https://www.luogoideale.org/sagome/ ma devo ancora sistemare la UI (chiederΓ² a claude che non ho tempo) 11:20:06

Show newer messages


Back to Room ListRoom Version: 10